以變體測試的資訊來協助邏輯判斷式的偵錯

Abstract

在軟體發展的過程中，測試與除錯是最吃力的。因此，發展有效的測試與除錯方法去 增加軟體的可用性是非常重要的。在除錯的過程中，大多數的氣力都花費在錯誤的定 位上；然而，除錯的效能可以藉由有效的利用測試時所產生的資訊來提升。變體分析 是一種測量外部輸入測試資料的適當性、以錯誤為主的測試技術。在本論文中，我們 使用了以變體技術為主所產生的資訊來幫助我們做錯誤的定位。同時我們主要針對的 是一個程式中的複雜邏輯表示式所包含的單一關係運算元錯誤。為此，我們提出了一 組經驗法則來幫助我們達到定位與預測錯誤的目的。在我們的研究中，我們檢驗了四 種變體運算了；我們只考慮這些變體運算子的理由是因為在提出經驗法則時，這四種 變體運算子對經驗法則可用性的干擾會比其它變體運算子來的少。我們把去評估這些 經驗法則在真實情況下的可用性所要的實驗與提出其它型態的經驗法則當做未來努力 的方向。