基于UML狀態(tài)圖的軟件測試用例生成方法研究.pdf

1、軟件測試在軟件開發(fā)過程有著越來越重要的地位，它貫穿于軟件定義與開發(fā)的整個(gè)周期即整個(gè)軟件開發(fā)過程。而測試用例的生成設(shè)計(jì)又是軟件測試過程中的重點(diǎn)和難點(diǎn)所在，它的設(shè)計(jì)依據(jù)主要來自于軟件需求和軟件設(shè)計(jì)，其中要涉及到測試用例的充分性覆蓋準(zhǔn)則問題。本文的研究內(nèi)容屬于基于規(guī)格說明的軟件測試的范疇。 基于規(guī)格說明的測試用例生成技術(shù)是一種新興的測試用例生成技術(shù)，有很多優(yōu)于以前的測試技術(shù)的方面。本文主要研究了基于UML(Unified Modeli

2、ng Language，統(tǒng)一建模語言)狀態(tài)圖規(guī)格說明的測試用例生成技術(shù)。由于UML是一種半形式化語言，沒有精確的語義描述，首先使用OOZS(Object-Oriented Z Speciflcation，Z語言的面向?qū)ο髷U(kuò)展)對狀態(tài)圖進(jìn)行形式化，在此基礎(chǔ)上將UML狀態(tài)圖轉(zhuǎn)換成展平正規(guī)式FREE模型(Flattened Regular Expression)。FREE模型是一個(gè)擴(kuò)展的有限狀態(tài)機(jī)，其中的復(fù)合遷移對應(yīng)著UML狀態(tài)圖中的遷移，其

3、中的狀態(tài)配置是UML狀態(tài)圖中狀態(tài)的抽象，因此FREE模型就是一個(gè)UML狀態(tài)圖。 圖論(Graph Theory)在經(jīng)歷了200多年的發(fā)展以后，已經(jīng)積累了大量成熟理論。由于UML狀態(tài)圖可以看作圖論意義上的圖，因此，本文將圖論中的理論引入進(jìn)來，指導(dǎo)測試用例的生成。在基于UML狀態(tài)圖的測試充分性準(zhǔn)則方面，本文沿用了A.J.Offutt提出的四種經(jīng)典測試充分性準(zhǔn)則，即狀態(tài)覆蓋準(zhǔn)則、遷移覆蓋準(zhǔn)則、遷移對覆蓋準(zhǔn)則和完全判定覆蓋準(zhǔn)則。貫穿全文