基于模态接口自动机的I/O软件产品线一致性测试理论
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata
摘要：
我们提出了一个适应的输入/输出一致性（ioco）测试原则，家庭的类似的实现变体出现在产品线工程。我们提出的产品线测试理论依赖于模态接口自动机（MIA）的行为规格说明形式主义。MIA丰富了I/O标记的转换系统与可能/必须模态，以区分强制性和可选的行为，从而提供了一个语义概念的内在行为可变性。特别是，MIA构成了一个受限制的，但充分表达的I/O标记的模态转换系统的子类，保证理想的细化和组合属性。定义在MIA上的模态-ioco关系在MIA精化下保持不变，这在我们的产品线测试理论中作为变体推导机制。因此，模态ioco被证明是正确的，因为它与传统ioco一致，适用于每个可导出的实现变体。在此基础上，建立了基于产品族的产品线一致性测试框架。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
