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

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

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

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