[發明專利]一種生成測試用例的方法在審
| 申請號： | 201410274405.4 | 申請日： | 2014-06-19 |
| 公開（公告）號： | CN104090838A | 公開（公告）日： | 2014-10-08 |
| 發明（設計）人： | 陸公正 | 申請（專利權）人： | 蘇州市職業大學 |
| 主分類號： | G06F11/36 | 分類號： | G06F11/36 |
| 代理公司： | 蘇州銘浩知識產權代理事務所(普通合伙) 32246 | 代理人： | 劉艷春 |
| 地址： | 215104 江蘇省蘇州市吳中*** | 國省代碼： | 江蘇;32 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 一種 生成 測試 方法 | ||
1.一種生成測試用例的方法，其特征在于，包括：
a、構造待測軟件的具體模型；
b、對所述具體模型進行抽象以形成抽象模型；
c、在所述抽象模型上生成抽象反例；
d、判斷所述具體模型中是否存在與所述抽象反例對應的具體反例；?
e、當所述具體模型中存在與所述抽象反例對應的具體反例時，則將所述抽象反例作為測試用例。
2.?根據權利要求1所述的一種生成測試用例的方法，其特征在于，還包括：
f、當所述具體模型中不存在與所述抽象反例對應的具體反例時，所述抽象反例為偽反例，則刪除所述偽反例，并返回至步驟b。
3.?根據權利要求1或2所述的一種生成測試用例的方法，其特征在于，所述步驟c包括：
c1、根據測試覆蓋準則，列出測試目標；
c2、將每個測試目標表示成陷阱性質；
c3、驗證陷阱性質；?
c4、生成所述抽象反例。
4.?根據權利要求3所述的一種生成測試用例的方法，其特征在于，所述c2步驟中：采用線性時序邏輯來將每個測試目標表示成陷阱性質。
5.?根據權利要求1或2所述的一種生成測試用例的方法，其特征在于，所述步驟a中，采用擴展有窮狀態機構造所述具體模型，所述具體模型中含有多個遷移，所述遷移包括有開始狀態、輸入參數、謂詞、順序操作、結束狀態屬性。
6.?根據權利要求5所述的一種生成測試用例的方法，其特征在于，所述步驟b包括：對兩個等價狀態的遷移進行合并。
7.?根據權利要求6所述的一種生成測試用例的方法，其特征在于：
當兩個遷移的開始狀態、結束狀態等價時，則這兩個遷移為等價狀態。
8.?根據權利要求7所述的一種生成測試用例的方法，其特征在于：
當兩個遷移中的謂詞所包含的變量的交集不為空時，則這兩個遷移的開始狀態等價。
9.?根據權利要求7所述的一種生成測試用例的方法，其特征在于：
當兩個遷移的結束狀態沒有輸出遷移時，則這兩個遷移的結束狀態等價。
10.?根據權利要求6所述的一種生成測試用例的方法，其特征在于：
當兩個遷移的謂詞相矛盾時，則對這兩個遷移不進行合并以保留這兩個遷移；當一遷移的謂詞為空時，則對該遷移不進行合并以保留。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于蘇州市職業大學，未經蘇州市職業大學許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201410274405.4/1.html，轉載請聲明來源鉆瓜專利網。
- 上一篇：異常場景模擬測試方法及裝置
- 下一篇：P2P平臺信息監控模塊、系統及方法
