2005 | OriginalPaper | Buchkapitel
On the Correspondence Between Conformance Testing and Regular Inference
verfasst von : Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen
Erschienen in: Fundamental Approaches to Software Engineering
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Conformance testing for finite state machines and regular inference both aim at identifying the model structure underlying a
black box system
on the basis of a limited set of observations. Whereas the former technique
checks
for equivalence with a
given
conjecture model, the latter techniques addresses the corresponding
synthesis
problem by means of techniques adopted from automata learning. In this paper we establish a common framework to investigate the similarities of these techniques by showing how results in one area can be transferred to results in the other and to explain the reasons for their differences.