程序验证
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过...
资源总数
500
程序验证 热门资料
查看全部 500 份 →struts 自动验证框架 struts 中 formbean action 和html框架 对用户的输入进行合法的验证 以及学习struts 验证框架需要注意的事项
struts 自动验证框架 struts 中 formbean action 和html框架 对用户的输入进行合法的验证 以及学习struts 验证框架需要注意的事项
2014-01-19
56
12864LCD显示计算器键盘按键实验，51单片机C语言小程序，通过验证，简单易懂，
158-12864LCD显示计算器键盘按键实验，51单片机C语言小程序，通过验证，简单易懂，对学习很有帮助。
2022-11-12
7
人脸识别技术在远程身份验证中的应用
传统的身份验证主要有帐户/密码或智能卡等方式，存在着易被破解盗用和遗忘丢失等风险。该文提出了一种在远程登录过程中利用人脸识别技术进行身份验证的解决方案。该方案在客户端进行人脸检测和初步特征提取
2024-04-28
5