论文部分内容阅读
使用多测试单元的测试系统可以对多端口协议实现进行一致性测试.但是在进行这种一致性测试时,测试系统各个端口之间可能会出现同步问题.现在,解决同步问题常用的办法是在测试单元相应端口之间增加同步连接,然后通过此同步连接相互发送同步消息来进行同步.多端口协议和其它类型的分布式系统可以用有限状态机模型来描述.目前,同步问题被分为双端口同步问题、多端口同步问题、紧同步问题等多种类型.该文考虑两种有限状态机测试问题:第一种是面向端口的测试,不考虑有限状态机测试单元之间的通信问题;第二种面向组的测试,有限状态机中的各个端