Input/Output凝聚力测试中的组合性、分解性和细化-技术报告
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report
摘要：
我们提出了一个输入/输出一致性测试理论，利用模态接口自动机与输入拒绝（IR-MIA）作为新的行为形式主义的规范和测试下的实现。IR-MIA上的模态细化关系允许区分强制性和允许的输出行为，以及隐式未指定和显式禁止的输入行为。因此，该理论支持积极和消极的一致性测试与乐观和悲观的环境假设。我们进一步表明，由此产生的一致性关系IR-MIA，称为模态irioco，享有许多理想的属性有关组件为基础的行为。首先，模态-irioco在模态加细下被保留，并在一定的限制下构成一个预序，这可以通过IR-MIA的规范输入完成来确保。其次，在相同的限制下，模态-irioco相对于具有多播和隐藏的IR-MIA的并行合成是合成的。最后，IR-MIA上的商运算符，作为并行组合的逆，有助于一致性测试中的分解，以解决未知组件的问题。
英文摘要：
We propose an input/output conformance testing theory utilizing Modal Interface Automata with Input Refusals (IR-MIA) as novel behavioral formalism for both the specification and the implementation under test. A modal refinement relation on IR-MIA allows distinguishing between obligatory and allowed output behaviors, as well as between implicitly underspecified and explicitly forbidden input behaviors. The theory therefore supports positive and negative conformance testing with optimistic and pessimistic environmental assumptions. We further show that the resulting conformance relation on IR-MIA, called modal-irioco, enjoys many desirable properties concerning component-based behaviors. First, modal-irioco is preserved under modal refinement and constitutes a preorder under certain restrictions which can be ensured by a canonical input completion for IR-MIA. Second, under the same restrictions, modal-irioco is compositional with respect to parallel composition of IR-MIA with multi-cast and hiding. Finally, the quotient operator on IR-MIA, as the inverse to parallel composition, facilitates decompositionality in conformance testing to solve the unknown-component problem.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
