Side effects complicate the math required to prove programcorrectness.
副作用把验证程序正确的数学问题复杂化。
2
A programcorrectness verification method corresponding to decomposition diagram description of deterministic application programs is presented in this paper.
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。
3
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.