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

1、軟件測試在軟件開發(fā)過程有著越來越重要的地位，它貫穿于軟件定義與開發(fā)的整個周期即整個軟件開發(fā)過程。而測試用例的生成設(shè)計又是軟件測試過程中的重點和難點所在，它的設(shè)計依據(jù)主要來自于軟件需求和軟件設(shè)計，其中要涉及到測試用例的充分性覆蓋準則問題。本文的研究內(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展)對狀態(tài)圖進行形式化，在此基礎(chǔ)上將UML狀態(tài)圖轉(zhuǎn)換成展平正規(guī)式FREE模型(Flattened Regular Expression)。FREE模型是一個擴展的有限狀態(tài)機，其中的復合遷移對應著UML狀態(tài)圖中的遷移，其

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