各位好,

假設有一堆程式碼
萬行以上
要怎麼快速找出隱含的邏輯炸彈 ?

或者說
怎麼確定
證明
程式碼中無邏輯炸彈 ?

可能會發生的敘述是在 if 附近嗎 ?

或者是
不管程式怎麼寫
有辦法用限制輸出入來預防嗎 ?
這方面的研究的英文說法是 ?

謝謝