基于時序圖模型的軟件測試用例自動生成的研究.pdf

1、隨著計算機(jī)與互聯(lián)網(wǎng)技術(shù)的迅猛發(fā)展，計算機(jī)已經(jīng)被應(yīng)用到了社會中的各個行業(yè)當(dāng)中，而軟件作為計算機(jī)系統(tǒng)中一個非常重要的部分，軟件質(zhì)量受到前所未有的重視。當(dāng)前，軟件系統(tǒng)的規(guī)模的日益擴(kuò)大、軟件的開發(fā)技術(shù)日趨復(fù)雜，軟件的質(zhì)量也越來越受到人們的關(guān)注。軟件測試是保證軟件質(zhì)量的一項重要的手段，而進(jìn)行軟件測試的關(guān)鍵是設(shè)計并生成測試用例。由于目前軟件系統(tǒng)的測試主要是由人工進(jìn)行的，需要耗費(fèi)巨大的人力和成本，因此，實現(xiàn)軟件測試的自動化是降低測試成本、提高軟件質(zhì)量

2、的重要手段之一，而自動生成測試用例成為了軟件自動化測試過程的重中之重。
　　本文利用統(tǒng)一建模語言，結(jié)合仿生學(xué)與人工智能方面的算法，通過改進(jìn)UML模型和蟻群算法，提出了一種軟件測試用例的自動生成方法。本文的主要工作如下:
　　(1)對UML時序圖模型進(jìn)行了研究，給出了時序圖及碎片組合的形式化定義，消除了時序圖的模糊性和一致性，并增強(qiáng)了時序圖的可讀性。
　　(2)探索以蟻群算法的相結(jié)合為目的，將時序圖轉(zhuǎn)換為順序有向圖，改變

3、以往通過生成場景樹來遍歷路徑。同時給出需要用到的數(shù)據(jù)結(jié)構(gòu)和相應(yīng)的轉(zhuǎn)換過程，并對轉(zhuǎn)換后的有向圖進(jìn)行了規(guī)范命名。
　　(3)探索蟻群算法的改進(jìn)，給出了相應(yīng)的改進(jìn)算法設(shè)計方案，對于存在循環(huán)結(jié)構(gòu)的路徑進(jìn)行了分類處理，使得應(yīng)用改進(jìn)的蟻群算法遍歷有向圖時，將得到所有可能存在的路徑。
　　(4)將有向圖與改進(jìn)的蟻群算法結(jié)合，應(yīng)用在基于時序圖模型來生成測試用例的過程中，并根據(jù)該方法設(shè)計并實現(xiàn)了一個原型，來自動生成測試用例，以此使測試用例的編