安全苛求軟件的自動(dòng)化測(cè)試技術(shù)研究.pdf

1、安全苛求軟件通常指應(yīng)用在醫(yī)療、軌道交通、航空航天等場(chǎng)合的軟件，往往復(fù)雜度很高而且有著嚴(yán)格的質(zhì)量要求，它們一旦發(fā)生故障則可能會(huì)導(dǎo)致災(zāi)難性后果，因此必須經(jīng)過大量充分地測(cè)試才能避免事故的發(fā)生。但手工測(cè)試是一項(xiàng)耗費(fèi)大量人力財(cái)力的工程，因此，對(duì)安全苛求系統(tǒng)的自動(dòng)化測(cè)試技術(shù)的研究有著重要的研究意義和工程價(jià)值。
　　 與常規(guī)軟件不同，安全苛求軟件不僅系統(tǒng)龐大，而且對(duì)安全性和可靠性有著特殊的要求，因此，恰當(dāng)?shù)淖詣?dòng)化測(cè)試方法不僅能夠提高測(cè)試效率，

2、還可以驗(yàn)證軟件的安全性。但是由于安全苛求軟件的復(fù)雜性，目前很多技術(shù)都不適用于此類軟件，而針對(duì)安全苛求軟件的一些研究由于其適用的復(fù)雜性也并未得到廣泛的接受和工程化。所以，本文針對(duì)安全苛求軟件的測(cè)試用例自動(dòng)生成技術(shù)和用例自動(dòng)執(zhí)行技術(shù)展開了研究。
　　 本文首先分析了當(dāng)前流行的軟件自動(dòng)化測(cè)試技術(shù)，把此項(xiàng)技術(shù)分成兩個(gè)部分分別研究，即:測(cè)試用例自動(dòng)生成和測(cè)試用例自動(dòng)執(zhí)行。文章中總結(jié)了各個(gè)方法的特點(diǎn)和不足，并根據(jù)SpecTRM工具的啟發(fā)選擇

3、研究自定義語法規(guī)則自動(dòng)生成測(cè)試用例技術(shù)，然后用數(shù)據(jù)驅(qū)動(dòng)的自動(dòng)化測(cè)試框架完成整個(gè)自動(dòng)化測(cè)試流程。
　　 其次，本文提出了類似于中文自然語言文法的需求規(guī)格書改寫規(guī)則，底層是狀態(tài)機(jī)模型。相比其它形式化方法，本文涉及的語法規(guī)則簡(jiǎn)單易用，而且不需要嚴(yán)格的數(shù)學(xué)知識(shí)。針對(duì)安全苛求軟件的安全性和可靠性的特殊要求，本文提出了運(yùn)用狀態(tài)突變自動(dòng)生成測(cè)試用例故障邏輯的方法，以盡可能覆蓋到軟件的缺陷，保證其安全性;針對(duì)安全苛求軟件復(fù)雜性要求，本文采用數(shù)據(jù)

4、驅(qū)動(dòng)的自動(dòng)化測(cè)試框架，在自動(dòng)生成測(cè)試邏輯之后，再進(jìn)行數(shù)據(jù)配置，實(shí)現(xiàn)測(cè)試用例的自動(dòng)化生成和執(zhí)行。
　　 最后，本文以CBTC系統(tǒng)的ATS子系統(tǒng)為研究對(duì)象，分析了其功能特性，開發(fā)出了一套不僅可以自動(dòng)化測(cè)試ATS程序代碼，還可以自動(dòng)化測(cè)試其人機(jī)交互界面的自動(dòng)化測(cè)試軟件，對(duì)ATS的功能性測(cè)試能達(dá)到90％以上的覆蓋率，其故障測(cè)試用例也很好地測(cè)試了ATS軟件的安全性。此外，本文還開發(fā)了一套更便于觀察測(cè)試結(jié)果的三維顯示與交互系統(tǒng)，具有很高的沉