| Reference : Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior |
| Scientific journals : Article | |||
| Engineering, computing & technology : Computer science | |||
| Computational Sciences | |||
| http://hdl.handle.net/10993/35029 | |||
| Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior | |
| English | |
| 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) > >] | |
| Bruckmann, Thomas [Delphi Automotive Systems, Luxembourg] | |
| Sep-2019 | |
| IEEE Transactions on Software Engineering | |
| Institute of Electrical and Electronics Engineers | |
| 45 | |
| 9 | |
| 919-944 | |
| Yes (verified by ORBilu) | |
| International | |
| 0098-5589 | |
| New York | |
| NY | |
| [en] Simulink models ; search-based software testing ; test generation ; test prioritization ; test oracle ; output diversity ; signal features ; structural coverage | |
| [en] All engineering disciplines are founded and rely on models, although they may differ on purposes and usages of modeling. Among the different disciplines, the engineering of Cyber Physical Systems (CPSs) particularly relies on models with dynamic behaviors (i.e., models that exhibit time-varying changes). The Simulink modeling platform greatly appeals to CPS engineers since it captures dynamic behavior models. It further provides seamless support for two indispensable engineering activities: (1) automated verification of abstract system models via model simulation, and (2) automated generation of system implementation via code generation.
We identify three main challenges in the verification and testing of Simulink models with dynamic behavior, namely incompatibility, oracle and scalability challenges. We propose a Simulink testing approach that attempts to address these challenges. Specifically, we propose a black-box test generation approach, implemented based on meta-heuristic search, that aims to maximize diversity in test output signals generated by Simulink models. We argue that in the CPS domain test oracles are likely to be manual and therefore the main cost driver of testing. In order to lower the cost of manual test oracles, we propose a test prioritization algorithm to automatically rank test cases generated by our test generation algorithm according to their likelihood to reveal a fault. Engineers can then select, according to their test budget, a subset of the most highly ranked test cases. To demonstrate scalability, we evaluate our testing approach using industrial Simulink models. Our evaluation shows that our test generation and test prioritization approaches outperform baseline techniques that rely on random testing and structural coverage. | |
| http://hdl.handle.net/10993/35029 | |
| 10.1109/TSE.2018.2811489 | |
| H2020 ; 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems |
| File(s) associated to this reference | ||||||||||||||
|
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.
