基于同步有向图的同步测试序列生成方法

• 作者: 孙宇霖 屈玉贵 赵保华
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 协议一致性测试 多端口 同步测试序列 测试单元
• 年，卷（期）: 2002,（6）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 632-636
• 页数: 5页
• 分类号: TP393
• 字数: 4513字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2002.06.012

摘要

使用多测试单元的测试系统可以对多端口协议实现进行一致性测试.但是在进行这种一致性测试时,测试系统各个端口之间可能会出现同步问题.现在,解决同步问题常用的办法是在测试单元相应端口之间增加同步连接,然后通过此同步连接相互发送同步消息来进行同步.多端口协议和其它类型的分布式系统可以用有限状态机模型来描述.目前,同步问题被分为双端口同步问题、多端口同步问题、紧同步问题等多种类型.该文考虑两种有限状态机测试问题:第一种是面向端口的测试,不考虑有限状态机测试单元之间的通信问题;第二种面向组的测试,有限状态机中的各个端口被分成互不相关的多个组,属于不同组中的测试单元之间互不通信.该文提出了一种基于同步有向图的同步测试序列生成方法.这种生成方法适用于Pair同步、Port同步和组同步问题.并且,这种方法也可以用来判断如何在非同步测试序列中增加同步通信,将非同步测试序列转化为同步测试序列.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	屈玉贵	中国科学技术大学计算机科学技术系	98	1088	19.0	27.0
2	赵保华	中国科学技术大学计算机科学技术系	152	1481	21.0	28.0
3	孙宇霖	中国科学技术大学计算机科学技术系	3	48	3.0	3.0