基于MSC测试目的的协议互操作性测试生成

摘要：

提出了一种基于MSC(消息序列图)测试目的的互操作性测试生成方法.采用通信多端口有限状态机作为被测系统的描述模型,MSC作为互操作性测试目的的描述模型,使用全局状态跟踪和逆向查找等技术从系统规范中生成包含该测试目的的测试序列.该方法由于只需遍历系统的部分状态空间,因此在一定程度上减少了发生状态爆炸问题的可能.在移动IPv6协议系统中的应用表明,该方法具备一定的可行性.

关键词： 协议测试 互操作性测试 消息序列图 移动IPv6

作者: 王之梁 吴建平 尹霞 施新刚

作者单位: 清华大学,计算机科学与技术系,北京,100084 清华大学,信息网络工程研究中心,北京,100084

会议类型: 国内会议

会议名称: 2006年全国通信软件学术会议

会议地点: 北京

会议语种:中文

页码: 116-120

在线出版日期: 2006-05-21（万方平台首次上网日期，不代表论文的发表时间）