资源论文Leveraging Qualitative Reasoning to Improve SFL

Leveraging Qualitative Reasoning to Improve SFL

2019-11-05 | |  83 |   37 |   0
Abstract Spectrum-based fault localization (SFL) correlates a system’s components with observed failures. By reasoning about coverage, SFL allows for a lightweight way of pinpointing faults. This abstraction comes at the cost of missing certain faults, such as errors of omission, and failing to provide enough contextual information to explain why components are considered suspicious. We propose an approach, named Q-SFL, that leverages qualitative reasoning to augment the information made available to SFL techniques. It qualitatively partitions system components, and treats each qualitative state as a new SFL component to be used when diagnosing. Our empirical evaluation shows that augmenting SFL with qualitative components can improve diagnostic accuracy in 54% of the considered real-world subjects. In Memoriam: Danny Bobrow.

上一篇:Incrementally Grounding Expressions for Spatial Relations between Objects Tiago Mota1 and Mohan Sridharan2

下一篇:Two Approaches to Ontology Aggregation Based on Axiom Weakening

用户评价
全部评价

热门资源

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...