程序验证
概述
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过实验过程一定能揭示它的多种属性这种思想基础。
2 扩展释义
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过实验过程一定能揭示它的多种属性这种思想基础。
9 词语组词
相关词条
本词条最后更新于 2026-07-13 06:57:55
友情链接
抓书网
短词网
书号查询
星云网
[参考]助教的求职信范例是什么意思？
商家名片登记是什么意思？
心灵毒鸡汤 随机来碗心灵毒鸡汤吧是什么意思？
等边三角形面积在线计算是什么意思？
在线UserAgent大全 文本数字是什么意思？
内蒙古自治区天气预报30天是什么意思？
命犯桃花是什么意思？
老师师德演讲稿是什么意思？
望花天气预报30天是什么意思？
骤雨骤晴，谨防柑橘裂果！是什么意思？
火星文转换器是什么意思？
在线PDF文本提取工具 - 快速提取PDF文档中的全部文字内容是什么意思？
2进制数生成工具是什么意思？
【神婆网】星座运势/最星座/美国神婆星座网是什么意思？
闭幕式是什么意思？专家解读 权威解读「闭幕式」的含义、读音与用法，一文读懂词语内涵。 bì mù shì 2026-06-30 15:41:16
成语是什么意思？