29、改进的一致性测试方法解析

改进的一致性测试方法解析

1. 应用示例

首先来看一个应用示例，通过它可以了解如何利用定理1和2缩短其他方法导出的测试套件。考虑图1所示的规范有限状态机（FSM），基于HIS方法，使用状态覆盖集Q = {ε, a, b, c}和分离状态标识符族F = {H1, H2, H3, H4}（其中H1 = {a, bb}，H2 = {a, b}，H3 = {a}，H4 = {a, bb}）来推导一个4-完全测试套件。
- 状态识别序列 ：r.ε.H1 + r.a.H3 + r.b.H4 + r.c.H2
- 测试转移序列 ：r.a.H3 + r.b.H4 + r.c.H2 + r.a.a.H2 + r.a.b.H1 + r.b.a.H3 + r.b.b.H2 + r.b.c.H3 + r.c.a.H4 + r.c.b.H3

将上述序列中的H替换为对应值，然后从所得集合中移除那些是其他序列真前缀的序列，得到4-完全测试套件TSHIS = {raaa, raab, raba, rabbb, rbaa, rbba, rbbb, rbca, rcaa, rcabb, rcba}，总长度为46。

根据定理1，无需给序列r.aa追加a，因为b已能将状态2 = δM(1, aa)与通过状态覆盖集序列可达的其他状态区分开。同理，可从TSHIS中删除rbba和rcaa。此外，转移4 – b -> 2可由序列rcabb检查，转移2 – b -> 3可由序列raaba检查，所以可从测试套件中删除rcba和rbbb。最终得到4-完全测试套件{raaba, raba, rabbb, rbaa, rbca,