邏輯變異測試的生成和約簡.pdf

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

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

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