白盒测试是检验程序正确性的重要方法。
White-box test is a kind of important method to verity correctness of program.
第八章介绍应用应用推理等价形式逻辑证明程序正确性。
Formal logic is applied to proving correctness properties of programs in Chapter 8.
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。
A program correctness verification method corresponding to decomposition diagram description of deterministic application programs is presented in this paper.
随著各个专题规格与程序的难度不同，小组可能需要写出程序正确性的证明。
Depending on the difficulty of the specification and code, the group may also write a correctness proof for the code.
验证测试担负着检测芯片设计和检验测试程序正确性的双重任务，是芯片开发中不可或缺的重要环节。
The validation test has been a necessary and important process, which assumes the double task in checking the correctness of both the design and test programs.
本文给出了证明决策表程序正确性的推理规则，其中特别使用了决策表程序的层次结构和不可能规则。
This paper is shown how to prove the correct of Decision Table programs using some reasoning rules. The use of the hierarchical structure and impossible rules are of special significance.
数控加工图形仿真技术利用计算机图形显示来模拟实际加工过程，是验证数控加工程序正确性的有力工具之一。
Graphics Simulation technology in NC machining is a powerful tool for validating NC machining programming, which using the computer graphical output to simulate the real machining process.
本文阐明了程序正确性证明的重要意义与其内涵，给出了程序的正确性证明的构思。并通过一个具体实例说明了程序的正确性证明的方法和步骤。
This paper clarifies the significance of proving the correction of the program and its connotation, presents the thought about proving, and illustrates the method and the steps.
本文阐明了程序正确性证明的重要意义与其内涵，给出了程序的正确性证明的构思。并通过一个具体实例说明了程序的正确性证明的方法和步骤。
This paper clarifies the significance of proving the correction of the program and its connotation, presents the thought about proving, and illustrates the method and the steps.
应用推荐