12、内置数据流集成测试：虚拟组件的实现与评估

内置数据流集成测试：虚拟组件的实现与评估

1. 虚拟组件在组件模型中的实现

在实际的组件模型中使用虚拟组件，需要额外的概念和技术。下面将概述虚拟组件的属性，并阐述在两个具体组件执行框架中实现虚拟组件概念的额外要求。

1.1 检测格式错误的虚拟组件

虚拟组件仅通过其输入和输出进行定义。确定哪些组件属于某个流（即虚拟组件）的算法已有相关研究。但在实践中，只有有限的输入和输出组合能形成有意义的数据流。不正确的组合可能源于用户在流定义时的错误，或系统架构的变更。这种组合可能导致测试验证的组件交互不能代表完整系统中的交互，阻碍测试组件与虚拟组件连接，或者直接表明实现不符合规范。为提供用户友好的集成测试环境，必须检测并详细报告格式错误的虚拟组件，以便用户轻松纠正或接受。以下讨论处理流定义中常见问题的算法。

1.1.1 弱流

虚拟组件应对应一组完整的组件交互，即包含对所考虑流有贡献的所有组件。然而，流中的某些组件可能从未被定义为该流一部分的组件接收输入，这种流称为弱流。例如，图 4 中的流未将 sC 的输入纳入虚拟组件。在实际系统中，流中组件的组合行为可能依赖于虚拟组件中未识别的这些输入，这取决于运行系统的特定上下文，仅从系统拓扑无法确定。集成测试可能因虚拟组件定义不佳而失败，而非存在故障。反之，测试可能通过，但在实际系统中，考虑所有输入时，实现可能表现错误。通常，弱流是测试人员疏忽的迹象。必须检测并指出弱流，以便集成测试人员确定完整的测试流。需要注意的是，输出的对称情况有所不同，因为测试中不考虑输出不会改变组件的行为。

验证虚拟组件完整性的算法如下：
1. 对于虚拟组件 C 中每个组件的每个输入，将其添加到集合 P