Reference : Simulink Fault Localization: an Iterative Statistical Debugging Approach
Reports : Other
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/22196
Simulink Fault Localization: an Iterative Statistical Debugging Approach
English
Liu, Bing [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Lucia, Lucia [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Nejati, Shiva mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Briand, Lionel mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > > ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
2015
35
978-2-87971-146-1
TR-SnT-2015-8
[en] Fault Localisation ; Simulink models ; test oracle
[en] Debugging Simulink models presents a significant challenge in the embedded industry. In this work, we propose SimFL, a fault localization approach for Simulink models by combining statistical debugging and dynamic model slicing. Simulink models, being visual and hierarchical, have multiple outputs at different hierarchy levels. Given a set of outputs to observe for localizing faults, we generate test execution slices, for each test case and output, of the Simulink model. In order to further improve fault localization accuracy, we propose iSimFL, an iterative fault localization algorithm. At each iteration, iSimFL increases the set of observable outputs by including outputs at lower hierarchy levels, thus increasing the test oracle cost but offsetting it with significantly more precise fault localization. We utilize a heuristic stopping criterion to avoid unnecessary test oracle extension. We evaluate our work on three industrial Simulink models from Delphi Automotive. Our results show that, on average, SimFL ranks faulty blocks in the top 8.9% in the list of suspicious blocks. Further, we show that iSimFL significantly improves this percentage down to 4.4% by requiring engineers to observe only an average of five additional outputs at lower hierarchy levels on top of high-level model outputs.
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Fonds National de la Recherche - FNR
http://hdl.handle.net/10993/22196
FnR ; FNR8003491 > Bing Liu > AUTODEBUGSLM > Automated Debugging and Fault Localization of MATLAB/Simulink Models > 01/03/2014 > 14/07/2016 > 2014

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
simfl_TR.pdfAuthor preprint1.64 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.