生成測試用例的方法
【專利摘要】本發(fā)明提出了生成測試用例的方法，包括：a、根據(jù)測試覆蓋準則，列出測試目標以形成測試目標集；b、將所述測試目標集中各測試目標表示成陷阱性質(zhì)；c、將各陷阱性質(zhì)與具體模型進行合取轉(zhuǎn)換成CNF公式；d、計算CNF公式的難度；e、根據(jù)CNF公式的難度對各測試目標進行排序；f、判斷所述測試目標集是否為空；g、當所述測試目標集不為空時，則選取一測試目標，并從所述測試目標集中刪除所選取的測試目標；h、根據(jù)所選取的測試目標生成測試用例以形成第一測試用例集；i、基于SAT對所述第一測試用例集進行約簡以獲取第二測試用例集。本發(fā)明所提出的測試用例生成的方法，至少具有約簡效果好、效率高。
【專利說明】生成測試用例的方法

【技術(shù)領(lǐng)域】
[0001] 本發(fā)明涉及軟件測試，尤其涉及生成測試用例的方法。

【背景技術(shù)】
[0002] 軟件測試是發(fā)現(xiàn)軟件中錯誤，保證軟件質(zhì)量的一種重要手段，然而傳統(tǒng)軟件測試 方法所需成本已占軟件開發(fā)總成本的50%以上。測試自動化是一種能夠降低測試成本的有 效方法。測試用例的自動生成是測試自動化的一個重要環(huán)節(jié)和體現(xiàn)，通常從軟件的行為模 型產(chǎn)生測試用例，再測試實際系統(tǒng)，觀察系統(tǒng)運行的結(jié)果是否與模型行為的預(yù)期一致，這就 是基于模型的測試。但是，有時候根據(jù)指定的測試覆蓋準則，從軟件行為模型生成的測試用 例集龐大，進而導(dǎo)致測試成本高、效率低。因此，測試用例集約簡是軟件測試的一項重要工 作。
[0003] 目前，本領(lǐng)域相關(guān)技術(shù)人員，對有關(guān)測試用例集約簡的研究頗多，但都存在一定的 缺陷，約簡效果不明顯。
[0004] 目前，本領(lǐng)域相關(guān)技術(shù)人員，對有關(guān)測試用例集約簡的研究頗多，但都存在一定的 缺陷，下面將 列舉：
[0005] l)Ammann等把生成的測試用例表示成模型，在該模型上模型檢測余下的測試目 標，來判定他們是否被該測試用例覆蓋，但這將涉及到頻繁地從測試用例到模型的轉(zhuǎn)換及 對模型檢測器的調(diào)用；
[0006] 2)Fraser等在生成測試用例后，使用LTL重寫規(guī)則消除目前已被覆蓋的測試目 標，但沒有給出選擇測試目標次序，這將直接影響測試用例約簡的效果；
[0007] 3) Zeng等結(jié)合CTL重寫規(guī)則進行了測試目標約簡和測試用例集約簡，但同樣也沒 有給出選擇測試目標次序的方法，也將直接影響測試用例約簡的效果。


【發(fā)明內(nèi)容】

[0008] 鑒于上述，有必要針對現(xiàn)有的測試用例約簡缺陷問題提出一種生成測試用例的方 法。
[0009] 一種生成測試用例的方法，包括：
[0010] a、根據(jù)測試覆蓋準則，列出測試目標以形成測試目標集；
[0011] b、將所述測試目標集中各測試目標表示成陷阱性質(zhì)；
[0012] c、將各陷阱性質(zhì)與具體模型進行合取轉(zhuǎn)換成CNF公式；
[0013] d、計算CNF公式的難度；
[0014] e、根據(jù)CNF公式的難度對各測試目標進行排序；
[0015] f、判斷所述測試目標集是否為空；
[0016] g、當所述測試目標集不為空時，則選取一測試目標，并從所述測試目標集中刪除 所選取的測試目標；
[0017] h、根據(jù)所選取的測試目標生成測試用例以形成第一測試用例集；
[0018] i、基于SAT對所述第一測試用例集進行約簡以獲取第二測試用例集。
[0019] 在其中一個實施方式中，步驟i包括：
[0020] il、將所選取的測試目標余下的其它各測試目標的陷阱性質(zhì)進行合取轉(zhuǎn)換成CNF 公式；
[0021] i2、通過SAT工具判定CNF公式的可滿足性；
[0022] i3、當CNF公式不可滿足時，則刪除相應(yīng)的測試目標。
[0023] 在其中一個實施方式中，步驟h與步驟i間還包括：對所述第一測試用例集進行冗 余性檢測。
[0024] 在其中一個實施方式中，步驟e中，根據(jù)CNF公式的難度進行升序排列，相應(yīng)地，步 驟g中，依序選取測試目標。
[0025] 在其中一個實施方式中，步驟b中，通過LTI，將各測試目標表示成陷阱性質(zhì)。
[0026] 由上可知，本發(fā)明所提出的測試用例生成的方法，至少具有如下優(yōu)點：
[0027] 1)根據(jù)CNF難度依序選擇測試目標，能夠調(diào)用更少的模型檢測次數(shù)和約簡更多的 測試用例數(shù)，提高了效率；
[0028] 2)基于SAT對測試用例進行約簡，約簡效果好，并且，采用SAT工具求解CNF的可 滿足性，求解效率高。

