目 前学术研究领域中已经提出了多种程序安全检查方法，如代码验证（Code Validation）、模型检查（ModelChecking）、进化测试（EvolutionaryTesting）等。
基于12个网页-相关网页
Validation code 验证码 ; 确认码 ; 验证代码
The code validation failure 代码检验失败
on-the-fly code validation 即时代检验
matlab code of cross validation 交叉验证代码
card validation code 信用卡检查码 ; 卡验证码
Enter Validation Code 请输入验证码
A code validation system that marks potential errors.
能标记潜在错误的代码验证系统。
The ballistic range experiment is conducted for code validation and the sphere model is made of steel.
数值模拟结果与文献结果进行了对比，并在弹道靶中进行了钢质圆球的实验验证。
The second closure (which comes in after a few asserts for code validation) applies regular expressions to a given String.
第二个闭包（在几个进行代码验证的 assert 之后出现）对指定的 String 应用正则表达式。
应用推荐