Statement-coverage testing for concurrent programs in reachability testing

Gwan Hwan Hwang, Heng Yi Lin, Shao Yan Lin, Che Sheng Lin

研究成果: 雜誌貢獻期刊論文同行評審

6 引文 斯高帕斯(Scopus)


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.

頁(從 - 到)1095-1113
期刊Journal of Information Science and Engineering
出版狀態已發佈 - 2014 7月

ASJC Scopus subject areas

  • 軟體
  • 人機介面
  • 硬體和架構
  • 圖書館與資訊科學
  • 計算機理論與數學


深入研究「Statement-coverage testing for concurrent programs in reachability testing」主題。共同形成了獨特的指紋。