查询结果
程序验证
chéng xù yàn zhèng
ㄔㄥˊ ㄒㄩˋ ㄧㄢˋ ㄓㄥˋ
「程序验证」是什么意思？
更新 2026-07-15 20:58:03
- 拼音字母cheng xu yan zheng
- 首字母cxyz
- 注音符号ㄔㄥ ㄒㄩ ㄧㄢ ㄓㄥ
扩展释义
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过实验过程一定能揭示它的多种属性这种思想基础。
拆字组词
相关词语
- 书品查含义
- 六营门社区查含义
- 刘广新查含义
- 勇敢做自己查含义
- 卢卫星查含义
- 台湾美凤蝶查含义
- 吴红飞查含义
- 坚挺马先蒿查含义
- 坦克乘员查含义
- 墙上芦苇查含义
- 大营南村查含义
- 宋凤洲查含义
- 家务查含义
- 打网查含义
- 拿单查含义
- 战鸽总动员查含义
- 斜角肌查含义
- 李紫涵查含义
- 材雄德茂查含义
- 柒零社区查含义
- 极权主义查含义
- 椎间孔查含义
- 污水淘金查含义
- 浓密睫毛膏查含义
- 玉帘属查含义
- 甲烷传感器查含义
- 甲醇查含义
- 短叶蹄盖蕨查含义
- 粘唐松草查含义
- 红算盘子查含义
- 肖尔查含义
- 罗斯托克查含义
- 罗晓航查含义
- 臧寨乡查含义
- 蔡莹查含义
- 西落鬼戎查含义
- 铁壁铜墙查含义
- 陈熙查含义
- 霍尔赫查含义
- 顾亚军查含义
- 黄水仙查含义
- 黏膜查含义
- 黑平鲉查含义
- 文溯阁查含义
- 汕头市环保局查含义
- 成美娜查含义
- 梳妆镜查含义
- 韭菜肉丝查含义
- 十香西瓜子查含义
- 烹子鱼查含义