基于遺傳算法的MC-DC測試用例自動生成方法研究.pdf

1、在信息科技快速發(fā)展的時代，越來越多的軟件產(chǎn)品開始進(jìn)入到各行各業(yè)，如何保證軟件的質(zhì)量和可靠性成為了人們關(guān)注的一個焦點，軟件測試是重要手段之一。軟件測試是一個繁雜的過程，需要耗費大量的人力、物力和時間，它的成本大約占了整個軟件開發(fā)成本的百分之四十到五十。因此，保證軟件開發(fā)質(zhì)量、降低軟件開發(fā)成本的重要手段之一是提高軟件測試的自動化程度，其中的關(guān)鍵問題是提高生成軟件測試用例的自動化程度。論文選題來源于國防基礎(chǔ)科研計劃重點項目，研究綜合模塊化航電

2、系統(tǒng)應(yīng)用軟件單元測試與集成測試的測試驗證策略及規(guī)范，本文主要研究單元測試用例的自動生成方法。
　　論文簡要介紹了軟件測試的研究意義和國內(nèi)外研究現(xiàn)狀，介紹了軟件測試的基本理論、測試用例自動生成的常用技術(shù)、遺傳算法和模擬退火算法的基本相關(guān)理論，并介紹了本文采用的與航空DO-178B標(biāo)準(zhǔn)一致的修改條件/判定覆蓋準(zhǔn)則（Modified Condition/Decision Coverage，MC/DC），分析了應(yīng)用模擬退火遺傳算法進(jìn)行測試

3、用例自動生成的可行性。
　　在此基礎(chǔ)上，本文詳細(xì)介紹了一種基于模擬退火遺傳算法的MC/DC測試用例自動生成方法的設(shè)計及其工具的實現(xiàn)。該方法通過對源代碼進(jìn)行靜態(tài)分析，獲得程序的流程圖，并依此生成各個判定的MC/DC最小測試用例集，從中選取合適的判定分支點構(gòu)成路徑，以覆蓋該條路徑作為模擬退火遺傳算法實際運行的搜索目標(biāo)，從而自動生成實現(xiàn)符合MC/DC覆蓋準(zhǔn)則的測試用例?？紤]到課題的涉密，選用與本課題無關(guān)的三角形類別判定程序驗證本文設(shè)計的