請用此 Handle URI 來引用此文件:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/25441
標題: | 使用LCS計數的錯誤更正回歸測試 Using LCS techniques for the regression testing of bug-fixes |
作者: | Che-Jung Wu 吳哲榮 |
指導教授: | 王凡 |
關鍵字: | 軟體測試, bug-fix,test plan,regression testing,model testing,software testing,aritificial intelligence, |
出版年 : | 2011 |
學位: | 碩士 |
摘要: | 軟體規模愈趨龐大的現在,軟體測試的工作已變得越來越複雜且龐大;而模型驗證也無法完全滿足軟體自動驗證的需求。目前已有使用小量的人工智慧技術在上述的兩種技術之中,但亦無法滿足軟體驗證中各式各樣的挑戰。
在本篇論文中提出了一個模型測試的架構包含了集成測試與模型驗證和自動推演的演算法兩部分。這個架構以一個有限自動機來代表軟體,以及一組測試用例和使用者可自訂的優先排序準則,使用者可透過修改優先排序準則來實現各種人工智慧。 這個架構的核心是以一個模擬器來模擬程式,並具有在程式的各個步驟依要求前進或後退的功能,我們會展示在此架構中如何透過優先排序準則來達成錯誤回報的回歸化測試。回歸化測試的關鍵在於利用優先排序準則來選定測試用例,而優先排序準則可依據測試用例的相似度與上一次執行的測試用例所走路徑來選擇下一個測試用例,並能依照執行的結果一邊自我調整其準則。我們還會展示使用LCS(Longest Common Sequence)的技術來比對測試用例之間各種細部變數的相似程度。最後的實驗結果也證明了此種技術的成果。 |
URI: | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/25441 |
全文授權: | 未授權 |
顯示於系所單位: | 電機工程學系 |
文件中的檔案:
檔案 | 大小 | 格式 | |
---|---|---|---|
ntu-100-1.pdf 目前未授權公開取用 | 1.14 MB | Adobe PDF |
系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。