A model-free and state-cover testing scheme for semaphore-based and shared-memory concurrent programs

Gwan Hwan Hwang, Che Sheng Lin, Teng Shuo Lee, Chi Wu-Lee

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

2 引文 斯高帕斯(Scopus)

摘要

In this paper, we present a new framework for performing dynamic testing of semaphore-based and shared-memory concurrent programs. The proposed scheme only has to analyse the synchronization sequences (SYN-sequences) that are collected during the dynamic testing of the concurrent program - static analysis of the syntax and semantics of the target concurrent program is unnecessary. A model checker is not needed to explore the feasible interleavings of the execution of the concurrent program. If the number of feasible SYN-sequences of the tested concurrent program is finite, our scheme can perform dynamic testing of all the feasible SYN-sequences. If the tested concurrent program has an infinite number of SYN-sequences, state-cover testing of the target program can be performed (if the execution states of the target concurrent program are finite). The implementation and experimental results obtained with real codes and some benchmark programs demonstrate the feasibility of the proposed scheme.

原文英語
頁(從 - 到)706-737
頁數32
期刊Software Testing Verification and Reliability
24
發行號8
DOIs
出版狀態已發佈 - 2014 十二月 1

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

指紋 深入研究「A model-free and state-cover testing scheme for semaphore-based and shared-memory concurrent programs」主題。共同形成了獨特的指紋。

引用此