使用LCS計數的錯誤更正回歸測試

Abstract

軟體規模愈趨龐大的現在，軟體測試的工作已變得越來越複雜且龐大；而模型驗證也無法完全滿足軟體自動驗證的需求。目前已有使用小量的人工智慧技術在上述的兩種技術之中，但亦無法滿足軟體驗證中各式各樣的挑戰。 在本篇論文中提出了一個模型測試的架構包含了集成測試與模型驗證和自動推演的演算法兩部分。這個架構以一個有限自動機來代表軟體，以及一組測試用例和使用者可自訂的優先排序準則，使用者可透過修改優先排序準則來實現各種人工智慧。 這個架構的核心是以一個模擬器來模擬程式，並具有在程式的各個步驟依要求前進或後退的功能，我們會展示在此架構中如何透過優先排序準則來達成錯誤回報的回歸化測試。回歸化測試的關鍵在於利用優先排序準則來選定測試用例，而優先排序準則可依據測試用例的相似度與上一次執行的測試用例所走路徑來選擇下一個測試用例，並能依照執行的結果一邊自我調整其準則。我們還會展示使用LCS(Longest Common Sequence)的技術來比對測試用例之間各種細部變數的相似程度。最後的實驗結果也證明了此種技術的成果。