论文部分内容阅读
有限状态机模型一般被用来描述通信协议和其它种类的分布式系统 .对于一个多端口的有限状态机 ,需要多个测试单元进行测试 .使用一个包括 K个 (K≥ 2 )测试单元的测试系统可以检查一个多单元通信协议软件的收发行为是否与协议规格一致 .在测试过程中 ,K个测试单元之间可能会出现同步问题 .目前 ,主要是通过增加外部同步操作来解决同步问题 .提出了一种新的同步测试序列生成模型——同步有向图 ,它可以判断一个给定的协议规格是否可以在不需要外部同步操作的情况下 ,产生同步测试序列 ;如果可以产生 ,则此生成