We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
From Predicate Testing to Identify Fault Location for Safety-Critical Software.
- Authors
Yong Wang; Qiansong Wang; Guifu Lu; Zhiqiu Huang; Bingwu Fang; Yong Li; Weiwei Li
- Abstract
Statistical fault localization is one of the essential tasks of program debugging, and it has shown that the evaluation history of predicates may disclose important clues about the root cause of failures. However, especially for safety-critical software, there exists evaluation bias using same granularity to measure simple predicates and complex compound predicates. Intuitively, we should use fine-grain predicates to evaluate the suspiciousness of complex compound predicates and reduce the evaluation bias. In this paper, we propose a novel predicate fault localization technique from predicate testing to identify fault location. Based on the predicate fault model, we first generate constraint sets for each predicate and then calculate the suspiciousness of predicates by evaluating their constraint sets. Finally, we sort the suspicious predicates by their suspiciousness. Our preliminary results show that our approach can significantly improve fault predicate absolute ranking.
- Subjects
DEBUGGING; COMPUTER software testing; ERROR messages (Computer science); DEFECT tracking (Computer software development); COMPUTER software correctness
- Publication
International Journal of Performability Engineering, 2018, Vol 14, Issue 9, p2066
- ISSN
0973-1318
- Publication type
Article
- DOI
10.23940/ijpe.18.09.p15.20662075