Publication: A novel test coverage metric for concurrently-accessed software components (A work-in-progress paper)
Program
KU Authors
Co-Authors
N/A
Publication Date
Language
Embargo Status
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
Subject
Computer science, Software engineering
Citation
Has Part
Source
Formal Approaches To Software Testing