MPI-I-98-2-010

A new test generation method and algorithm for conformance testing is proposed. It is based on the interpretation of testing concepts from the ISO standard ``Formal methods in conformance testing'' in a game theory setting. A testing game is defined with a specification given as an Input/Output State Machine and a test purpose for test selection. A winning strategy for this game define a tester for a class of implementations and a conformance relation. \begin{keywords} formal methods in conformance testing, test purposes, games strategies, test assumptions, input-output state machines. \end{keywords}