program correctness

A set of input data and conditions used to check the program correctness.

一组用于检查程序正确性的输入数据和条件.

White-box test is a kind of important method to verity correctness of program.

白盒 测试是检验程序正确性的重要方法.

Proof of program correctness and a method of getting loop invariant

程序正确性证明及循环不变式的寻找方法

The search for the mistake is limited , greatly easing the problems of maintenance and program correctness.

搜寻这个错误很容易, 维护和修改这个程式也很容易.

Further more, to solve the optimization program of locating the yellow ball using minimum red and blue balls, we devise a scheme which needs 36 balls, and prove its correctness too.

针对用最少的红球、蓝球发现并定位黄球的问题，设计出36个球的方案，严格证明出方案的可行性。

A Developing Method of Programs Based on the Proof Theory of Program Correctness

一种基于程序正确性证明理论的程序开发方法

The results show that: the split-flow program of this paper putting forward is sure to solve engine stall issue and verify the correctness of theoretical research and simulation model.

试验结果表明：本文所提出的分流方案能够有效解决发动机失速问题，验证了理论分析和仿真模型正确性。

Development of an Inspecting System for NC Machine Program Correctness

数控加工程序的正确性检查系统的研制