de.mpg.escidoc.pubman.appbase.FacesBean
English

Item

ITEM ACTIONSEXPORT

Released

Report

Strategies for conformance testing

MPS-Authors
http://pubman.mpdl.mpg.de/cone/persons/resource/persons45249

Ramangalahy,  Solofo
Programming Logics, MPI for Informatics, Max Planck Society;

Locator
There are no locators available
Fulltext (public)

1998-2-010
(Any fulltext), 10KB

Supplementary Material (public)
There is no public supplementary material available
Citation

Ramangalahy, S.(1998). Strategies for conformance testing (MPI-I-1998-2-010). Saarbrücken: Max-Planck-Institut für Informatik.

Cite as: http://hdl.handle.net/11858/00-001M-0000-0014-7A7D-F
Abstract
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}