27、软件测试中的IOTS、ioco及优先级扩展

软件测试中的IOTS、ioco及优先级扩展

在软件测试领域，输入输出转换系统（IOTS）和ioco一致性关系是重要的概念，同时考虑动作优先级的扩展也具有实际意义。下面将详细介绍IOTS、ioco关系、相关测试以及优先级扩展的内容。

1. IOTS基础特性

IOTS具有一些独特的特性。其中一个特性是，其轨迹可能会引导至一个无法执行任何输出动作的状态，这种状态被称为静止状态。在静止状态下，IOTS会保持空闲，直到其环境执行某个输入动作。这里所考虑的IOTS是强收敛的，即它们不能执行无限序列的内部动作，否则将无法观察到实现的静止状态。

IOTS的输入动作和输出动作的区别体现在其与环境的交互方式上。IOTS具有输入使能特性，输入动作由环境控制且不能被拒绝，而输出动作由系统控制且不能被环境拒绝。不过，输入使能是一个很强的假设，在很多系统中并不适用，例如交互式系统，在某些情况下会拒绝一些输入，这种情况可能源于系统逻辑或物理约束。为了解决这个问题，有人开发了一种名为RI - OLTS（受限输入输出LTS）的新模型和相应的一致性关系rioco，并证明了其存在一个详尽的测试套件。

2. ioco一致性关系

ioco关系用于关联以LTS表示的规范和以IOTS建模的实现。在规范层面使用IOTS会比较繁琐，因为输入使能要求描述系统对任何输入的反应，即使输入是无效或禁止的。

为了对被测系统（SUT）的静止状态进行建模，引入了一个虚拟动作δ，它在静止状态上循环。这个虚拟动作使得ioco关系的定义更加容易。ioco关系的定义如下：
定义11：ioco关系定义在域$IOTS(L_I, L_U \cup { \delta }) \times LTS(L