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

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

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

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