作者haryewkun (Har)
看板Programming
标题Re: 程式...
时间Thu Aug 10 02:55:37 2006
※ 引述《[email protected] (枫)》之铭言：
: 怎麽去确认程式的正确性阿
: 如果有上千行的话,上亿个执行结果
我认为你问的这个是一个很好的问题。虽然我在之前就想过，
并尝试过一些解决方案。
至於那些建议慢慢阅读说明书，自己去搜查的……嗯，不觉得
这不是一个很有效率的方法吗。
老程序员常有的问题，就是以老生常谈的方法去把一切当作理
所当然，而忽略了更新解决方案的潜在。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.111.158.3
1F：推 march20:software engineering 有一支是在做 71.137.7.224 08/10 03:24
2F：推 march20:verification 的, 其中又分model checking 71.137.7.224 08/10 03:24
3F：推 march20:和 theorem proving 这两大宗. 但不管是哪 71.137.7.224 08/10 03:24
4F：推 march20:个,都有space explosion 的问题 (抖) 71.137.7.224 08/10 03:25