3、程序的正确性及其验证 程序正确性(Program Correctness)被定义为一个程序和它打算要实现的功能之间的 一次符合(a correspondness) Gries说,在程序设计的初期阶段,人们很少看到程序正确性...
基于398个网页-相关网页
proof of program correctness [计] 程序正确性证明
program correctness proof [计] 程序正确性证明
Program correctness-Cont 程序正确性内容
program correctness verification 程序正确性验证
theory of program correctness 程序正确性理论
validation of program correctness 程序正确性验证
mathematical proofs of program correctness 程序正确性证明
program s partial correctness 程序的部分正确性
correctness of program 程序正确性
·2,447,543篇论文数据，部分数据来源于NoteExpress
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.
然而，证明正确性的思想实际上与测试所指的内容相反。我们对程序进行测试是为了显示错误的存在。
应用推荐