基于Z規(guī)格說(shuō)明的測(cè)試用例自動(dòng)生成和評(píng)估.pdf

1、軟件測(cè)試是軟件質(zhì)量保證的重要手段,并且代表了規(guī)格說(shuō)明、設(shè)計(jì)和編碼的最終評(píng)審.測(cè)試用例的生成是軟件測(cè)試的關(guān)鍵和難點(diǎn).目前,在手工生成測(cè)試用例的情況下,要求軟件測(cè)試人員具有一定的經(jīng)驗(yàn)和較高的專業(yè)水平,并且測(cè)試人員很難檢測(cè)到不熟悉的錯(cuò)誤,軟件質(zhì)量存在不穩(wěn)定性.因此,有必要開發(fā)測(cè)試工具,尤其是支持測(cè)試用例自動(dòng)生成的工具,以提高測(cè)試效率.測(cè)試過(guò)程自動(dòng)化的關(guān)鍵是測(cè)試用例的自動(dòng)生成.測(cè)試用例自動(dòng)生成減少測(cè)試人員的勞動(dòng),提高測(cè)試效率,更好地保證了軟件的

2、質(zhì)量.在自動(dòng)生成測(cè)試用例時(shí),測(cè)試方法和測(cè)試充分性標(biāo)準(zhǔn)的選擇將直接影響測(cè)試用例的生成.選擇測(cè)試充分性準(zhǔn)則對(duì)軟件的測(cè)試是至關(guān)重要的,影響著測(cè)試的開銷及通過(guò)測(cè)試的軟件質(zhì)量.形式方法是基于數(shù)學(xué)方法來(lái)描述目標(biāo)軟件系統(tǒng)性質(zhì)的軟件開發(fā)方法,它為系統(tǒng)的說(shuō)明、開發(fā)和驗(yàn)證提供了一個(gè)框架,形式化的規(guī)格說(shuō)明有利于測(cè)試的自動(dòng)化.Z語(yǔ)言是目前比較流行、使用較為成功而有效的語(yǔ)言,它是基于模型的形式化規(guī)格語(yǔ)言,具有精確、簡(jiǎn)潔、無(wú)二義性的特點(diǎn),有利于開發(fā)高質(zhì)量的程序.本

3、文在Paul Ammann和Jeff Offutt提出用范疇劃分方法產(chǎn)生測(cè)試框架的基礎(chǔ)上,探討了從Z規(guī)格說(shuō)明推導(dǎo)出測(cè)試用例的過(guò)程、方法和技術(shù).本文的主要工作是:按照范疇劃分測(cè)試中的三個(gè)測(cè)試充分性準(zhǔn)則All-Combination、Each-Choice-Used和Base-Choice-Coverage先產(chǎn)生測(cè)試框架.接下來(lái),為實(shí)例化測(cè)試框架引入了線性規(guī)劃模型,把測(cè)試框架線性化為一些線性不等式組,利用這些不等式組構(gòu)造線性規(guī)劃模型,并利用

4、線性規(guī)劃程序的編程接口LINDOAPI解出不等式組,實(shí)例化測(cè)試框架.為了構(gòu)造線性規(guī)劃模型,本文對(duì)Paul Ammann和Jeff Offutt提出的產(chǎn)生測(cè)試框架的步驟進(jìn)行了改進(jìn),增加了測(cè)試框架線性化的步驟.本文還較好地解決了實(shí)例化測(cè)試框架時(shí),判斷測(cè)試框架是否可行的問(wèn)題.本文的另一個(gè)工作是對(duì)按All-Combination、Each-Choice-Used和Base-Choice-Coverage三個(gè)測(cè)試充分性標(biāo)準(zhǔn)產(chǎn)生的測(cè)試用例在揭錯(cuò)能力