程序员从早期程序设计起,就面临要证明他们的程序达到某种预定目的的任务,这就是程序验证。早期计算机主要用于数学计算,人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广,程序验证的任务变得非常困难,这就导致了对基于测试的精巧技术的研究,即它基于计算机程序是一种人工制品,通过实验过程一定能揭示它的多种属性这种思想基础。程序员从早期程序设计起,就面临要证明他们的程序达到某种预定目的的任务,这就是程序验证。早期计算机主要用于数学计算,人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广,程序验证的任务变得非常困难,这就导致了对基于测试的精巧技术的研究,即它基于计算机程序是一种人工制品,通过实验过程一定能揭示它的多种属性这种思想基础。
每周推荐 ‖ 心选账号之行走的种草机
新榜
0+阅读 · 2018年9月17日
【智能物流】电控系统虚拟仿真平台的实现方法
产业智能官
0+阅读 · 2020年4月14日
数学史上你认为最丑陋的公式是什么?
算法与数学之美
0+阅读 · 2018年8月24日
VMware竟然出了一款防火墙
CSDN云计算
0+阅读 · 2019年4月16日
我国突破性创新成果:世界最强氘氚中子源!
材料科学与工程
1+阅读 · 2018年2月1日
Android P 安全性更新
谷歌开发者
0+阅读 · 2018年7月5日
听说针对Mac平台的恶意广告程序出现了新变种
形式化方法的研究进展与趋势
中国计算机学会
35+阅读 · 2018年11月8日
参考链接
微信扫码咨询专知VIP会员