基于環(huán)形FSCS的MT研究.pdf

1、隨著現(xiàn)代軟件規(guī)模的日益膨脹和復(fù)雜程度的日益增長，軟件測試在科學控制成本、保證軟件可靠性等等方面都起著越來越重要的作用，因而受到人們廣泛的重視。然而，在軟件測試中，一直存在著測試用例集的可靠性問題和oracle問題。
　　 隨機測試在輸入域中隨機產(chǎn)生測試用例，是選擇測試用例最簡單的方法，因其簡單有效而被廣泛使用。但是，由于其固有的選擇用例的盲目性，隨機測試的效率不高。近年來，T．Y．Chen提出的自適應(yīng)隨機測試在很大程度提高了隨機

2、測試的有效性。FSCS是最重要和最經(jīng)典的自適應(yīng)隨機測試算法。但是，F(xiàn)SCS的邊界效應(yīng)影響了它的有效性，尤其是在高維輸入域的情況下。為此，我們提出了環(huán)形FSCS算法，徹底解決了邊界效應(yīng)，從而提高了測試的有效性。
　　 所謂oracle問題就是指，在軟件測試中，測試人員往往無法判定程序輸出結(jié)果的正確性。為解決這個問題，T．Y．Chen提出了蛻變測試。蛻變測試通過檢查一系列測試用例的輸出是否滿足蛻變關(guān)系來測試程序。原始用例和蛻變關(guān)系是

3、影響蛻變測試效果的兩個非常重要的因素。我們使用環(huán)形FSCS作為原始用例生成策略，為蛻變測試篩選代表性強的測試用例，并通過測試工具(AMT)提供組合蛻變關(guān)系的手段，取得了更好的效果。
　　 盡管蛻變測試簡單實用，但其成功使用仍然離不開合適的工具軟件。為此，我們設(shè)計并實現(xiàn)了一個蛻變測試工具AMT(Auto-MT)，為進行蛻變測試提供了方便，提高了測試效率。AMT基于自適應(yīng)隨機測試產(chǎn)生原始用例，提供對復(fù)合蛻變關(guān)系的支持，并且是一個開放