Name
Abstract | ||
|---|---|---|
Error Propagation Analysis (EPA) is a technique forunderstanding how errors affect a program's execution and resultin program failures. For this purpose, EPA usually compares thetraces of a fault-free (golden) run with those from a faulty run ofthe program. This makes existing EPA approaches brittle for multithreadedprograms, which do not typically have a deterministicgolden run. In this paper, we study the use of likely invariantsgenerated by automated approaches as alternatives for goldenrun based EPA in multithreaded programs. We present InvariantPropagation Analysis (IPA), an approach and a framework forautomatically deriving invariants for multithreaded programs, and using the invariants for EPA. We evaluate the invariantsderived by IPA in terms of their coverage for different faulttypes across six representative programs through fault injectionexperiments. We find that stable invariants can be inferred in allsix programs, although their coverage of faults depends on theapplication and the fault type. |
Year | DOI | Venue |
|---|---|---|
2017 | 10.1109/ICST.2017.24 | 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) |
Keywords | Field | DocType |
Error Propagation Analysis,Fault Injection,Concurrency,Multithreading | Multithreading,Propagation of uncertainty,Computer science,Software bug,Robustness (computer science),Multi threaded,Real-time computing,Software,Invariant (mathematics),Reliability engineering | Conference |
ISSN | ISBN | Citations |
2381-2834 | 978-1-5090-6032-0 | 1 |
PageRank | References | Authors |
0.36 | 26 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Abraham Chan | 1 | 1 | 2.05 |
| Stefan Winter | 2 | 68 | 9.04 |
| Habib Saissi | 3 | 8 | 4.23 |
| Karthik Pattabiraman | 4 | 46 | 10.05 |
| Neeraj Suri | 5 | 10 | 4.94 |