基于用例規(guī)約與Z語(yǔ)言的測(cè)試用例生成方法研究.pdf

1、軟件測(cè)試是軟件生命周期中一個(gè)重要環(huán)節(jié)，直接關(guān)系到軟件的質(zhì)量高低，充分的測(cè)試是項(xiàng)目成功的重要保障，測(cè)試用例的產(chǎn)生是軟件測(cè)試的關(guān)鍵步驟，因而，軟件測(cè)試的質(zhì)量和效率很大程度上決定予測(cè)試用例的優(yōu)劣；完全由人工生成測(cè)試用例會(huì)耗費(fèi)較大的人力和財(cái)力，并且一般說來項(xiàng)目還有較為嚴(yán)格的時(shí)間限制，因此自動(dòng)生成測(cè)試用例就顯得十分重要，它可以更加準(zhǔn)確且省時(shí)的生成測(cè)試用例；所以，本文開展自動(dòng)生成高質(zhì)量測(cè)試用例的研究對(duì)于軟件測(cè)試具有十分重要的理論意義和應(yīng)用價(jià)值。

2、 本文首先對(duì)國(guó)內(nèi)外在測(cè)試用例自動(dòng)生成領(lǐng)域的研究進(jìn)行了分析，在此基礎(chǔ)上提出了一種自動(dòng)生成高質(zhì)量測(cè)試用例的方法，研究了如何從用例規(guī)格說明來生成Z語(yǔ)言形式規(guī)格說明的方法。為了更為準(zhǔn)確的描述系統(tǒng)需求本文提出了對(duì)用例規(guī)約進(jìn)行精化的方法，精化的用例規(guī)約能夠在一定程度上減少自然語(yǔ)言描述用例帶來的模糊、不精確性?；诰挠美?guī)約，應(yīng)用活動(dòng)圖來描述用例，抽象活動(dòng)圖得到有向圖，通過遍歷有向圖的方式獲得了所有的用例場(chǎng)景，基于這些用例場(chǎng)景來得到z語(yǔ)言的形

3、式規(guī)格說明。本方法在提高生成形式規(guī)格說明的自動(dòng)化程度方面有所創(chuàng)新。為了便于書寫Z規(guī)格說明，本文還編寫了一個(gè)Z規(guī)格說明的編輯及類型檢查工具。 本文研究了基于形式規(guī)格說明來生成有效測(cè)試用例的方法。具體是由形式規(guī)格說明來產(chǎn)生系統(tǒng)的測(cè)試用例集合，對(duì)測(cè)試用例的組織方式進(jìn)行了研究，提出了用例場(chǎng)景全前置條件最大無環(huán)有效覆蓋準(zhǔn)則及其相應(yīng)測(cè)試用例序列的生成算法，使測(cè)試用例對(duì)用例場(chǎng)景的覆蓋率得到提高，在測(cè)試的全面性、有效性方面有所改進(jìn)和創(chuàng)新。為了檢