[發明專利]一種生成測試用例的方法

在審

• 申請號: 201410274405.4
• 申請日: 2014-06-19
• 公開（公告）號: CN104090838A
• 公開（公告）日: 2014-10-08
• 發明（設計）人: 陸公正
• 申請（專利權）人: 蘇州市職業大學
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 蘇州銘浩知識產權代理事務所(普通合伙) 32246
• 代理人: 劉艷春

技術領域

本發明涉及軟件測試，尤其涉及一種生成測試用例的方法。

背景技術

軟件測試是發現軟件中錯誤，保證軟件質量的一種重要手段，然而傳統軟件測試方法所需成本已占軟件開發總成本的50%以上。測試自動化是一種能夠降低測試成本的有效方法。測試用例的自動生成是測試自動化的一個重要環節和體現，通常從軟件的行為模型產生測試用例，再測試實際系統，觀察系統運行的結果是否與模型行為的預期一致，這就是基于模型的測試。但是，有時候根據指定的測試覆蓋準則，從軟件行為模型生成的測試用例集龐大，進而導致測試成本高、效率低。因此，測試用例集約簡是軟件測試的一項重要工作。

目前，本領域相關技術人員，對有關測試用例集約簡的研究頗多，但都存在一定的缺陷，約簡效果不明顯。

發明內容

鑒于上述，有必要針對現有的測試用例約簡缺陷問題提出一種生成測試用例的方法。

生成測試用例的方法，包括：

a、構造待測軟件的具體模型；

b、對所述具體模型進行抽象以形成抽象模型；

c、在所述抽象模型上生成抽象反例；

d、判斷所述具體模型中是否存在與所述抽象反例對應的具體反例；

???e、當所述具體模型中存在與所述抽象反例對應的具體反例時，則將所述抽象反例作為測試用例。

在其中一個實施方式中，還包括：

f、當所述具體模型中不存在與所述抽象反例對應的具體反例時，所述抽象反例為偽反例，則刪除所述偽反例，并返回至步驟b。

在其中一個實施方式中，所述步驟c包括：

c1、根據測試覆蓋準則，列出測試目標；

c2、將每個測試目標表示成陷阱性質；

c3、驗證陷阱性質；

????c4、生成所述抽象反例。

在其中一個實施方式中，所述c2步驟中：采用線性時序邏輯來將每個測試目標表示成陷阱性質。

在其中一個實施方式中，所述步驟a中，采用擴展有窮狀態機構造所述具體模型，所述具體模型中含有多個遷移，所述遷移包括有開始狀態、輸入參數、謂詞、順序操作、結束狀態屬性。

在其中一個實施方式中，所述步驟b包括：對兩個等價狀態的遷移進行合并。

在其中一個實施方式中，當兩個遷移的開始狀態、結束狀態等價時，則這兩個遷移為等價狀態。

在其中一個實施方式中，當兩個遷移中的謂詞所包含的變量的交集不為空時，則這兩個遷移的開始狀態等價。

在其中一個實施方式中，當兩個遷移的結束狀態沒有輸出遷移時，則這兩個遷移的結束狀態等價。

在其中一個實施方式中，當兩個遷移的謂詞相矛盾時，則對這兩個遷移不進行合并以保留這兩個遷移；當一遷移的謂詞為空時，則對該遷移不進行合并以保留。

由上可知，本發明所提出的測試用例生成的方法，至少具有如下優點：

1）采用抽象精化以及抽象精化與SAT相結合的方法能很有效地約簡測試用例的數目；

2）該方法還能很好地約簡測試用例的總長度，能夠很好地約簡測試用例集。

綜上，本發明所提出的測試用例生成的方法，通過合并遷移以構成抽象模型，并優化抽象函數以減少偽反例，從而約簡了測試用例集。

附圖說明

圖1繪示了本發明一實施方式的生成測試用例的方法的流程圖；

圖2繪示了圖1中的步驟S130的一實施例的流程圖。

具體實施方式

為了使本領域相關技術人員更好地理解本發明的技術方案，下面將結合本發明實施方式的附圖，對本發明實施方式中的技術方案進行清楚、完整地描述，顯然，所描述的實施方式僅僅是本發明一部分實施方式，而不是全部的實施方式。

參照圖1，圖1繪示了本發明一實施方式的生成測試用例的方法的流程圖。

首先，在步驟S110中，構造待測軟件的具體模型。

在一實施例中，采用擴展有窮狀態機（Extended?Finite?State?Machine，EFSM）構造具體模型，具體模型中含有多個遷移t_i，遷移可以是一個五元組，其包含開始狀態、輸入參數、謂詞(監護條件)、順序操作、結束狀態屬性。