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

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

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