基于時(shí)序圖模型的軟件測(cè)試用例自動(dòng)生成的研究.pdf

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

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

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