30、分布式测试架构中可观测性问题的解决

分布式测试架构中可观测性问题的解决

1. 引言

在分布式测试架构里，每个被测系统（SUT）N 的端口都会放置一个测试器，用于应用根据 N 的规格 M 构建的输入序列。当 N 是一个基于状态的系统，且其外部可观测行为由有限状态机（FSM）M 规定时，应用于 N 的输入序列被称作测试序列或检查序列。不过，在分布式测试架构中应用测试/检查序列时，可能会出现可控性和可观测性问题。

可控性问题指的是测试器无法确定何时向 N 施加特定输入；可观测性问题则是测试器无法判断 N 是否针对特定输入产生了特定输出。为解决这些问题，通常需要测试器之间进行外部协调消息交换，但这种方式存在成本，包括搭建消息交换基础设施的成本以及消息交换带来的延迟成本。因此，构建一个既不会引发可控性和可观测性问题，又无需外部协调消息交换的测试或检查序列是很有必要的。

之前的研究给出了一些条件，使得涉及潜在不可检测输出移位故障的每个转换能在端口 p 独立验证。本文不考虑故障诊断问题，展示了在这种情况下，有更多规格能构建子序列，从而根据构建子序列的正确输出序列得出涉及潜在不可检测输出移位故障的转换在端口 p 的输出是正确的。同时，还给出了一个算法，用于检查能否从给定规格构建消除外部协调消息交换需求的子序列，并在可行时生成这些子序列。

2. 预备知识

• 有限状态机（FSM）定义 ：一个 n 端口的有限状态机 M 定义为 M = (S, I, O, δ, λ, s0)，其中 S 是 M 的有限状态集，s0 是初始状态，I 是输入字母表的并集，O 是输出字母表的并集，δ 是转换函数，λ 是输出函数。每个输出 y 是一个输出向量。