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

2、ng Language，統(tǒng)一建模語(yǔ)言)狀態(tài)圖規(guī)格說(shuō)明的測(cè)試用例生成技術(shù)。由于UML是一種半形式化語(yǔ)言，沒(méi)有精確的語(yǔ)義描述，首先使用OOZS(Object-Oriented Z Speciflcation，Z語(yǔ)言的面向?qū)ο髷U(kuò)展)對(duì)狀態(tài)圖進(jìn)行形式化，在此基礎(chǔ)上將UML狀態(tài)圖轉(zhuǎn)換成展平正規(guī)式FREE模型(Flattened Regular Expression)。FREE模型是一個(gè)擴(kuò)展的有限狀態(tài)機(jī)，其中的復(fù)合遷移對(duì)應(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)來(lái)，指導(dǎo)測(cè)試用例的生成。在基于UML狀態(tài)圖的測(cè)試充分性準(zhǔn)則方面，本文沿用了A.J.Offutt提出的四種經(jīng)典測(cè)試充分性準(zhǔn)則，即狀態(tài)覆蓋準(zhǔn)則、遷移覆蓋準(zhǔn)則、遷移對(duì)覆蓋準(zhǔn)則和完全判定覆蓋準(zhǔn)則。貫穿全文