基于FSM模型的组合测试
Compositional Testing For FSM-Based Models
摘要：
本文的贡献是三方面的：首先，它定义了一个框架，基于组件的系统建模，以及形式化的集成规则，结合他们的行为。这是基于有限状态机（FSM）。其次，它研究了组合一致性测试，即检查由符合条件的组件与集成操作符组合而成的实现是否符合其规范。第三，它表明了全球系统的正确性，可以通过测试的组件，它涉及到它的映射到组件的规格的全球规格。这个结果对于构建充分的测试目的是有用的，以测试考虑到它们插入的系统的组件。
英文摘要：
The contribution of this paper is threefold: first, it defines a framework for modelling component-based systems, as well as a formalization of integration rules to combine their behavior. This is based on finite state machines (FSM). Second, it studies compositional conformance testing i.e. checking whether an implementation made of conforming components combined with integration operators is conform to its specification. Third, it shows the correctness of the global system can be obtained by testing the components involved into it towards the projection of the global specification on the specifications of the components. This result is useful to build adequate test purposes for testing components taking into account the system where they are plugged in.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
