查询结果
程序验证
chéng xù yàn zhèng
ㄔㄥˊ ㄒㄩˋ ㄧㄢˋ ㄓㄥˋ
「程序验证」是什么意思？
更新 2026-07-19 00:42:10
- 拼音字母cheng xu yan zheng
- 首字母cxyz
- 注音符号ㄔㄥ ㄒㄩ ㄧㄢ ㄓㄥ
扩展释义
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过实验过程一定能揭示它的多种属性这种思想基础。
拆字组词
相关词语
- 人防工程查含义
- 凤楼村查含义
- 刘中原查含义
- 勒克罗姆查含义
- 南极坚忍号查含义
- 削球查含义
- 周曼查含义
- 地质生态位查含义
- 周正炎查含义
- 天外横财查含义
- 天天肥查含义
- 小翅短鼻蝗查含义
- 少东家查含义
- 峨边鱼鳞蕨查含义
- 异叶石龙尾查含义
- 彼得堡西餐厅查含义
- 张才千查含义
- 拔辖投井查含义
- 文丹查含义
- 新文学史料查含义
- 李耕查含义
- 本哈克查含义
- 杨雪丽查含义
- 比如蝠蛾查含义
- 浪琴查含义
- 猪头石查含义
- 百态横生查含义
- 程萌查含义
- 红芋查含义
- 细菌战剂查含义
- 罗甸小蜡查含义
- 耿文祥查含义
- 蜂乳查含义
- 蒲包花查含义
- 葛虹查含义
- 赖氨酸茶碱查含义
- 貉子毛查含义
- 转发器查含义
- 邓叔群查含义
- 飘萍浪迹查含义
- 胭脂沟查含义
- 封嬷查含义
- 青木大吾查含义
- 木村日菜查含义
- 刀技查含义
- 回波乐查含义
- 大帆彩旗鱼查含义
- 百川山庄查含义
- 盔鳞木查含义
- 多足体水螅型查含义