基于模态接口自动机的软件产品线输入/输出一致性测试理论展望
软件工程
2015-04-15 v1 计算机科学中的逻辑
摘要
我们提出了输入/输出一致性（ioco）测试原则对产品线工程中出现的相似实现变体族的适配。我们提出的产品线测试理论依赖于模态接口自动机（MIA）作为行为规约形式化方法。MIA 通过可能/必须模态丰富了 I/O 标记转换系统，以区分强制行为与可选行为，从而提供了内在行为可变性的语义概念。特别是，MIA 构成了 I/O 标记模态转换系统的一个受限但完全表达的子类，保证了理想的精化和组合性属性。在 MIA 上定义的 resulting modal-ioco 关系在 MIA 精化下保持不变，后者在我们的产品线测试理论中充当变体推导机制。因此，modal-ioco 被证明是正确的，因为它与传统 ioco 一致，适用于每个可推导的实现变体。基于此结果，可以建立基于族的产品线一致性测试框架。
引用
@article{arxiv.1504.03473,
title = {Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata},
author = {Lars Luthmann and Stephan Mennicke and Malte Lochau},
journal= {arXiv preprint arXiv:1504.03473},
year = {2015}
}
备注
In Proceedings FMSPLE 2015, arXiv:1504.03014