Publication: A novel test coverage metric for concurrently-accessed software components (A work-in-progress paper)
Program
KU Authors
Co-Authors
N/A
Editor & Affiliation
Compiler & Affiliation
Translator
Other Contributor
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
Computer science, Software engineering
Citation
Has Part
Source
Formal Approaches To Software Testing
Book Series Title
Edition
DOI
10.1007/11759744_5
item.page.datauri
Link
Rights
N/A