Re: 程式...

[haryewkun (Har)]

※ 引述《[e-mail] (楓)》之銘言：
: 怎麼去確認程式的正確性阿
: 如果有上千行的話,上億個執行結果

我認為你問的這個是一個很好的問題。雖然我在之前就想過，
並嘗試過一些解決方案。

至於那些建議慢慢閱讀說明書，自己去搜查的……嗯，不覺得
這不是一個很有效率的方法嗎。

老程序員常有的問題，就是以老生常談的方法去把一切當作理
所當然，而忽略了更新解決方案的潛在。


--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 218.111.158.3
推 march20:software engineering 有一支是在做
推 march20:verification 的, 其中又分model checking
推 march20:和 theorem proving 這兩大宗. 但不管是哪
推 march20:個,都有space explosion 的問題 (抖)