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分布式对象程序的正确性。
A program correctness verification method corresponding to decomposition diagram description of deterministic application programs is presented in this paper.
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。
And the correctness of the above analysis has been proved by the quantitative calculation with the unbalanced response program of shafting and tests on a model rotor.
并且应用轴系不平衡响应程序进行定量的计算和通过模型转子试验验证了以上分析的正确性。
However, the idea of demonstrating correctness is really the reverse of that testing is all about. We test a program in order to demonstrate the existence of an error.
然而展示正确性的想法实际上与测试的目的恰好相反，对程序进行测试是为了展示错误的存在。
White-box test is a kind of important method to verity correctness of program.
白盒测试是检验程序正确性的重要方法。
In this paper a method of proving the correctness of a computer program based on a transformation relation of the loop body is presented.
本文提出了利用循环体转换关系式的程序证明方法。
In this paper a method of proving the correctness of a computer program based on a transformation relation of the loop body is presented.
本文提出了利用循环体转换关系式的程序证明方法。
应用推荐