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

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

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

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