未找到相关数据
多单元协议一致性测试中的同步序列的生成
被引：7
作者：
孙宇霖
屈玉贵
赵保华
机构：
[1] 中国科学技术大学计算机科学与技术系!合肥,中国科学技术大学计算机科学与技术系!合肥,中国科学技术大学计算机科学与技术系!合肥
来源：
关键词：
协议一致性测试;
多单元协议;
同步测试序列;
同步有向图;
D O I：
暂无
中图分类号：
TP311.5 [软件工程];
学科分类号：
081205 [计算机软件];
摘要：
有限状态机模型一般被用来描述通信协议和其它种类的分布式系统 .对于一个多端口的有限状态机 ,需要多个测试单元进行测试 .使用一个包括 K个 (K≥ 2 )测试单元的测试系统可以检查一个多单元通信协议软件的收发行为是否与协议规格一致 .在测试过程中 ,K个测试单元之间可能会出现同步问题 .目前 ,主要是通过增加外部同步操作来解决同步问题 .提出了一种新的同步测试序列生成模型——同步有向图 ,它可以判断一个给定的协议规格是否可以在不需要外部同步操作的情况下 ,产生同步测试序列 ;如果可以产生 ,则此生成模型可以将非同步测试序列转化为相应的同步测试序列 ;另外此生成模型还可以用来选择为测试系统增加外部同步通道的方法 .
引用
收藏
页码：626 / 630
页数：5
相关论文