Model-Based Testing of Reactive Systems pp 87-111

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3472) | Cite as

4 Conformance Testing

  • Angelo Gargantini


In this chapter we tackle the problem of conformance testing between finite state machines. The problem can be briefly described as follows [LY96]. Given a finite state machine MS which acts as specification and for which we know its transition diagram, and another finite state machine MI which is the alleged implementation and for which we can only observe its behavior, we want to test whether MI correctly implements or conforms to MS. The problem of conformance testing is also called fault detection, because we are interested in uncovering where MI fails to implement MS, or machine verification in the circuits and switching systems literature.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Angelo Gargantini
    • 1
  1. 1.Dipartimento di Matematica e InformaticaUniversity of Catania 

Personalised recommendations