程序验证

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

资源总数
500

程序验证 热门资料

查看全部 500 份 →

验证用户信息，电子邮件，地址是否合法 身份证验证，性别验证..... 支持[数据导入]（导入格式用空格或逗号或竖线|分割字段），并验证导入数据 firefox\ie测试通过。

2014-01-02 33 程序验证