程序正确性
基于1个网页-相关网页
proof of program correctness [计] 程序正确性证明
correctness proof of program 程序正确性证明
correctness of a program 程序正确性
theory of program correctness 程序正确性理论
validation of program correctness 程序正确性验证
mathematical proofs of program correctness 程序正确性证明
correctness of program
以上为机器翻译结果，长、整句建议使用 人工翻译 。
White-box test is a kind of important method to verity correctness of program.
白盒测试是检验程序正确性的重要方法。
youdao
应用推荐
模块上移
模块下移
不移动