程序验证
chéng xù yàn zhèng
ㄔㄥˊ ㄒㄩˋ ㄧㄢˋ ㄓㄥˋ
📖 词语释义
- 拼音字母cheng xu yan zheng
- 首字母cxyz
- 注音符号ㄔㄥ ㄒㄩ ㄧㄢ ㄓㄥ
- 更新2026-07-14 00:49:33
更多解释
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过实验过程一定能揭示它的多种属性这种思想基础。
✂️ 拆字组词
🔗 相关词语
🐾 热门组词
友情链接
抓书网
短词网
书号查询
星云网
福建富一锦科技有限公司是什么意思？
乌鲁木齐天气预报30天是什么意思？
厦门天气预报30天是什么意思？
肾炎灵胶囊 拼音 shèn yán líng jiāo náng，一文读懂「肾炎灵胶囊」的含义、出处与用法。 shèn yán líng jiāo náng 通达词典 - 汉语词语查询大全 2026-06-30 15:41:26是什么意思？
叶是什么意思？
合肥天气预报30天是什么意思？
吴瑞雪 汉语词语 · 释义文档是什么意思？
艾沃普是什么意思？
张叔良是什么意思？
三沙天气一周查询是什么意思？
眶上裂是什么意思？
在医院七夕发朋友圈的句子(通用四十句)是什么意思？
全国天气预报网站地图是什么意思？
哈尔滨天气预报30天是什么意思？
奶凶可爱是什么意思？
贵阳天气预报30天是什么意思？