DocumentCode :
264261
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
fYear :
2014
fDate :
18-20 Jan. 2014
Firstpage :
1
Lastpage :
6
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Applications & Research (WSCAR), 2014 World Symposium on
Conference_Location :
Sousse
Print_ISBN :
978-1-4799-2805-7
Type :
conf
DOI :
10.1109/WSCAR.2014.6916809
Filename :
6916809
Link To Document :
بازگشت