Please use this identifier to cite or link to this item: http://rportal.lib.ntnu.edu.tw:80/handle/20.500.12235/106820
Full metadata record
DC FieldValueLanguage
dc.contributor黃冠寰zh_TW
dc.contributorGwan-Hwan Hwangen_US
dc.contributor.author李登碩zh_TW
dc.contributor.authorTeng-Shuo Leeen_US
dc.date.accessioned2019-09-05T11:36:58Z-
dc.date.available2010-7-15
dc.date.available2019-09-05T11:36:58Z-
dc.date.issued2010
dc.identifierGN0697470779
dc.identifier.urihttp://etds.lib.ntnu.edu.tw/cgi-bin/gs32/gsweb.cgi?o=dstdcdr&s=%22http://etds.lib.ntnu.edu.tw/cgi-bin/gs32/gsweb.cgi?o=dstdcdr&s=id=%22GN0697470779%22.&%22.id.&
dc.identifier.urihttp://rportal.lib.ntnu.edu.tw:80/handle/20.500.12235/106820-
dc.description.abstract並行程式在現代的計算中已經變得非常地普遍。然而,因為並行程式的非確定性行為,在並行程式中的錯誤通常都很難被偵測到。在電腦科學中信號機是其中一個主要的同步機制,在多元程式規劃中,它通常被用來控制共享資料的存取。對信號機的誤用是一個非常嚴重的問題,因為這可能導致程式發生死結或是造成一些對共享資料的違規存取。 在這篇論文中,我們會描述如何將動態敏捷測試應用到測試使用信號機的並行程式。我們提出了一些可以對信號機的運算做前綴重播(prefix-based replay)和當死結發生時能夠記錄下程式狀態的協定。我們也針對使用信號機的程式定義了新的同步序列格式。然後,我們提出了一個演算法用來過濾掉被競爭分析(race analyzer)產生的不可行的競爭變異(race variant)。最後,我們發展了一個壓縮的功能來解決被重複的事件所引起的狀態空間爆炸(state space explosion)問題。如此一來,我們可以成功地針對使用信號機和共享記憶體的並行程式做狀態全覆(state-cover)的動態測試,並且可以產生使用信號機以及共享記憶體的並行程式的所有狀態以及所有在程式中的死結。zh_TW
dc.description.abstractConcurrent program is becoming commonplace in modern computing. However, the bugs in concurrent program are usually difficult to be detected because of the non-deterministic behavior of concurrent programs. Semaphore is one of the major synchronization mechanisms in computer science. It often used to control the access of shared data in a multiprogramming environment. The misuse of semaphore is a very serious problem, because this may cause the program deadlock or make some inappropriate access of shared data. In this thesis, we describe how to apply dynamic effective testing to semaphore-based concurrent programs. We propose some protocols that can perform prefix-based replay on semaphore operations and record the program status when the deadlock happened. We also define a novel format for the SYN-sequence of semaphore-based program. Then, we have an algorithm to filter out the infeasible race variants generated by race analyzer in reachability testing. Last, we develop a compression function to deal with the state space explosion problem induced by the reiterative events. Thus, we can successfully perform state-cover testing for semaphore-based and shared memory concurrent programs and find out all the states of the concurrent programs which contain shared semaphores and shared memories and all the deadlocks in the programs.en_US
dc.description.sponsorship資訊工程學系zh_TW
dc.language英文
dc.subject並行程式zh_TW
dc.subject信號機zh_TW
dc.subject共享記憶體zh_TW
dc.subject非確定性行為zh_TW
dc.subject並行測試zh_TW
dc.subject同步序列zh_TW
dc.subject可達性測試zh_TW
dc.subject動態敏捷測試zh_TW
dc.subjectConcurrent programen_US
dc.subjectSemaphoreen_US
dc.subjectShared-memoryen_US
dc.subjectNondeterministic behavioren_US
dc.subjectConcurrent testingen_US
dc.subjectSYN-sequenceen_US
dc.subjectReachability testingen_US
dc.subjectDynamic Effective Testingen_US
dc.title基於使用信號機及共享記憶體的並行軟體測試zh_TW
dc.titleConcurrent Testing of Semaphore-based and Shared-memory Softwareen_US
Appears in Collections:學位論文

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.