《计算机学报》文章摘要   全文下载
文章题目	基于同步有向图的同步测试序列生成方法
作者	孙宇霖 赵保华 屈玉贵
作者单位	(中国科学技术大学计算机科学技术系 合肥 230027)
发表年份	2002
发表月份	6期　（页码：632—637)
文章摘要	使用多测试单元的测试系统可以对多端口协议实现进行一致性测试.但是在进行这种一致性测试时，测试系统各个端口之间可能会出现同步问题.现在，解决同步问题常用的办法是在测试单元相应端口之间增加同步连接，然后通过此同步连接相互发送同步消息来进行同步.多端口协议和其它类型的分布式系统可以用有限状态机模型来描述.目前，同步问题被分为双端口同步问题、多端口同步问题、紧同步问题等多种类型.该文考虑两种有限状态机测试问题：第一种是面向端口的测试，不考虑有限状态机测试单元之间的通信问题；第二种面向组的测试，有限状态机中的各个端口被分成互不相关的多个组，属于不同组中的测试单元之间互不通信.该文提出了一种基于同步有向图的同步测试序列生成方法.这种生成方法适用于Pair同步、Port同步和组同步问题.并且，这种方法也可以用来判断如何在非同步测试序列中增加同步通信，将非同步测试序列转化为同步测试序列. 关键词 协议一致性测试，多端口，同步测试序列，测试单元 中图法分类号：TP393