首页> 中文会议>2006年全国通信软件学术会议 >基于MSC测试目的的协议互操作性测试生成

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《2006年全国通信软件学术会议》|2006年|116-120|共5页
会议地点北京
作者
王之梁; 吴建平; 尹霞; 施新刚;
展开▼
作者单位

中国通信学会;

北京邮电大学;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP393.06;
关键词
协议测试; 互操作性测试; 消息序列图; 移动IPv6;

相似文献

中文文献
外文文献
专利

1. 基于MSC测试目的的协议互操作性测试生成 [J] . 王之梁 ,吴建平 ,尹霞 . 北京邮电大学学报 . 2006,第S1期
2. 基于通信多端口有限状态机的协议互操作性测试生成研究 [J] . 王之梁 ,吴建平 ,尹霞 . 计算机学报 . 2006,第011期
3. 基于SDL和MSC模型的一致性测试生成方法 [J] . 叶新铭 ,吴铁楠 . 计算机科学 . 2004,第012期
4. 基于多UIO序列的协议一至致性测试生成 [J] . 刘积仁 ,都军 . 软件学报 . 1995,第A01期
5. 基于着色Petri网的IS-IS路由协议互操作性测试的研究 [J] . 赵玉兰 ,冀超 ,蒋凤仙 . 计算机工程与科学 . 2013,第012期
6. 基于属性的网络协议互操作建模及测试生成 [C] . 李华 ,叶新铭 ,吴承勇 . 2010年中国计算机大会 . 2010
7. 基于模型检查的协议一致性测试生成 [A] . 姬忠鹤 . 2005

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

摘要

著录项

相似文献

相关主题

期刊订阅