Fault Models for Embedded Systems

Extended abstract
  • Jens Chr. Godskesen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1703)


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.


  1. 1.
    T.S Chow. Testing Software design modeis by finite-state machines. IEEE Transactions on Software Engineering, 4(3):178–187, 1978.CrossRefGoogle Scholar
  2. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Jens Chr. Godskesen
    • 1
  1. 1.The IT-University in CopenhagenDenmark

Personalised recommendations