Strategies for conformance testing

Ramangalahy, Solofo

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Report

Strategies for conformance testing

MPS-Authors

/persons/resource/persons45249

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

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

MPI-I-98-2-010.pdf
(Any fulltext), 250KB

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: https://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}