Publication: A novel test coverage metric for concurrently-accessed software components (A work-in-progress paper)
Program
KU 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-Verlag Berlin
Keywords
Computer science, Software engineering
Citation
Has Part
Source
Formal Approaches To Software Testing
Book Series Title
Edition
DOI
item.page.datauri
Link
Rights
N/A