研究生: |
林哲生 Che-Sheng Lin |
---|---|
論文名稱: |
利用可達性測試法驗證具忙碌等待迴圈之並行程式 Reachability Testing for Concurent Programs with Busy-Waiting Loops |
指導教授: |
黃冠寰
Hwang, Gwan-Hwan |
學位類別: |
碩士 Master |
系所名稱: |
資訊教育研究所 Graduate Institute of Information and Computer Education |
論文出版年: | 2005 |
畢業學年度: | 93 |
語文別: | 英文 |
中文關鍵詞: | 可達性測試法 、忙碌等待迴圈 、並行程式 、軟體測試 |
英文關鍵詞: | Reachability Testing, Busy-Waiting Loops, Concurrent Program, Software Testing |
論文種類: | 學術論文 |
相關次數: | 點閱:168 下載:6 |
分享至: |
查詢本校圖書館目錄 查詢臺灣博碩士論文知識加值系統 勘誤回報 |
現行軟體架構日趨複雜,並行式系統已然普遍存在各式軟體架構之中;舉凡任何涉及存取共同資料的程式,皆可歸為並行式系統的範疇。
並行式系統最大的特點在於執行上的「不可決定行為」,意即在相同的輸入條件下,程式可能因為相互間各個細部指令執行順序(SYN-sequence)上的不同,而衍生執行結果的差異;這是因為整個系統於運作時,有許多單元或程式會同時去讀取或修改相同的共享資料而產生race condition。
此篇研究主要在於發展一種測試的方法,用以偵測並行式系統執行中可能產生的錯誤。並以現有的Reachability Testing為基礎,改進測試具有迴圈指令程式時的效率性。
[1]
IBM System Journal: Software Testing and Verification, Volume 41, Number 1, 2002
[2]
E. W. Dijkstra, "Notes on Structured Programming," Structured Programming, O.-J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, Editors, Academic Press, London (1972), pp. 1-82
[3]
B. Hailperm, P. Santhanam, "Software debugging, testing, and verification". IBM System Journal: Software Testing and Verification, Volume 41, Number 1, 2002
[4]
Wen C. Pai, Selecting Software Testing Criterion based on Complexity Measurement
[5]
Silbershcatz, Operating System Concepts 6th Edition
[6]
Gwan-Hwan Hwang, Master Thesis, "A Systematic Parallel Testing Method for Concurrent Programs"
[7]
Leslie Lamport, "Time, Clocks, and the Ordering of Events in a Distributed System", Communication of the ACM, Volume 21, Number 7, pp.95-114
[8]
Gwan-Hwan Hwang , Sheng-Jen Chang, and Huey-Der Chu, "Technology for Testing Nondeterministic Client/Server Database Applications". IEEE Transaction on Software Engineering, Volume 30, Number 1, pp. 59-77, January 2004.