軟件內建自測試是一種新型的軟件測試方法,該文研究了其中的模板庫設計和測試路徑執行的問題。
但構件技術的新特*,如封裝、信息隱蔽等,也制約了傳統軟件測試方法在構件測試中的應用。
傳統的軟件測試方法已經不能滿足今天網絡世界的發展,在各種軟件逐漸向WEB化的今天,人們必須思考WEB新的測試方法。
第五章對比了常用軟件測試方法,討論了形式化方法的基本概念、數學預備知識和形式化規約語言。
將上述方法運用於座標轉換軟件則試中,結果表明所提出的方法是一種可行且高效的數據處理軟件測試方法。