Abstract | ||
---|---|---|
The high abstraction level of Spectrum-based Fault Localization (SFL) reasoning, on the one hand, offers the advantage of a model-free approach to diagnosis, while, on the other, reduces the inherently limited testability of many hardware and software systems. Thus, along with substantial complexity gains, SFL exhibits limited diagnostic performance, compared to Model-Based Diagnosis. This paper describes two algorithms (Lion and Tiger) that exploit low cost heuristics to determine the best location to insert additional test oracles (monitors, probes, invariants) so as to increase the observability within the systems. Experiments show that even simple algorithms can considerably improve SFL's diagnostic accuracy. |
Year | DOI | Venue |
---|---|---|
2014 | 10.3233/978-1-61499-419-0-1053 | Frontiers in Artificial Intelligence and Applications |
Field | DocType | Volume |
Testability,Mathematical optimization,Observability,Computer science,Exploit,Software system,Heuristics,Invariant (mathematics),SIMPLE algorithm,Abstraction layer | Conference | 263 |
ISSN | Citations | PageRank |
0922-6389 | 1 | 0.36 |
References | Authors | |
0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Claudio Landi | 1 | 1 | 0.36 |
Arjan J. C. van Gemund | 2 | 1 | 0.36 |
Marina Zanella | 3 | 232 | 26.69 |