Volume 11 Number 10 (Oct. 2016)
Home > Archive > 2016 > Volume 11 Number 10 (Oct. 2016) >
JSW 2016 Vol.11(10): 994-1007 ISSN: 1796-217X
doi: 10.17706/jsw.11.10.994-1007

Concurrent Defects and Test Coverage Criteria

Bidush Kumar Sahoo*, Mitrabinda Ray
Department of Computer Science & Engineering, Siksha ‘O’ Anusandhan University, Bhubaneshwar, Orissa, India.

Abstract—The concurrent programs mostly specify two or more processes that work together in performing a job. Among them each process is a sequential program that implements series of statements. The processes usually work together by conversing using variables or message passing. So, testing a concurrent program is complex for its non determinism behavior. A number of methods such as locking, serialization, time stamp etc. are proposed to deal with non deterministic behavior. The paper deals with several coverage criteria for testing concurrent programs. Various coverage criteria such as interleaving, synchronization, ordered sequence, data flow, condition based etc are discussed with their capability in detecting bugs caused by synchronization. It discusses the expected bugs in the different criteria. Through discussion, it provides the way to cover all possible expected bugs.

Index Terms—Coverage criteria, interleaving, synchronization, data flow, condition coverage, serialization, timestamp.

[PDF]

Cite: Bidush Kumar Sahoo, Mitrabinda Ray, "Concurrent Defects and Test Coverage Criteria," Journal of Software vol. 11, no. 10, pp. 994-1007, 2016.

General Information

ISSN: 1796-217X (Online)
Frequency: Monthly (2006-2019); Bimonthly (Since 2020)
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, Google Scholar, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Dec 06, 2019 News!

    Vol 14, No 1- Vol 14, No 4 has been indexed by EI (Inspec)   [Click]

  • Jun 22, 2020 News!

    Papers published in JSW Vol 14, No 1- Vol 15 No 4 have been indexed by DBLP     [Click]

  • Sep 30, 2020 News!

    The papers published in Vol 15, No 6 have all received dois from Crossref   [Click]

  • Aug 01, 2018 News!

    [CFP] 2020 the annual meeting of JSW Editorial Board, ICCSM 2020, will be held in Rome, Italy, July 17-19, 2020   [Click]

  • Sep 30, 2020 News!

    Vol 15, No 6 has been published with online version     [Click]