?、?算法錯誤;
?、?初始化不正確;
?、?運算精度不夠;
?、?表達式的符號表示不正確等。
一個案例:火箭爆炸
1996年6月4日歐洲阿麗亞娜系列火箭Ariane-5 發射后僅僅37秒,火箭偏離它的飛行路徑,解體并爆炸?;鸺陷d有價值5億美元的通信衛星,6億美元付之一炬。
原因:將一個64位浮點數轉換成16位有符號整數時,產生了溢出。
2)常見的比較和控制流錯誤有:
?、?不同數據類型的比較;
?、?不正確的邏輯運算符或優先次序;
?、?因浮點運算精度問題而造成的兩值比較不等;
?、?關系表達式中不正確的變量和比較符;
?、?“差1錯”,即不正確地多循環或少循環一次;
?、?錯誤的或不可能的循環終止條件;
?、?當遇到發散的迭代時不能終止循環;
?、?不適當地修改了循環變量等。
4、錯誤處理測試:比較完善的模塊設計要求能預見出錯的條件,并設置適當的出錯處理對策,以便在程序出錯時,能對出錯程序重新做安排,保證其邏輯上的正確性。這種出錯處理也是模塊功能的一部分。表明出錯處理模塊有錯誤或缺陷的情況有: