面向Ada程序的測(cè)試用例自動(dòng)生成的研究與實(shí)現(xiàn).pdf

1、隨著信息技術(shù)的不斷發(fā)展，軟件產(chǎn)品在我們的日常生活和工作中應(yīng)用得越來(lái)越廣泛，規(guī)模越來(lái)越大，其復(fù)雜程序也在不斷提高，使得軟件錯(cuò)誤也越加隱蔽，由軟件錯(cuò)誤所引起的后果也就越加的嚴(yán)重。因此，軟件的質(zhì)量問(wèn)題已日益成為軟件技術(shù)領(lǐng)域研究的重點(diǎn)和熱點(diǎn)問(wèn)題，提高軟件的質(zhì)量及可靠性已成為軟件工程領(lǐng)域當(dāng)前的重要任務(wù)。軟件測(cè)試是軟件開發(fā)過(guò)程中極其重要的一環(huán)，是保證軟件質(zhì)量、提高軟件可靠性的關(guān)鍵手段。然而，軟件測(cè)試又是一項(xiàng)費(fèi)時(shí)、費(fèi)力且單調(diào)乏味的活動(dòng)，測(cè)試人員需要設(shè)

2、計(jì)、執(zhí)行、分析大量的測(cè)試用例，這不僅要花費(fèi)大量時(shí)間，而且有許多隱含的軟件錯(cuò)誤有可能不能通過(guò)人工手段檢測(cè)出來(lái)，這就給軟件的質(zhì)量帶來(lái)了隱患。而軟件測(cè)試的自動(dòng)化可以有效地解決這些問(wèn)題。因此，近年來(lái)，軟件自動(dòng)化技術(shù)正成為人們關(guān)注的熱點(diǎn)課題，其中，測(cè)試用例的自動(dòng)生成又是軟件自動(dòng)化技術(shù)研究的關(guān)鍵問(wèn)題。由于Ada語(yǔ)言的清晰性、可靠性、有效性和可維護(hù)性，使其在國(guó)防、航天等重要領(lǐng)域的系統(tǒng)開發(fā)中得到廣泛應(yīng)用。而在這些重要領(lǐng)域，所開發(fā)的系統(tǒng)的可靠性是至關(guān)重要

3、的問(wèn)題，否則將會(huì)造成巨大的損失和嚴(yán)重的后果。 本研究介紹了軟件測(cè)試及軟件測(cè)試自動(dòng)化的基本理論，以及面向功能和面向路徑的兩類測(cè)試用例自動(dòng)生成技術(shù)，并分析比較了各種方法的優(yōu)缺點(diǎn)，確定了本文使用的測(cè)試方法和技術(shù)。闡述了遺傳算法的基本原理和主要操作?；谶z傳算法實(shí)現(xiàn)了面向Ada程序的路徑覆蓋測(cè)試用例自動(dòng)生成系統(tǒng)，詳細(xì)介紹了系統(tǒng)的結(jié)構(gòu)、運(yùn)行步驟以及遺傳算法包的具體實(shí)現(xiàn)，選取一段Ada程序?qū)ο到y(tǒng)進(jìn)行了實(shí)驗(yàn)，生成了測(cè)試數(shù)據(jù)，說(shuō)明系統(tǒng)可以有效地