程序验证

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

资源总数
500

程序验证 全部资料 500 份

Prakash Rashinkar has over 15 years experience in system design and verificationof embedded systems for communication sa...

2014-01-24 96 程序验证

Prakash Rashinkar has over 15 years experience in system design and verificationof embedded systems for communication sa...

2013-11-19 162 程序验证

图片验证码，适用于jsp页面。用于登陆时作校验码。不需要特殊插件，直接在html上运行显示

2013-12-23 110 程序验证

图片验证码，直接运行里面的test.jsp就可以运行了，验证码的图片背景在src包里面的方法里改

2017-01-03 169 程序验证