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

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

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

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

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