Localizing Multiple Faults in Simulink Models

作者: Bing Liu , Lucia , Shiva Nejati , Lionel Briand , Thomas Bruckmann

DOI: 10.1109/SANER.2016.38

关键词: Artificial intelligenceSelection (genetic algorithm)DebuggingComputer scienceDecision treeMachine learningFocus (optics)Cluster analysisFault (power engineering)

摘要: As Simulink is a widely used language in the embedded industry, there growing need to support debugging activities for models. In this work, we propose an approach localize multiple faults Our builds on statistical and iterative. At each iteration, identify resolve one fault re-test models focus localizing that might have been masked before. We use decision trees cluster together failures satisfy similar (logical) conditions model blocks or inputs. then present two alternative selection criteria choose more likely yield best localization results among clusters produced by our trees. Engineers are expected inspect ranked list obtained from selected faults. evaluate 240 multi-fault three different industrial subjects. compare with baselines: (1) Statistical without clustering, (2) State-of-the-art clustering-based debugging. show significantly reduces number of engineers order all faults, when compared baselines. Furthermore, approach, less performance degradation than baselines increasing underlying

参考文章(39)
Richard A Olshen, Charles J Stone, Leo Breiman, Jerome H Friedman, Classification and regression trees ,(1983)
Robert J. Grissom, John J. Kim, Effect sizes for research: A broad practical approach. Lawrence Erlbaum Associates Publishers. ,(2005)
Alex Groce, Daniel Kroening, Flavio Lerda, Understanding Counterexamples with explain Computer Aided Verification. pp. 453- 456 ,(2004) , 10.1007/978-3-540-27813-9_35
Frank Wilcoxon, Individual Comparisons by Ranking Methods Springer Series in Statistics. ,vol. 1, pp. 196- 202 ,(1992) , 10.1007/978-1-4612-4380-9_16
Adepu Sridhar, D. Srinivasulu, Slicing MATLAB Simulink/Stateflow Models ICACNI. pp. 737- 743 ,(2014) , 10.1007/978-81-322-1665-0_74
Lucia, David Lo, Xin Xia, Fusion fault localizers automated software engineering. pp. 127- 138 ,(2014) , 10.1145/2642937.2642983
Holger Cleve, Andreas Zeller, Locating causes of program failures international conference on software engineering. pp. 342- 351 ,(2005) , 10.1145/1062455.1062522
Andreas Thums, Jochen Quante, Reengineering embedded automotive software international conference on software maintenance. pp. 493- 502 ,(2012) , 10.1109/ICSM.2012.6405312
Friedrich Steimann, Marcus Frenkel, Rui Abreu, Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators Proceedings of the 2013 International Symposium on Software Testing and Analysis. pp. 314- 324 ,(2013) , 10.1145/2483760.2483767
Friedrich Steimann, Marcus Frenkel, Improving Coverage-Based Localization of Multiple Faults Using Algorithms from Integer Linear Programming international symposium on software reliability engineering. pp. 121- 130 ,(2012) , 10.1109/ISSRE.2012.28