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

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

1. 基本概念与集合定义

在分布式测试架构里，为解决可观测性问题，需要对相关集合进行定义。首先定义两个集合操作：
- (R′ = R ∪{(t, t′)|t ∈T_p - U ∧t′ ∈T ′ p})
- (P′ = P ∪{(t, ρ′ {p,t})|t ∈T_p - U})

很容易验证，在 (R′) 和 (P′) 条件下，(T_p) 在端口 (p) 是可验证的。当 (T - T ′_p ⊆U) 时，类似于相关定理，能证明对于每个 (t ∉T - T ′_p)，在 (T_p - T ′_p) 上存在关于 ((t, p)) 的绝对验证路径，证明过程与 (T ′_p ⊆U) 的情况类似。

2. 计算 (T ′_p) 和 (T_p - T ′_p)

为计算 (T ′_p) 和 (T_p - T ′_p)，可以按以下步骤操作：
1. 确定潜在不可检测的 1 - 移位输出故障涉及的转换 ：
- 比较每两个转换 (s_1 \stackrel{x_1/y_1}{\longrightarrow} s_2) 和 (s_2 \stackrel{x_2/y_2}{\longrightarrow} s_3)，其中 (x_2) 不在端口 (p)。
- 若 (y_1) 在端口 (p) 有非空输出而 (y_2) 没有，或者反之，则 (t_1) 和 (t_2) 涉及潜在不可检测的 1 - 移位输出故障，分别将它们放入 (T ′_p) 和 (T_p - T ′_p)。
- 为下一步计算，标记放入 (T_p - T ′_p) 的转换为向后或向前