基于狀態(tài)圖的集成測試研究.pdf

1、軟件測試是當(dāng)今計算機(jī)科學(xué)與工程中起著至關(guān)重要作用的領(lǐng)域之一。近年來，隨著軟件測試?yán)碚摵图夹g(shù)的不斷發(fā)展，它已成為軟件工程領(lǐng)域內(nèi)保證軟件質(zhì)量的必不可少的關(guān)鍵過程。 狀態(tài)圖是在為一個復(fù)雜反應(yīng)系統(tǒng)的控制需求建模時提出的，Harel在狀態(tài)機(jī)的基礎(chǔ)上，增加了通信、并發(fā)和嵌套機(jī)制，提出了適合于描述復(fù)雜系統(tǒng)的狀態(tài)圖，很多面向?qū)ο蟮姆治鲈O(shè)計工具都采用了狀態(tài)圖的概念，例如統(tǒng)一建模語言(UML)。使用狀態(tài)圖為系統(tǒng)建模可以在分析設(shè)計階段避免狀態(tài)空間爆炸

2、問題，但是在集成測試階段卻仍然存在狀態(tài)空間爆炸問題，此外，測試用例是否可執(zhí)行也一直是測試階段面臨的困難之一。 本文在現(xiàn)有測試?yán)碚摪l(fā)展的基礎(chǔ)上，通過狀態(tài)約束機(jī)制和數(shù)據(jù)流、控制流結(jié)合生成測試序列的方法，在一定程度上緩解了這兩個問題。文章首先介紹了UML集成測試目前的研究現(xiàn)狀，給出了現(xiàn)有的一些方法對這兩個問題的解決途徑；然后定義了狀態(tài)約束機(jī)制，在構(gòu)造集成狀態(tài)機(jī)時，狀態(tài)約束將有效的避免狀態(tài)空間的爆炸，同時，本章給出了引起狀態(tài)約束的幾類同