3、程序的正确性及其验证 程序正确性(Program Correctness)被定义为一个程序和它打算要实现的功能之间的 一次符合(a correspondness) Gries说,在程序设计的初期阶段,人们很少看到程序正确性...
基于410个网页-相关网页
程序正确性证明 [计] proof of program correctness ; [计] program correctness proof
·2,447,543篇论文数据，部分数据来源于NoteExpress
白盒测试是检验程序正确性的重要方法。
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.
应用推荐