程序验证

音义

广训

程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过实验过程一定能揭示它的多种属性这种思想基础。

组词

程 序 验 证

相关

• 严舆
• 亿利资源集团
• 何泽州
• 冥加
• 原生裸地
• 参贝北瓜膏
• 国际经济
• 失声岁月
• 安徽新华学院
• 帕朱胶囊
• 庄户人
• 德川女刑罚史
• 张锦雄
• 手术台
• 我们寝室
• 李欣娱
• 测量工具
• 猛虎添翼
• 玄门
• 王玉晗
• 甘心
• 穿刺攻击
• 组态王
• 细雕织纹螺
• 莱菔叶
• 胡枝子根
• 范绍增
• 茄汁
• 蜀湘门第
• 贤劫经
• 酸菜黑鱼
• 长圆叶冬青
• 鞭打绣球
• 青春合伙人
• 首夏
• 马国顺
• 鱼际
• 黄桂清
• 宿迁市公安局
• 湄潭县公安局
• 岛崎裕二
• 签账单
• 医学昆虫
• 目脑纵歌节
• 凝糕
• 炒荞麦煎饼
• 同孟浩然宴赋
• 高邕之肖像轴
• 游子蒙
• 汤友志