基于遺傳算法的MC-DC測(cè)試用例自動(dòng)生成方法研究.pdf

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

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

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