program verification的意思|示意

美 / ˈprəuɡræm ˌverəfɪˈkeɪʃən / 英 / ˈproˌɡræm ˌvɛrəfɪˈkeʃən /

[计] 程序验证

program verification相关短语

1、 program verification and testing 程序验证与测试

2、 computer program verification 计算机程序验证

3、 automatic program verification system 自动程序验证系统,翻译

4、 automatic program verification 自动程序验证

5、 user program verification facility 用户程序验证设施

6、 formal program verification 形式程序验证

7、 nc program verification 数控程序检验

8、 C program verification C程序验证

9、 parallel program verification 并行程序验证

program verification相关例句

Static program testing is an approach between program verification and test case running.

程序静态测试是介于程序验证和基于用例运行之间的测试方法.

互联网

This paper summarizes two strategies of software security flaw detection, named static analysis and program verification.

软件安全漏洞问题日益严重, 静态漏洞检测提供从软件结构和代码中寻找漏洞的方法.

互联网