Testing Automotive Systems Modeled by Finite State Machines
The use of micro controllers in automotive systems renders the coordination of about 150 actors (70 electric motors, 15 magnetic valves and 50 relays). The resulting complexity of those systems as well as the requested zero defects demands time consuming testing. This work describes a method of performing test-scenarios, starting from a zero defect running specification, modeled by finite state machines. The test-scenarios are intended to determine whether a given system meets all specification requirements. First, a kind of structured modelling reactive automotive systems is deduced. Next, some important test selection methods, developed for the case the specification is given in the form of a finite state machine, are considered. Finally, a procedure and method for performing minimized complete test-scenarios for automotive systems are presented.