[發明專利]一種基于可達樹的軟件測試驗證方法

無效

• 申請號: 201010140750.0
• 申請日: 2010-04-07
• 公開（公告）號: CN101833499A
• 公開（公告）日: 2010-09-15
• 發明（設計）人: 劉久富;孫琳;王偉;婁堅波;蘇青琴;陳魁
• 申請（專利權）人: 南京航空航天大學
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.一種基于Petri網中可達樹分析方法的軟件測試驗證方法，其特征在于包括如下步驟：

1)第一步，提交被測對象、用戶需求文檔、測試環境文檔；所有提交的文檔需要安裝標準格式錄入，即：被測的結構化程序區的宏定義，包含文件，入口函數及子函數等各個部分分別錄入；用戶需求按照文檔各個分類的要求填寫需求文檔；

2)第二步，對被測對象(結構化語言程序)進行語法分析，查找關鍵詞及函數入口、出口點，并依據以上的關鍵點完成插樁；依照Petri網建模規則對程序自動建立Petri網模型；并收集和存儲Petri網模型結構的相關信息；

3)第三步，根據第三步得到的模型結構信息生成可達樹及可達圖模型；

4)第四步，對可達樹及可達圖模型進行可達性特性的分析與驗證；

5)第五步，將分析結果與需求比較，并整理測試報告。

2.本發明提出了按照結構化程序的語法結構進行Petri網自動建模的方法。該方法首先需要對語法結構中的順序結構、條件結構(if、switch)、循環結構(while、for)分別建模，再根據插樁信息對程序結構分塊建模，最后組合，得到整個程序的Petri網模型。這種自動建模方法解決了Petri網模型分析中建模難的問題，提供了自動化的建模機制。

3.本發明將Petri網理論應用于軟件測試驗證，用可達樹、可達圖的方法分析程序的可達性，并實現了整個分析過程的自動化。