→ UNARYvvv:大概有想到你所指,但我記得那是"bit32".. 61.228.206.94 08/10 02:32
※ 引述《sd@bbs.ee.ntu.edu.tw (楓)》之銘言：
: 怎麼去確認程式的正確性阿
: 如果有上千行的話,上億個執行結果
1.翻閱開發文件、說明文件，並且相信他。
2.不然就是慢慢看。
要確認正確性沒有捷徑，用工具頂多幫你省點時間，大部分工作還是
得人工做。而且才幾千行而已....
電腦就是講一動作一動的東西，只要你確認程式邏輯是「正確」，Coding
基本觀念沒有錯誤，結果就是程式跑出來的那樣。
--
當然，像把int32當內建型別這類錯誤發生的話，那就沒辦法了....
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.132.23.74