基于符號執(zhí)行與遺傳算法的單元測試研究與應用.pdf

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

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