Publication: A novel test coverage metric for concurrently-accessed software components (A work-in-progress paper)
Loading...
Program
Organization Authors
Co-Authors
N/A
Date
Language
Embargo Status
N/A
Journal Title
Journal ISSN
Volume Title
Alternative Title
Abstract
We propose a novel, practical coverage metric called "location pairs" (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors that lead to atomicity or refinement violations. We describe a software tool for measuring LP coverage and outline an inexpensive application of predicate abstraction and model checking for ruling out infeasible coverage targets.
Source
Publisher
Springer Nature
Subject
Citation
item.page.haspartof
Source
Formal Approaches To Software Testing
item.page.ispartofseries
item.page.edition
DOI
10.1007/11759744_5
item.page.datauri
item.page.link
Rights
N/A
Copyrights Note
Rights and licensing
N/A