規(guī)約和切片技術(shù)在組件測(cè)試用例生成中的研究.pdf

1、隨著組件技術(shù)在軟件開發(fā)中日益廣泛的應(yīng)用，對(duì)組件系統(tǒng)質(zhì)量的要求也不斷提高。因此保證組件系統(tǒng)可靠性的軟件測(cè)試技術(shù)，也面臨著不斷革新的需要。由于組件自身的一些特點(diǎn)，使得一些傳統(tǒng)的軟件測(cè)試?yán)碚摵图夹g(shù)，對(duì)基于組件技術(shù)構(gòu)造的軟件系統(tǒng)并不完全適用。研究適合組件系統(tǒng)特點(diǎn)的軟件測(cè)試技術(shù)，已經(jīng)成為當(dāng)前亟待解決的重要問題。 在軟件的測(cè)試中，測(cè)試用例的設(shè)計(jì)與生成，是軟件測(cè)試的重點(diǎn)和難點(diǎn)所在，其本質(zhì)是如何依據(jù)準(zhǔn)確的軟件規(guī)格說明，來設(shè)計(jì)和生成有效的測(cè)試用例

2、集合。目前，測(cè)試用例大多是由軟件測(cè)試人員手動(dòng)編寫，測(cè)試用例的質(zhì)量完全取決于測(cè)試人員的水平。這就很難保證軟件測(cè)試的質(zhì)量，進(jìn)而影響到整個(gè)軟件產(chǎn)品的質(zhì)量。因此，研究組件系統(tǒng)測(cè)試用例的自動(dòng)生成，具有重要的現(xiàn)實(shí)意義。 而基于規(guī)約的測(cè)試用例生成，和其它方法相比，具有更加規(guī)范和自動(dòng)化程度更高等方面的優(yōu)勢(shì)。UML活動(dòng)圖作為規(guī)約的一種，具有可視化和形式化兩方面的特點(diǎn)，因此，更適合于組件系統(tǒng)測(cè)試用例的生成。本文通過對(duì)切片技術(shù)和UML活動(dòng)圖的分析，結(jié)

3、合組件系統(tǒng)自身的特點(diǎn)，提出把切片技術(shù)和UML活動(dòng)圖結(jié)合生成測(cè)試用例的方法。本文的研究工作主要在以下幾個(gè)方面： (1)根據(jù)組件系統(tǒng)自身的特點(diǎn)，結(jié)合UML活動(dòng)圖，針對(duì)組件系統(tǒng)，提出了一種層次依賴描述模型，它通過對(duì)方法依賴、組件依賴以及系統(tǒng)依賴的分層描述，可以更清晰的闡述組件系統(tǒng)之間的依賴關(guān)系。 (2)由于測(cè)試用例自動(dòng)化生成的一個(gè)重要步驟是對(duì)組件系統(tǒng)進(jìn)行形式化建模，針對(duì)UML活動(dòng)圖是一種半形式化的描述方式，本文擴(kuò)充了活動(dòng)圖的描