非表示:
キーワード:
-
要旨:
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}
