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

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

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

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