We present an adaptation of input/output conformance (ioco) testing
principles to families of similar implementation variants as appearing in
product line engineering. Our proposed product line testing theory relies on
Modal Interface Automata (MIA) as behavioral specification formalism. MIA
enrich I/O-labeled transition systems with may/must modalities to distinguish
mandatory from optional behavior, thus providing a semantic notion of intrinsic
behavioral variability. In particular, MIA constitute a restricted, yet fully
expressive subclass of I/O-labeled modal transition systems, guaranteeing
desirable refinement and compositionality properties. The resulting modal-ioco
relation defined on MIA is preserved under MIA refinement, which serves as
variant derivation mechanism in our product line testing theory. As a result,
modal-ioco is proven correct in the sense that it coincides with traditional
ioco to hold for every derivable implementation variant. Based on this result,
a family-based product line conformance testing framework can be established.
%0 Conference Paper
%1 luthmann2015
%A Luthmann, Lars
%A Mennicke, Stephan
%A Lochau, Malte
%B FMSPLE
%D 2015
%E Atlee, Joanne M.
%E Gnesi, Stefania
%K automata interface ioco modal myown product-lines software
%P 1-13
%R 10.4204/EPTCS.182.1
%T Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata.
%U http://arxiv.org/abs/1504.03473
%V 182
%X We present an adaptation of input/output conformance (ioco) testing
principles to families of similar implementation variants as appearing in
product line engineering. Our proposed product line testing theory relies on
Modal Interface Automata (MIA) as behavioral specification formalism. MIA
enrich I/O-labeled transition systems with may/must modalities to distinguish
mandatory from optional behavior, thus providing a semantic notion of intrinsic
behavioral variability. In particular, MIA constitute a restricted, yet fully
expressive subclass of I/O-labeled modal transition systems, guaranteeing
desirable refinement and compositionality properties. The resulting modal-ioco
relation defined on MIA is preserved under MIA refinement, which serves as
variant derivation mechanism in our product line testing theory. As a result,
modal-ioco is proven correct in the sense that it coincides with traditional
ioco to hold for every derivable implementation variant. Based on this result,
a family-based product line conformance testing framework can be established.
@inproceedings{luthmann2015,
abstract = {We present an adaptation of input/output conformance (ioco) testing
principles to families of similar implementation variants as appearing in
product line engineering. Our proposed product line testing theory relies on
Modal Interface Automata (MIA) as behavioral specification formalism. MIA
enrich I/O-labeled transition systems with may/must modalities to distinguish
mandatory from optional behavior, thus providing a semantic notion of intrinsic
behavioral variability. In particular, MIA constitute a restricted, yet fully
expressive subclass of I/O-labeled modal transition systems, guaranteeing
desirable refinement and compositionality properties. The resulting modal-ioco
relation defined on MIA is preserved under MIA refinement, which serves as
variant derivation mechanism in our product line testing theory. As a result,
modal-ioco is proven correct in the sense that it coincides with traditional
ioco to hold for every derivable implementation variant. Based on this result,
a family-based product line conformance testing framework can be established.},
added-at = {2015-06-24T10:49:51.000+0200},
author = {Luthmann, Lars and Mennicke, Stephan and Lochau, Malte},
biburl = {https://www.bibsonomy.org/bibtex/28383275c2f9f5465069adf206c3c35bf/smennicke},
booktitle = {FMSPLE},
doi = {10.4204/EPTCS.182.1},
editor = {Atlee, Joanne M. and Gnesi, Stefania},
interhash = {7d4e966939760f539ff8c0c2d0933adb},
intrahash = {8383275c2f9f5465069adf206c3c35bf},
keywords = {automata interface ioco modal myown product-lines software},
note = {cite arxiv:1504.03473Comment: In Proceedings FMSPLE 2015, arXiv:1504.03014},
pages = {1-13},
timestamp = {2015-06-24T10:49:51.000+0200},
title = {Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata.},
url = {http://arxiv.org/abs/1504.03473},
volume = 182,
year = 2015
}