Testing Divergent Transition Systems

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

212 Downloads (Pure)


We revisit model-based testing for labelled transition systems in the context of specifications that may contain divergent behaviour, i.e., infinite paths of internal computations. The standard approach based on the theory of input-output conformance, known as the ioco-framework, cannot deal with divergences directly, as it restricts specifications to strongly convergent transition systems. Using the model of Quiescent Input Output Transition Systems (QIOTSs), we can handle divergence successfully in the context of quiescence. Quiescence is a fundamental notion that represents the situation that a system is not capable of producing any output, if no prior input is provided, representing lack of productive progress. The correct treatment of this situation is the cornerstone of the success of testing in the context of systems that are input-enabled, i.e., systems that accept all input actions in any state. Our revised treatment of quiescence also allows it to be preserved under determinization of a QIOTS. This last feature allows us to reformulate the standard ioco-based testing theory and algorithms in terms of classical trace-based automata theory, including finite state divergent computations.
Original languageEnglish
Title of host publicationModels, Algorithms, Logics and Tools
Subtitle of host publicationEssays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
EditorsLuca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingolfsdottir, Axel Legay, Radu Mardare
Number of pages366
ISBN (Electronic)978-3-319-63121-9
ISBN (Print)978-3-319-63120-2
Publication statusPublished - 25 Jul 2017
EventKimFest: Conference in honour of Kim G. Larsen on the occasion of his 60th birthday - Aalborg University, Aalborg, Denmark
Duration: 19 Aug 201720 Aug 2017

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Abbreviated titleKimFest
Internet address


Dive into the research topics of 'Testing Divergent Transition Systems'. Together they form a unique fingerprint.

Cite this