New for: D3
(verified) specification and an implementation of this specification for
which one has only limited visibility, try to find if the implementation
is a correct or incorrect implementation of the specification with
respect to a relation defining conformance.
This talk will be divided into two parts:
1) Presentation the conformance testing problem with the emphasis on the
comparison with related problems: model checking and synthesis.
2) Justification of the usefulness of game models for studying this
problem. Briefly, the conformance testing problem can be viewed as dual
to the synthesis problem. Just as optimal strategies in games form the
basis of correct synthetized systems for the synthesis problem, optimal
strategies form the basis of (good) testers for the conformance testing
problem.