proof of program correctness [计] 程序正确性证明
correctness of a program 程序正确性
correctness proof of program 程序正确性证明
theory of program correctness 程序正确性理论
White-box test is a kind of important method to verity correctness of program.
白盒测试是检验程序正确性的重要方法。
However, the idea of demonstrating correctness is really the reverse of what testing is all about. We test a program in order to demonstrate the existence of an error.
然而，证明正确性的思想实际上与测试所指的内容相反。我们对程序进行测试是为了显示错误的存在。
By judging the event sequence when running a program and the event constrains described by E-CSPE, we can test the correctness of a CORBA distributed object program.
通过判断程序执行时所产生的事件序列和E - CSPE描述的事件约束，可以检测被测CORBA分布式对象程序的正确性。
应用推荐