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

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

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

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