Title :
Test case generation for automotive applications
Author :
Tekaya, Manel ; Bennani, Mohamed Taha ; Youssef, Amira
Author_Institution :
Comput. Sci. Dept., Telnet Innovation Labs., Tunis, Tunisia
Abstract :
Safety standards, such as ISO 2626-2, are emphasizing model based testing to argue the compliance between a model and its implementation. Model based testing has defined structural and behavioral coverage criteria to derive test cases. Both model and its relative implementation generate their respective results after processing test cases. If these results are different, a compliance problem will be thrown. TELNET Innovation Labs has modeling control systems in automotive and aerospace solutions with Simulink/Stateflow (SL/SF) and has tested them using a semi-automatic process. We propose a tool to generate test cases from Simulink models using SLDV (Simulink Design Verifier) model checker.We compare our tool performance to the TELNET Innovaltion Labs testing process and two other prominent commercial tools, such as Sal-ATG and Simulink test case generator.
Keywords :
ISO standards; automotive engineering; formal verification; road safety; ISO 2626-2; SL/SF; SLDV; Simulink Design Verifier model checker; Simulink/Stateflow; TELNET Innovation Labs; aerospace solutions; automotive applications; automotive solutions; behavioral coverage criteria; model based testing; modeling control systems; safety standards; semiautomatic process; structural coverage criteria; test case generation; Ad hoc networks; Computational modeling; Mobile computing; Weaving; XML;
Conference_Titel :
Computer Applications & Research (WSCAR), 2014 World Symposium on
Conference_Location :
Sousse
Print_ISBN :
978-1-4799-2805-7
DOI :
10.1109/WSCAR.2014.6916809