Presentation / Exposé : Behavioral Properties of Systems using Model-based Verification techniques

Workshop on Formal Design of Safety Critical Embedded Systems, 16-18 April 1997, Munich, Germany.

Claude Jard. Pampa/IRISA/CNRS

Testing is an essential component of the full lifecycle of safety critical systems. We will present our experience in using formal specification (like SDL) to automatically generate test suites (in TTCN) in the context of black-box testing of real protocol implementations. Emphasis will be put on the pragmatic notion of test purposes expressing abstract behavioural properties, and on the use of advanced algorithmic techniques on transition systems issued from model-based verification technology.