Statement-Coverage Testing for Concurrent Programs in Reachability Testing

In this paper we propose a scheme for reachability testing to achieve statement coverage in the dynamic testing of concurrent programs. Previous studies on reachability testing have only enumerated the feasible interleavings of a concurrent program for a given input. The proposed scheme derives inputs from SYN-sequences obtained in reachability testing and uses these inputs to perform reachability testing multiple times in order to achieve statement-coverage testing for a concurrent program. We prove formally that the proposed method can achieve statement-coverage testing if all the path conditions derived from SYN-sequences can be solved and the concurrent program contains no dead code.

並列關鍵字

concurrent programs ； nondeterministic behavior ； concurrent testing ； SYNsequence, reachability testing ； symbolic execution

被引用紀錄

Lin, C. S. (2004). 利用可達性測試法驗證具忙碌等待迴圈之並行程式 [master's thesis, National Taiwan Normal University]. Airiti Library. https://www.airitilibrary.com/Article/Detail?DocID=U0021-2004200710585065

Li, Y. Y. (2009). 對動態測試產生的同步序列之正規驗證的研究 [master's thesis, National Taiwan Normal University]. Airiti Library. https://www.airitilibrary.com/Article/Detail?DocID=U0021-1610201315161750

徐啟洋（2010）。針對Java monitor的動態測試〔碩士論文，國立臺灣師範大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0021-1610201315195983

Lee, T. S. (2010). 基於使用信號機及共享記憶體的並行軟體測試 [master's thesis, National Taiwan Normal University]. Airiti Library. https://www.airitilibrary.com/Article/Detail?DocID=U0021-1610201315193598

林劭彥（2010）。對於非決定性並行軟體的語句覆蓋測試〔碩士論文，國立臺灣師範大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0021-1610201315233881

國際替代計量

Statement-Coverage Testing for Concurrent Programs in Reachability Testing

全文下載

主題瀏覽