Evaluation of Model-Based Testing for Embedded Systems based on the Example of the Safety-Critical Vehicle Functions

Abstract

Along with the announcement of vehicle safety standards, e.g. ISO 26262, ESP and AUTOSAR, embedded systems are used widely to realize the safety function in the automotive domain. Due to the increased number of sensors involved in the system, one important problem to be solved is to obtain enough appropriate test cases to ensure that the implemented system functions are satisfying the software requirements specification. This thesis describes the systematic literature review performed on Model-Based Testing (MBT) approaches that are available in the automotive domain, mainly focusing on finding the MBT approaches that create models directly from software requirements specification. Furthermore, by applying selected MBT approaches in two conducted running examples of safety-critical functions in the automotive domain, the study shows the advantages and disadvantages of using such approaches. The first running example is the Seat-Belt Reminder System (SBRS) that represents discrete signal processing embedded systems, and the second one is a type of continuous signal processing embedded system called Collision Detection System (CDS).