Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions

The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps to apply the usual formal testing theory based on LTS models to incompletely specified systems, which are often met in p...

Full description

Saved in:
Bibliographic Details
Published in:Electronic notes in theoretical computer science 2006-10, Vol.164 (4), p.83-96
Main Authors: Bourdonov, Igor B., Kossatchev, Alexander S., Kuliamin, Victor V.
Format: Article
Language:English
Subjects:
conformance testing
Formal testing
implementation relation
ioco
LTS
refusals
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps to apply the usual formal testing theory based on LTS models to incompletely specified systems, which are often met in practice. Another topic concerned in the article is compositional conformance. More precisely, we try to define a completion operation that turns any LTS into input-enabled one having the same set of ioco-conforming implementations. Such a completion enforces preservation of ioco conformance by parallel composition operation on LTSes.
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2006.09.008