邏輯變異測(cè)試的生成和約簡(jiǎn).pdf

1、軟件測(cè)試是保證軟件質(zhì)量和可靠性的重要手段之一。邏輯變異測(cè)試是一種基于故障的測(cè)試，目的是檢測(cè)邏輯表達(dá)式的程序?qū)崿F(xiàn)是否滿足邏輯規(guī)格。在邏輯變異測(cè)試中，測(cè)試用例集的設(shè)計(jì)、運(yùn)行和維護(hù)將耗費(fèi)大量的資源。因此人們一直致力于研究邏輯變異測(cè)試的用例生成和約簡(jiǎn)技術(shù)，期望提高測(cè)試效率，降低測(cè)試成本。
　　 本文從測(cè)試用例生成與約簡(jiǎn)兩方面對(duì)邏輯變異測(cè)試進(jìn)行了研究。在測(cè)試用例生成方面，為提高通常循環(huán)賦值方法生成的效率，本文提出了一種新的邏輯變異測(cè)試用例

2、生成方法。該方法從語(yǔ)法樹中發(fā)生變異的葉結(jié)點(diǎn)處回溯，將檢測(cè)條件分解成子表達(dá)式，并分別對(duì)各子表達(dá)式進(jìn)行循環(huán)從而生成其可滿足賦值，最終將上述賦值組合形成測(cè)試用例。在測(cè)試用例約簡(jiǎn)方面，為研究各種啟發(fā)式算法及需求集約簡(jiǎn)的性能，提出了改進(jìn)的需求集約簡(jiǎn)算法RR，并將RR與各種啟發(fā)式算法組合形成了新的約簡(jiǎn)策略。本文對(duì)這些約簡(jiǎn)方法與策略進(jìn)行了大量實(shí)驗(yàn)分析，比較了各種方法的約簡(jiǎn)效果。
　　 論文的主要成果表現(xiàn)在以下幾個(gè)方面：首先在用例生成方面，提出

3、了一種新的邏輯變異測(cè)試用例生成方法。實(shí)驗(yàn)數(shù)據(jù)表明，該方法有效地減少了測(cè)試用例生成時(shí)所需的循環(huán)賦值次數(shù)；測(cè)試用例生成時(shí)間的縮減與循環(huán)次數(shù)的減少呈近似線性關(guān)系；該方法對(duì)用例生成時(shí)循環(huán)次數(shù)的優(yōu)化隨表達(dá)式長(zhǎng)度增加而愈發(fā)明顯；相對(duì)單變異類型，該方法對(duì)多變異類型的時(shí)間優(yōu)化更明顯。其次在用例集約簡(jiǎn)方面，提出了一種改進(jìn)了的需求集約簡(jiǎn)方法RR，并將RR作為各種啟發(fā)式約簡(jiǎn)方法的預(yù)處理以形成新的約簡(jiǎn)方法。在大量實(shí)驗(yàn)基礎(chǔ)上分析了各種約簡(jiǎn)方法與策略的性能，給出了