Goodbye ioco
conference paper
Model-based testing involves testing a system under test for conformance to a model that specifies its behaviour. An important aspect for model-based testing is the implementation relation that defines precisely when a system under test conforms to its model. The implementation relation ioco has often been used and studied in model-based testing when models are expressed as labelled transition systems, and there are tools implementing ioco-based test generation. An alternative, slightly different implementation relation is uioco, which is more recent, has been less studied, and there are no tools for it. We will compare ioco and uioco on a couple of aspects, viz. intuition, the decision whether a test observation is correct, the definition of a consistent refinement relation, the construction of a canonical implementation for each specification, and the relation to other input-output implementation relations. For all these aspects, we conclude that uioco is the preferred implementation relation, so, goodbye ioco, hello uioco.
TNO Identifier
978339
ISSN
0302-9743
ISBN
978-3-031-15628-1
Publisher
Springer
Source title
A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Pages
491-511
Files
To receive the publication files, please send an e-mail request to TNO Repository.