軟件測試案例自動生成系統(tǒng)的研究與優(yōu)化.pdf

1、隨著軟件技術(shù)的不斷發(fā)展，軟件測試技術(shù)對于軟件開發(fā)者來說越來越重要，一個軟件的好壞直接影響到企業(yè)或者個人的相應(yīng)方面的信息安全，目前軟件測試主要是為軟件代碼程序生成一些特殊的值，如各種臨界點的值，來執(zhí)行軟件代碼去測試代碼程序是否可以按照需求說明書中所寫的功能一樣正常運行，但目前的軟件測試技術(shù)，如單元測試，很多都需要測試人員自己去分析代碼，自己寫出測試驅(qū)動程序去對軟件的各個模塊進行測試，這就需要花費很大的人力和物力去寫這些驅(qū)動程序來測試。

2、r>　　符號執(zhí)行是一種典型的用于軟件測試的測試輸入數(shù)據(jù)生成技術(shù)，即在給定的時間里去搜尋盡可能多的不同的程序路徑，對每一個路徑，產(chǎn)生一組測試案例，它可以發(fā)現(xiàn)包括斷言違反、未捕獲異常、安全漏洞和內(nèi)存崩潰等錯誤。符號執(zhí)行技術(shù)還處于學(xué)術(shù)研究階段，目前已有的符號執(zhí)行工具都是一些研究機構(gòu)或者大學(xué)設(shè)計出來用于研究使用，符號執(zhí)行作為一種可以自動生成測試案例的軟件測試技術(shù)，是一種很好的軟件測試技術(shù)，具有很好的發(fā)展前景，在不久的將來很可能成為軟件測試的主流

3、技術(shù)，所以對符號執(zhí)行的研究有很好的研究價值。
　　但目前已經(jīng)存在符號執(zhí)行測試工具都只能適用于PC機上，對于其他平臺符號執(zhí)行技術(shù)還沒有很好的得到應(yīng)用，對其應(yīng)用于其他平臺上的研究具有很好的研究價值；本文主要研究符號執(zhí)行技術(shù)在嵌入式平臺的應(yīng)用，設(shè)計出可以應(yīng)用于嵌入式平臺上的符號執(zhí)行工具，本文首先對符號執(zhí)行的研究背景及現(xiàn)狀，符號執(zhí)行的理論知識、工具及符號執(zhí)行目前所面臨的問題進行介紹，接著設(shè)計適用于嵌入式符號執(zhí)行工具，然后通過一些程序去測試