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}