关于充分正确性的正确性定理的质疑和修正

Question and ReviSion on the Correctness Theorem about the Sufficient Correctness

本文首先指出了文献[1]中给出的充分正确性的正确性定理证明中的错误,然后以实例说明该定理不成立。最后对该定理做了修正,并给出了一个证明。

In this paper, a mistake in the proof of the correctness theorem about the sufficient correctness given in[1]is first pointed out .Then we illustrate that the theorem doesnt hold. Finally, we revise the theorem and give a proof about the revised theorem.