26、基于模型的测试组合性与马尔可夫链测试用例优先级排序

基于模型的测试组合性与马尔可夫链测试用例优先级排序

基于模型的测试组合性

在基于模型的测试中，测试时会收集信息，并将其与被调用组件的规范进行对比。这使得我们的工作与生态理论和算法的结合变得十分有趣。

在组件有效性方面，我们探讨了一个组件何时是另一个组件的有效环境。在基于契约的设计领域，已有对给定组件的有效环境集的研究。契约被定义为一组有效环境和一组有效实现的元组，其中环境和实现的每种组合都可以进行组合。这种环境与实现可组合性的定义与我们的定义非常相似，并且它还描述了如何将标记转换系统视为契约。不过，之前研究的范围有限，仅限于与组件具有相同标签集的接收环境，所有组件还必须是确定性的，且未讨论内部转换或静止状态。后来的超契约理论扩展了之前的范围，但当前标记转换系统元理论的实例化仍存在诸多限制。除了自底向上组合组件契约的方法，自顶向下的方法也是可行且有时是必要的，即将一组需求分解为各个组件契约的研究也有开展。

另一种描述兼容组件的方式是为最宽松的通信伙伴定义规范，所有具体的通信伙伴都与这个“操作指南”存在某种细化关系。不过这种方法假设所有通信都是异步的，而我们假设的是同步通信。

未来工作方向

使规范相互接受需要定义额外的行为。有些额外规范是有价值的，例如从S4状态B的蜂鸣转换，它代表了在规范阶段遗漏的有趣行为。但大多数其他添加的转换只是简单的自循环，意味着输入必须被忽略。如果将接收未指定的输入视为未定义行为，这是确保正确行为所必需的。另一种可能的解释是，未指定的输入会被缓冲，直到另一个组件准备好接收它们。在这种情况下，不要求立即指定所有可能的输入，只要在接收组件进行一些内部操作后最终指定这些输入即可。

总体而言，需要研究如