Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation. (23rd June 2014)
- Record Type:
- Journal Article
- Title:
- Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation. (23rd June 2014)
- Main Title:
- Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation
- Authors:
- Hong, Shin
Staats, Matt
Ahn, Jaemin
Kim, Moonzoo
Rothermel, Gregg
Baudry, Benoit
Orso, Alessandro - Abstract:
- <abstract abstract-type="main" id="stvr1539-abs-0001"> <title>Summary</title> <p id="stvr1539-para-0001">Testing multithreaded programs is inherently challenging, as programs can exhibit numerous thread interactions. To help engineers test these programs cost‐effectively, researchers have proposed concurrency coverage metrics. These metrics are intended to be used as predictors for testing effectiveness and provide targets for test generation. The effectiveness of these metrics, however, remains largely unexamined. In this work, we explore the impact of concurrency coverage metrics on testing effectiveness and examine the relationship between coverage, fault detection, and test suite size. We study eight existing concurrency coverage metrics and six new metrics formed by combining complementary metrics. Our results indicate that the metrics are moderate to strong predictors of testing effectiveness and effective at providing test generation targets. Nevertheless, metric effectiveness varies across programs, and even combinations of complementary metrics do not consistently provide effective testing. These results highlight the need for additional work on concurrency coverage metrics. Copyright © 2014 John Wiley & Sons, Ltd.</p> </abstract>
- Is Part Of:
- Software testing, verification & reliability. Volume 25:Number 4(2015:Oct.)
- Journal:
- Software testing, verification & reliability
- Issue:
- Volume 25:Number 4(2015:Oct.)
- Issue Display:
- Volume 25, Issue 4 (2015)
- Year:
- 2015
- Volume:
- 25
- Issue:
- 4
- Issue Sort Value:
- 2015-0025-0004-0000
- Page Start:
- 334
- Page End:
- 370
- Publication Date:
- 2014-06-23
- Subjects:
- Computer software -- Testing -- Periodicals
Computer software -- Verification -- Periodicals
Computer software -- Reliability -- Periodicals
005.14 - Journal URLs:
- http://onlinelibrary.wiley.com/ ↗
- DOI:
- 10.1002/stvr.1539 ↗
- Languages:
- English
- ISSNs:
- 0960-0833
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - 8321.457500
British Library DSC - BLDSS-3PM
British Library STI - ELD Digital store - Ingest File:
- 3471.xml