Test case generation for automotive applications

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.