基于用例驅(qū)動(dòng)的軟件測(cè)試關(guān)鍵技術(shù)研究與應(yīng)用.pdf

1、軟件測(cè)試是軟件開(kāi)發(fā)過(guò)程中保證軟件質(zhì)量、提高軟件可靠性、降低軟件生產(chǎn)成本的關(guān)鍵技術(shù)手段。測(cè)試用例的生成是軟件測(cè)試的一個(gè)關(guān)鍵環(huán)節(jié)，測(cè)試用例直接影響了軟件測(cè)試的效率和覆蓋率，可以說(shuō)測(cè)試用例生成技術(shù)，已經(jīng)成為了軟件測(cè)試研究中的一個(gè)研究問(wèn)題。 UML是一種定義良好、易于表達(dá)、功能強(qiáng)大且普遍適用的統(tǒng)一建模語(yǔ)言，已經(jīng)得到了非常廣泛的應(yīng)用。用例技術(shù)是UML中用于獲取和表示需求的一種技術(shù)，而測(cè)試用例的生成又與軟件需求有著密切的聯(lián)系，因此，UML也

2、為軟件測(cè)試的研究提供了一個(gè)新的方向。本文研究的核心問(wèn)題就是在用例驅(qū)動(dòng)下的軟件測(cè)試的相關(guān)技術(shù)和方法。 本文在分析、研究軟件測(cè)試的相關(guān)理論和技術(shù)、UML圖形表示與特征等內(nèi)容的基礎(chǔ)上，通過(guò)對(duì)用例、uML順序圖等內(nèi)容的分析與研究，提出了一種基于用例驅(qū)動(dòng)的測(cè)試用例生成策略，其核心思想是通過(guò)用例來(lái)描述系統(tǒng)需求，并對(duì)其進(jìn)行契約化描述，以消除自然語(yǔ)言表示的不確定性；結(jié)合uML順序圖生成測(cè)試場(chǎng)景；根據(jù)測(cè)試場(chǎng)景生成測(cè)試用例。針對(duì)這個(gè)策略，本文還詳細(xì)

3、論述了基于用例驅(qū)動(dòng)的測(cè)試充分性、測(cè)試覆蓋率、測(cè)試覆蓋準(zhǔn)則以及測(cè)試用例的可追蹤性等相關(guān)技術(shù)問(wèn)題。此外，對(duì)順序圖的形式化定義以及依據(jù)這種形式化定義實(shí)現(xiàn)測(cè)試用例自動(dòng)生成的相關(guān)技術(shù)問(wèn)題，也進(jìn)行了較為深入的探討。 測(cè)試用例管理也是有效地實(shí)施軟件測(cè)試的一個(gè)重要技術(shù)手段，因?yàn)橛行У臏y(cè)試用例管理，有助于測(cè)試過(guò)程的跟蹤、測(cè)試覆蓋率的計(jì)算以及測(cè)試充分性的評(píng)估等技術(shù)手段的實(shí)現(xiàn)，它也是實(shí)現(xiàn)測(cè)試自動(dòng)化的必要技術(shù)環(huán)節(jié)。為此，本文以軟件項(xiàng)目管理系統(tǒng)的開(kāi)發(fā)為例