單元測試的基本理論

　　·調用所測模塊時的輸入參數與模塊的形式參數在個數、屬性、順序上是否匹配;

　　·所測模塊調用子模塊時，它輸入個子模塊的參數與子模塊的形式參數在個數、屬性、順序上是否匹配;

　　·是否修改了只做輸入用的形式參數;

　　·輸出給標準函數的參數在個數、屬性、順序上是否匹配;

　　·全局變量的定義在各模塊中是否一致;

　　·限制是否通過形式參數來傳送。

　　局部數據結構測試：模塊的局部數據結構是最常見的錯誤來源，應設計測試用例以檢查以下各種錯誤：

　　·檢查不正確或不一致的數據類型說明;

　　·使用尚未賦值或尚未初始化的變量;

　　·錯誤的初始值或錯誤的默認值;

　　·變量名拼寫錯誤或書寫錯誤;

　　·不一致的數據類型。

　　路徑測試：對基本執行路徑和循環進行測試會發現大量的錯誤。根據白盒測試和黑盒測試用例設計方法設計測試用例。設計測試用例查找由于錯誤的計算、不正確的比較或不正常的控制流而導致的錯誤。

　　常見的不正確的計算有：

　　· 運算的優先次序不正確或誤解了運算的優先次序;

　　·運算的方式錯誤(運算的對象彼此在類型上不相容);

　　· 算法錯誤;

　　· 初始化不正確;

　　·運算精度不夠;

　　·表達式的符號表示不正確等。

　　常見的比較和控制流錯誤有：

文章來源于領測軟件測試網 http://www.kjueaiud.com/