Paper published in a journal (Scientific congresses, symposiums and conference proceedings)
Automated Test Suite Generation for Time-Continuous Simulink Models
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel et al.
2016In Proceedings of the 38th International Conference on Software Engineering, p. 595-606
Peer reviewed
 

Files


Full Text
paper.pdf
Author postprint (1.24 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)
Bruckmann, thomas;  Delphi Automotive Systems
External co-authors :
no
Language :
English
Title :
Automated Test Suite Generation for Time-Continuous Simulink Models
Publication date :
2016
Event name :
38th International Conference on Software Engineering (ICSE 2016)
Event place :
Austin, United States
Event date :
from 14-05-2016 to 22-05-2016
Journal title :
Proceedings of the 38th International Conference on Software Engineering
Publisher :
ACM
Pages :
595-606
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 06 January 2016

Statistics


Number of views
278 (39 by Unilu)
Number of downloads
1391 (40 by Unilu)

Scopus citations®
 
68
Scopus citations®
without self-citations
56
OpenCitations
 
51
WoS citations
 
45

Bibliography


Similar publications



Contact ORBilu