Other (Reports)
Automated Test Suite Generation for Time-Continuous Simulink Models
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel
2015
 

Files


Full Text
TR.pdf
Author preprint (3.09 MB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Abstract :
[en] All engineering disciplines are founded and rely on models, al- though they may differ on purposes and usages of modeling. Inter- disciplinary domains such as Cyber Physical Systems (CPSs) seek approaches that incorporate different modeling needs and usages. Specifically, the Simulink modeling platform greatly appeals to CPS engineers due to its seamless support for simulation and code generation. In this paper, we propose a test generation approach that is applicable to Simulink models built for both purposes of simulation and code generation. We define test inputs and outputs as signals that capture evolution of values over time. Our test gener- ation approach is implemented as a meta-heuristic search algorithm and is guided to produce test outputs with diverse shapes according to our proposed notion of diversity. Our evaluation, performed on industrial and public domain models, demonstrates that: (1) In con- trast to the existing tools for testing Simulink models that are only applicable to a subset of code generation models, our approach is applicable to both code generation and simulation Simulink mod- els. (2) Our new notion of diversity for output signals outperforms random baseline testing and an existing notion of signal diversity in revealing faults in Simulink models. (3) The fault revealing ability of our test generation approach outperforms that of the Simulink Design Verifier, the only testing toolbox for Simulink.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
Matinnejad, Reza ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Nejati, Shiva ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Briand, Lionel ;  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)
Language :
English
Title :
Automated Test Suite Generation for Time-Continuous Simulink Models
Publication date :
2015
ISBN/EAN :
978-2-87971-145-4
Report number :
TR-SnT-2015-7
Funders :
FNR - Fonds National de la Recherche [LU]
Available on ORBilu :
since 15 September 2015

Statistics


Number of views
246 (27 by Unilu)
Number of downloads
923 (29 by Unilu)

Bibliography


Similar publications



Contact ORBilu