利用可達性測試法驗證具忙碌等待迴圈之並行程式

Reachability Testing for Concurent Programs with Busy-Waiting Loops

林哲生(Che-Sheng Lin)

指導教授 ： 黃冠寰

國立臺灣師範大學/教育學院/資訊教育學系/碩士(2004年)

摘要

現行軟體架構日趨複雜，並行式系統已然普遍存在各式軟體架構之中；舉凡任何涉及存取共同資料的程式，皆可歸為並行式系統的範疇。
並行式系統最大的特點在於執行上的「不可決定行為」，意即在相同的輸入條件下，程式可能因為相互間各個細部指令執行順序（SYN-sequence）上的不同，而衍生執行結果的差異；這是因為整個系統於運作時，有許多單元或程式會同時去讀取或修改相同的共享資料而產生race condition。
此篇研究主要在於發展一種測試的方法，用以偵測並行式系統執行中可能產生的錯誤。並以現有的Reachability Testing為基礎，改進測試具有迴圈指令程式時的效率性。

關鍵字

可達性測試法 ； 忙碌等待迴圈 ； 並行程式 ； 軟體測試

並列摘要

無資料

並列關鍵字

Reachability Testing ； Busy-Waiting Loops ； Concurrent Program ； Software Testing

參考文獻

Wen C. Pai, Selecting Software Testing Criterion based on Complexity Measurement

IBM System Journal: Software Testing and Verification, Volume 41, Number 1, 2002

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

B. Hailperm, P. Santhanam, "Software debugging, testing, and verification". IBM System Journal: Software Testing and Verification, Volume 41, Number 1, 2002

Silbershcatz, Operating System Concepts 6th Edition