基于符號(hào)執(zhí)行與遺傳算法的單元測(cè)試研究與應(yīng)用.pdf

1、隨著軟件技術(shù)的飛速發(fā)展，軟件的質(zhì)量一直是軟件行業(yè)關(guān)注的主題。軟件測(cè)試作為保證軟件質(zhì)量的重要手段，在軟件開(kāi)發(fā)過(guò)程中發(fā)揮著至關(guān)重要的作用。軟件測(cè)試在軟件開(kāi)發(fā)過(guò)程中占據(jù)著整個(gè)軟件項(xiàng)目超過(guò)一半的開(kāi)銷，近年來(lái)由于測(cè)試的復(fù)雜性和重要性，軟件測(cè)試技術(shù)逐漸成為軟件領(lǐng)域研究的熱點(diǎn)，如何提高軟件測(cè)試的效率和性能對(duì)軟件的質(zhì)量和軟件的開(kāi)發(fā)過(guò)程具有重要的意義。
　　 本文首先介紹了軟件測(cè)試的一些基本方法和自動(dòng)化單元測(cè)試的重要性，并重點(diǎn)描述了運(yùn)用符號(hào)執(zhí)行技

2、術(shù)進(jìn)行參數(shù)單元測(cè)試的實(shí)現(xiàn)過(guò)程。符號(hào)執(zhí)行技術(shù)是一種重要的形式化和自動(dòng)化的分析技術(shù)，在程序自動(dòng)化測(cè)試中具有重要的應(yīng)用。符號(hào)執(zhí)行發(fā)展過(guò)程中針對(duì)其存在的弊端出現(xiàn)了動(dòng)態(tài)符號(hào)執(zhí)行技術(shù)，動(dòng)態(tài)符號(hào)執(zhí)行在對(duì)被測(cè)單元進(jìn)行測(cè)試時(shí)使程序的具體執(zhí)行和符號(hào)執(zhí)行過(guò)程同時(shí)進(jìn)行，通過(guò)與約束求解器進(jìn)行結(jié)合將參數(shù)化單元測(cè)試實(shí)例化并自動(dòng)生成測(cè)試用例。本文中選擇了運(yùn)用動(dòng)態(tài)符號(hào)執(zhí)行技術(shù)實(shí)現(xiàn)的參數(shù)化單元測(cè)試軟件Pex進(jìn)行實(shí)驗(yàn)更好的驗(yàn)證了動(dòng)態(tài)符號(hào)執(zhí)行技術(shù)在自動(dòng)化單元測(cè)試中的優(yōu)勢(shì)。