This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Testing Automotive Systems Modeled by Finite State Machines
Annotation ability available
Sector:
Language:
English
Abstract
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.
Recommended Content
| Journal Article | Small High-Efficiency Vane Pump Based on Vane Pump Theory |
| Ground Vehicle Standard | Engine Cooling Fan Structural Analysis |
| Technical Paper | Engine Application of a Battery Voltage-Driven DI Fuel Injection System |
Authors
Topic
Citation
Eckrich, M., Kempf, G., and Rumpf, O., "Testing Automotive Systems Modeled by Finite State Machines," SAE Technical Paper 940136, 1994, https://doi.org/10.4271/940136.Also In
References
- DeMarco T. Structured Analysis and System Specification Englewood Cliffs, NJ Prentice-Hall 1978
- Harel D. “Statecharts: A visual formalism for complex systems,” Sci. Comput. Program. 8 231 274 1987
- Harel D. Lachover H. Naamad A. Pnueli A. Politi M. Sherman R. Shtul-Tauring A. Trakhtenbrot M. “STATEMATE: A working environment for the development of complex reactive systems,” IEEE Trans. Software Eng. 16 4 April 1990
- Chow T. S. “Testing design modeled by finite state machines,” IEEE Trans. Software Eng. 4 178 186 Mar. 1978
- Natio S. Tsunoyama M. “Fault detection for sequential machines by transition-tours,” Proc. FTCS (Fault Tolerant Comput. Syst.) 238 243 1981
- Gonenc G. “A method for the design of fault-detection experiments,” IEEE Trans. Comput. C-19 551 558 June 1970
- Sabnani K. K. Dahbura A. T. “A protocol testing procedure,” Comput. Networks and ISDN Syst. 15 4 285 297 1988
- Fujiwara S. Bochmann G. v. Khendek F. Amalou M. Ghedamsi A. “Test selection based on finite state models,” IEEE Trans. Software Eng. 17 6 591 603 June 1991