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