如何保证我们的程序100%的正确

SuperZ

白盒测试，试验数据覆盖所有路径，如果都通过了，那就100%没问题了。

libin1983

万一运行的机器内存泄漏, 或被雷轻轻地劈了一下呢 .

万一测试工具有bug呢?


搜索: 哥德爾不完備定理.

[ 本帖最后由 libin1983 于 2008-6-7 23:12 编辑 ]

chuhongze

原帖由 SuperZ 于 2008-6-7 22:18 发表
白盒测试，试验数据覆盖所有路径，如果都通过了，那就100%没问题了。

说比做容易，要是这样世界上所有软件就都没有BUG，而且'100%'白盒测试需要N久能完成呢

[ 本帖最后由 chuhongze 于 2008-6-7 22:47 编辑 ]

swordfish.cn

等做完 100% 白盒测试，软件已经过时了。

chuhongze

原帖由 swordfish.cn 于 2008-6-7 22:48 发表
等做完 100% 白盒测试，软件已经过时了。

然后公司也就关门了！

dianlongliu

原帖由 lenovo 于 2008-6-6 13:38 发表
你说你不知道，然后问他答案。

果然是强,想起了曾经一本书上说的"当别人问你不愿意回答的问题时,笑着对他说,你为什么想知道?"

future0906

汗- -# 我想到程序正确性的证明那边去了

77h2_eleven

请问世界上现存的哪个软件是完全正确的？

sdu_lizhipeng

赫赫，没有什么软件是完全正确的，那种美好性只存在于我们的心中。。。。。