逆向模型測試中的測試用例集生成方法

王 立 新

(安徽建筑大學 電子與信息工程學院，安徽 合肥 230022)

?

逆向模型測試中的測試用例集生成方法

王 立 新

(安徽建筑大學 電子與信息工程學院，安徽 合肥 230022)

簡要介紹了逆向建模測試的相關概念；給出了逆向建模測試的過程；系統介紹了逆向建模測試過程中測試用例生成的方法；提出了一種利用參數約束關系的逆向建模測試用例集精簡方法，并給出了該方法的相關實驗數據。

逆向建模；軟件測試；組合覆蓋測試

對于開發時間較早的現在仍在應用的軟件和組件，很多都存在這樣那樣的問題，歸納起來包括：文檔完整性欠缺，存在信息不一致問題，有的軟件還多次打補丁，給軟件使用造成比較多的麻煩。然而，這些歷史遺產又不能完全拋棄，有時候是需要建立模型的以便于擴充功能、修正錯誤等，但由于上述問題，要使用一般的正向建立模型的方法是不可行的，這就產生了如何建立模型的問題。

而逆向模型測試[1]就是從欠缺完整性的文檔，在可能存在不一致的信息中構造出測試用例，再運行測試用例并獲取系統的動態信息，最終構建出系統的動態模型，在多次與用戶目標需求迭代比較和修正后，獲得系統或組件的模型以及其它信息。

1 逆向建模測試的過程

逆向測試過程一般可分為以下幾個階段，如圖1所示。

圖1 逆向測試過程

(1)從使用手冊、設計說明等不完整的文檔中提取測試用例，這個步驟是逆向測試第一步；

(2)測試這些用例；……