其实，也是对于测试的一点疑问。


    对于没有返回类型的方法。

    junit 怎样测试？ 比如，我在void aMethod()  里有一个System.out.println("test");  我怎样来确定这个方法是否执行正确。 是否需要把标准输出取出来比较呢?

    我读过thinking in java的代码， 作者写了一个Monitor 检查标准输出与Monitor内定义的String 是否一致。

    我觉得怎样证明一段代码是可以信赖的，应该有一套完整的理论，遗憾是我基本不懂。

     一个测试的外行。

引用:

Originally posted by chenjinsos at 17-6-2005 16:40:
我觉得怎样证明一段代码是可以信赖的，应该有一套完整的理论，遗憾是我基本不懂。

如果要通过测试证明一段代码是正确的 唯一方法是exhaustive testing 可惜是NP hard
非穷举测试已经被证明为不可能确认一段代码是正确的