程序验证
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过...
资源总数
500
程序验证 热门资料
查看全部 500 份 →编写一个用户注册信息填写验证程序
编写一个用户注册信息填写验证程序，注册信息包括用户名、密码、EMAIL地址、联系电话。要求验证联系电话中只能输入数字，EMAIL地址中需要包括“@”符号，密码域不少于6位。要求联系电话在输入过程中保证不能有非数字，而其他两个域在点击注册按钮...
2013-12-15
90