Fault Models for Embedded Systems
In this paper we present the notion of an input fault model for embedded systems and outline how to obtain minimal complete test suites for a fault model. The system software is expected to be embedded and specified as a finite state machine.
- 2.A. Petrenko, N. Yevtushenko, and G. v. Buchmann. Fault modeis für testing in context. In Proceedings of the First Joined International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE/PSTV’96),pages 163–178, University of Kaiserslautern, Department of Informatics, October 1996. Chapman & Hall.Google Scholar