程序验证
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过...
资源总数
500
程序验证 热门资料
查看全部 500 份 →提供服务端登陆验证程序（验证码随机改变
提供服务端登陆验证程序（验证码随机改变，防止非法进入）； 提供服务器控制程序，管理员可以允许、屏蔽和删除一个注册用户的登陆客户端； 任何改变访问地点的行为，都必须得到管理员的授权，否则无法登陆系统； 即使知道其他用户的密码也不能...
2015-04-10
118