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

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

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

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