MPI-I-98-2-010
Strategies for conformance testing
Ramangalahy, Solofo
May 1998, 24 pages.
.
Status: available - back from printing
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}
-
- Attachement: strat2.ps (1646 KBytes)
URL to this document: https://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/1998-2-010
BibTeX
@TECHREPORT{Ramangalahy98,
AUTHOR = {Ramangalahy, Solofo},
TITLE = {Strategies for conformance testing},
TYPE = {Research Report},
INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
ADDRESS = {Im Stadtwald, D-66123 Saarbr{\"u}cken, Germany},
NUMBER = {MPI-I-98-2-010},
MONTH = {May},
YEAR = {1998},
ISSN = {0946-011X},
}