18、工业转换系统的基于模型的测试

工业转换系统的基于模型的测试

1. 系统参数依赖与模型简化

在工业转换系统中，输出位置往往依赖于输入参数，如订书（Staple）和纸张数量（SheetCount）。当请求订书且打印机具备订书能力时，输出位置才会被覆盖，这会引发一系列依赖关系，使条款变得复杂，建模困难。

为简化条款，我们可以进行参数替换。例如，将 (Staple = TopLeft ∧ SheetCount ≤ 100) 替换为 StaplePos = Portrait，得到更简单的条款：
(TicketOutputLoc = HCS ∧ StaplePos = Portrait) ⇒ OutputLoc = Finisher

这表明输出位置实际上依赖于输出参数 StaplePos。但这种方法可能存在循环依赖问题，为避免该问题，我们将所有条款按层次结构排列，叶子节点无依赖，父节点依赖子节点参数。只要保持这种层次结构，就可以安全地使用一些输出参数来验证其他输出参数的值。

2. 测试流程

测试作业处理器实现包括三个步骤：
1. 选择输入值 ：查看模型支持的完整输入参数集及其域，实例化每个参数构成一个测试用例。可以随机生成测试用例集，也可以基于某种覆盖准则进行结构化生成。
2. 使用输入值执行被测系统（SUT） ：使用现有的自动测试框架执行 SUT。
3. 使用模型验证 SUT 的输出 ：根据模型对输出进行验证。

由于大多数软件错误发生在少数因素的交互中，为减少测试用例数量，我们采用组合测试技术，如成对（或