论文部分内容阅读
在协议工程领域，协议测试是非常重要的工作；对于分布式协议的测试多采用多端口有限状态机模型进行描述；由于分布式协议测试存在控制观察问题，需要对测试序列进行同步和协调；通过对现有分布式测试模型的改进，引入虚拟多端口测试的方法，极大地简化了多个测试器之间的同步和协调问题，并且不会显著增加系统的构建成本，提高了测试效率。