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

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

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

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