MPI-I-98-2-010

Strategies for conformance testing

Ramangalahy, Solofo

MPI-I-98-2-010. May 1998, 24 pages. | Status: available - back from printing | Next --> Entry | Previous <-- Entry

Abstract in LaTeX format:

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}
Acknowledgement:
References to related material:

To download this research report, please select the type of document that fits best your needs.	Attachement Size(s):
	1646 KBytes
Please note: If you don't have a viewer for PostScript on your platform, try to install GhostScript and GhostView

URL to this document: http://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},}