Presentation / Exposé :
Behavioral Properties of Systems using Model-based Verification
on Formal Design of Safety Critical Embedded
Systems, 16-18 April 1997, Munich, Germany.
PostScript file (295K)
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.