Compositionality supports the manipulation of large systems by working on their components. For model-based testing, this means that large systems can be tested by modelling and testing their components: passing tests for all components implies passing tests for the whole system. In previous work [13], we defined mutual acceptance for specification models and proved that this is a sufficient condition for compositionality in model-based testing. In this paper, we present an algorithm for verifying mutual acceptance on specifications and a sound and exhaustive model-based test procedure for checking mutual acceptance on black-box implementations, both inspired by the idea of environmental conformance [7,8]. The result is that correctness of large systems can be determined by testing the component implementations for conformance to their component specification and for environmental conformance to the specification of their environment.

翻译：组合性支持通过对组件进行操作来操纵大型系统。对于基于模型的测试而言，这意味着大型系统可以通过对其组件进行建模和测试来完成测试：所有组件测试通过即意味着整个系统测试通过。在先前的工作[13]中，我们为规约模型定义了互接受性，并证明了这是基于模型测试中组合性的充分条件。本文提出了一种用于验证规约互接受性的算法，以及一个完备且可靠的基于模型测试流程，用于检查黑盒实现的互接受性——这两者均受到环境一致性[7,8]思想的启发。最终结果表明，大型系统的正确性可以通过测试组件实现是否符合其组件规约，以及是否满足其环境规约的环境一致性来确定。