1、輸入的實際參數與形式參數的個數是否相同;
2、輸入的實際參數與形式參數的屬性是否匹配;
3、輸入的實際參數與形式參數的量綱是否一致;
4、調用其他模塊時所給實際參數的個數是否與被調模塊的形參個數相同;
5、調用其他模塊時所給實際參數的屬性是否與被調模塊的形參屬性匹配;
6、調用其他模塊時所給實際參數的量綱是否與被調模塊的形參量綱一致;
7、調用預定義函數時所用參數的個數、屬性和次序是否正確;
8、是否存在與當前入口點無關的參數引用;
9、是否修改了只讀型參數;
10、對全程變量的定義各模塊是否一致;
11、是否把某些約束作為參數傳遞。
如果模塊內包括外部輸入輸出,還應該考慮下列因素:
1、文件屬性是否正確;
2、OPEN/CLOSE語句是否正確;
3、格式說明與輸入輸出語句是否匹配;
4、緩沖區大小與記錄長度是否匹配;
5文件使用前是否已經打開;
6、是否處理了文件尾;
7、是否處理了輸入/輸出錯誤;
8、輸出信息中是否有文字性錯誤;
檢查局部數據結構是為了保證臨時存儲在模塊內的數據在程序執行過程中完整、正確。局部數據結構往往是錯誤的根源,應仔細設計測試用例,力求發現下面幾類錯誤:
文章來源于領測軟件測試網 http://www.kjueaiud.com/