程序验证
基本解释
简解
程序验证的词语属性
拼音chéng xù yàn zhèng
拼音字母cheng xu yan zheng
拼音首字母cxyz
程序验证的百科含义
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过实验过程一定能揭示它的多种属性这种思想基础。
猜你喜欢
- biyezhige毕业之歌
- sisheshanhu四射珊瑚
- hengshuishishuiwuju衡水市水务局
- weishengjieju卫生洁具
- shaoli少吏
- āi gǎn tiān dì哀感天地
- xueleichou血泪仇
- liaosha廖莎
- danxianglashen单向拉伸
- baihuapanlongjuan百花盘龙卷
- xiangzizhu响子竹
- shijingshanzhongxue石景山中学
- changguidongliqianting常规动力潜艇
- qingkouqingshe轻口轻舌
- xiaoniaolianliankan小鸟连连看
- chengjing程京
- wujianxiang吴坚祥
- qingang秦刚
- kadina卡迪那
- lemengchong乐萌宠
- caozhizaiwo曹之在我
- lianyou脸优
- jinshenge金神格
- yangan阳安
- jiuanxiang久安乡
- caohuashe草花蛇
- lihuashinvtu梨花仕女图
- changbandonglu长湴东路
- kashigongjiao喀什公交
- yindapaan吲哒帕胺