查询结果
程序验证
chéng xù yàn zhèng
ㄔㄥˊ ㄒㄩˋ ㄧㄢˋ ㄓㄥˋ
「程序验证」是什么意思？
更新 2026-07-10 05:46:56
- 拼音字母cheng xu yan zheng
- 首字母cxyz
- 注音符号ㄔㄥ ㄒㄩ ㄧㄢ ㄓㄥ
扩展释义
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过实验过程一定能揭示它的多种属性这种思想基础。
拆字组词
相关词语
- 东岭镇查含义
- 二种佛境查含义
- 亲随查含义
- 倪龙查含义
- 入侵隐私查含义
- 写秋轩查含义
- 劝和查含义
- 刺果苏木查含义
- 十字道查含义
- 右外大厦查含义
- 奸贼查含义
- 差佬查含义
- 幻灵使徒查含义
- 怒鳞查含义
- 慧世查含义
- 总状丛菔查含义
- 拓石镇查含义
- 棕栗三脊甲查含义
- 河北杨查含义
- 毛叶假瘤蕨查含义
- 毛鞘芦竹查含义
- 滤过屏障查含义
- 烫烫烫查含义
- 珊瑚岛查含义
- 皇权查含义
- 目涩查含义
- 程序违法查含义
- 秋叶青查含义
- 第二循环管系查含义
- 竹叶柳蒡汤查含义
- 罗伞草查含义
- 虎踞龙蟠查含义
- 诱导风机查含义
- 车前子油焖虾查含义
- 金宝亨查含义
- 问天网查含义
- 陈凯辉查含义
- 陈永红查含义
- 顾翼东查含义
- 风轻云净查含义
- 龙骨戒查含义
- 黄小波查含义
- 闪电鸟查含义
- 红动漫查含义
- 泰干猎犬查含义
- 前向整合查含义
- 牛肚山药汤查含义
- 女神涡螺查含义
- 镰翅岩鵖查含义
- 肉褐麟小伞查含义