【專利附圖】

【附圖說明】
[0029] 圖1繪示了本發(fā)明一實施方式的生成測試用例的方法的流程示意圖。

【具體實施方式】
[0030] 為了使本領(lǐng)域相關(guān)技術(shù)人員更好地理解本發(fā)明的技術(shù)方案，下面將結(jié)合本發(fā)明實 施方式的附圖，對本發(fā)明實施方式中的技術(shù)方案進行清楚、完整地描述，顯然，所描述的實 施方式僅僅是本發(fā)明一部分實施方式，而不是全部的實施方式。
[0031] 參照圖1，圖1繪示了本發(fā)明一實施方式的生成測試用例的方法的流程示意圖。
[0032] 首先，在步驟S110中，根據(jù)測試覆蓋準則，列出測試目標以形成測試目標集。
[0033] 然后，在步驟S120中，將測試目標集中各測試目標表示成陷阱性質(zhì)。本實施方式 中，可以采用LTL將各測試目標表示成陷阱性質(zhì)。
[0034] 之后，在步驟S130中，將各陷阱性質(zhì)與具體模型進行合取轉(zhuǎn)換成CNF公式：
[0035] ? = (：1八?八（；，其中（：1，《"，(；稱為子句，每個子句
[0036] Ci = li V - V ln，li，…，1"稱為文字，每個文字
[0037] 1」(1< j < η)是布爾變量的肯定或者否定的形式。
[0038] 繼而，在步驟S140中，計算CNF公式的難度。
[0039] 在本實施方式中，當設(shè)CNF公式中子句數(shù)為n，第i個子句中的文字數(shù)為h，則CNF 公式的難度h :
[0040]

【權(quán)利要求】
1.生成測試用例的方法，其特征在于，包括： a、 根據(jù)測試覆蓋準則，列出測試目標以形成測試目標集； b、 將所述測試目標集中各測試目標表示成陷阱性質(zhì)； c、 將各陷阱性質(zhì)與具體模型進行合取轉(zhuǎn)換成CNF公式； d、 計算CNF公式的難度； e、 根據(jù)CNF公式的難度對各測試目標進行排序； f、 判斷所述測試目標集是否為空； g、 當所述測試目標集不為空時，則選取一測試目標，并從所述測試目標集中刪除所選 取的測試目標； h、 根據(jù)所選取的測試目標生成測試用例以形成第一測試用例集； i、 基于SAT對所述第一測試用例集進行約簡以獲取第二測試用例集。
2. 根據(jù)權(quán)利要求1所述的生成測試用例的方法，其特征在于，步驟i包括： Π 、將所選取的測試目標余下的其它各測試目標的陷阱性質(zhì)進行合取轉(zhuǎn)換成CNF公 式； 12、 通過SAT工具判定CNF公式的可滿足性； 13、 當CNF公式不可滿足時，則刪除相應(yīng)的測試目標。
3. 根據(jù)權(quán)利要求1所述的生成測試用例的方法，其特征在于，步驟h與步驟i間還包 括：對所述第一測試用例集進行冗余性檢測。
4. 根據(jù)權(quán)利要求1所述的生成測試用例的方法，其特征在于，步驟e中，根據(jù)CNF公式 的難度進行升序排列，相應(yīng)地，步驟g中，依序選取測試目標。
5. 根據(jù)權(quán)利要求1所述的生成測試用例的方法，其特征在于，步驟b中，通過LTL將各 測試目標表示成陷阱性質(zhì)。
【文檔編號】G06F11/36GK104090837SQ201410273982
【公開日】2014年10月8日 申請日期:2014年6月19日 優(yōu)先權(quán)日:2014年6月19日
【發(fā)明者】陸公正 申請人:蘇州市職業(yè)大學