利用可達性測試法驗證具忙碌等待迴圈之並行程式
| dc.contributor | 黃冠寰 | zh_TW |
| dc.contributor | Gwan-Hwan Hwang | en_US |
| dc.contributor.author | 林哲生 | zh_TW |
| dc.contributor.author | Che-Sheng Lin | en_US |
| dc.date.accessioned | 2019-08-29T07:46:14Z | |
| dc.date.available | 2005-6-30 | |
| dc.date.available | 2019-08-29T07:46:14Z | |
| dc.date.issued | 2005 | |
| dc.description.abstract | 現行軟體架構日趨複雜，並行式系統已然普遍存在各式軟體架構之中；舉凡任何涉及存取共同資料的程式，皆可歸為並行式系統的範疇。 並行式系統最大的特點在於執行上的「不可決定行為」，意即在相同的輸入條件下，程式可能因為相互間各個細部指令執行順序（SYN-sequence）上的不同，而衍生執行結果的差異；這是因為整個系統於運作時，有許多單元或程式會同時去讀取或修改相同的共享資料而產生race condition。 此篇研究主要在於發展一種測試的方法，用以偵測並行式系統執行中可能產生的錯誤。並以現有的Reachability Testing為基礎，改進測試具有迴圈指令程式時的效率性。 | zh_TW |
| dc.description.sponsorship | 資訊教育研究所 | zh_TW |
| dc.identifier | G0069208032 | |
| dc.identifier.uri | http://etds.lib.ntnu.edu.tw/cgi-bin/gs32/gsweb.cgi?o=dstdcdr&s=id=%22G0069208032%22.&%22.id.& | |
| dc.identifier.uri | http://rportal.lib.ntnu.edu.tw:80/handle/20.500.12235/92693 | |
| dc.language | 英文 | |
| dc.subject | 可達性測試法 | zh_TW |
| dc.subject | 忙碌等待迴圈 | zh_TW |
| dc.subject | 並行程式 | zh_TW |
| dc.subject | 軟體測試 | zh_TW |
| dc.subject | Reachability Testing | en_US |
| dc.subject | Busy-Waiting Loops | en_US |
| dc.subject | Concurrent Program | en_US |
| dc.subject | Software Testing | en_US |
| dc.title | 利用可達性測試法驗證具忙碌等待迴圈之並行程式 | zh_TW |
| dc.title | Reachability Testing for Concurent Programs with Busy-Waiting Loops | en_US |
Files
Original bundle
1 - 5 of 5