Side effects complicate the math required to prove program correctness.
副作用把验证程序正确的数学问题复杂化。
A program correctness verification method corresponding to decomposition diagram description of deterministic application programs is presented in this paper.
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。
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分布式对象程序的正确性。
The correctness of predictable straight line trace, curve trace, their algorithm and the combing program was testified.
对可预测的直线轨迹、曲线轨迹对其算法和所编写程序的正确性进行了验证。
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.
并且应用轴系不平衡响应程序进行定量的计算和通过模型转子试验验证了以上分析的正确性。
The correctness of all anti-solution program have been proofed by example computation.
所有反解程序的正确性已为实例计算证明。
Program for optimization is developed and the correctness of this optimum design method and the reliability of program run are verified through practical product instances.
并通过生产实例验证了本优化设计方法正确性和程序运行的可靠性。
The conveyor middle trough of the improved for stress analysis, theoretically proved the correctness of the optimization program.
对改进前后输送机中部槽进行应力分析，从理论上验证了优化方案的正确性。
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.
然而展示正确性的想法实际上与测试的目的恰好相反，对程序进行测试是为了展示错误的存在。
Sentences of logic expressing these forms of correctness can be generated automatically from the form of the program.
句子的逻辑表达形式的正确性，可以自动生成的程序的形式。
White-box test is a kind of important method to verity correctness of program.
白盒测试是检验程序正确性的重要方法。
Finally, this paper gives the flight loop construction program written by MATLAB language and analyzes instances in detail to validate the correctness and efficiency of these methods.
最后，利用MATLAB语言编写构建航班环的计算机程序，并通过具体算例的分析，验证了本文提出方法的正确性及有效性。
The essay deduces the formula of the high finite strip method analysis of the thin-walled curved box girder bridge and its program, then proves their correctness;
推导弯曲薄壁箱梁桥高阶有限条法分析的公式及程序，并验证其正确性。
The computation result is identical to that of series program, and the correctness of the parallel program is verified.
最后将并行程序与串行程序的计算结果相比较，验证了该并行程序的正确性。
In this paper a method of proving the correctness of a computer program based on a transformation relation of the loop body is presented.
本文提出了利用循环体转换关系式的程序证明方法。
At a break point the program is stopped, and specific values can be displayed to determine their correctness.
程序停于断点处，可以显示一些特定的具体的值来判断它们的正确性。
Building nonlinear finite element models using ANSYS program, And in the light of previous experimental to verify the correctness in the article.
本文利用ANSYS程序建立了非线性的有限元模型，并参照前人试验验证模型分析程序的正确性。
Building nonlinear finite element models using ANSYS program, And in the light of previous experimental to verify the correctness in the article.
本文利用ANSYS程序建立了非线性的有限元模型，并参照前人试验验证模型分析程序的正确性。
应用推荐