| 基于MSC测试目的的协议互操作性测试生成 |
| |
| 引用本文： | 王之梁,吴建平,尹霞,施新刚.基于MSC测试目的的协议互操作性测试生成[J].北京邮电大学学报,2006,29(Z1):116-120. |
| |
| 作者姓名： | 王之梁 吴建平 尹霞 施新刚 |
| |
| 作者单位： | 清华大学计算机科学与技术系 北京100084(王之梁，吴建平，尹霞)，清华大学信息网络工程研究中心 北京100084(施新刚) |
| |
| 基金项目： | 国家“973”重点基础研究发展计划项目(2003CB314801)，国家自然科学基金项目(90104002,60572082/F010110) |
| |
| 摘 要： | 提出了一种基于MSC(消息序列图)测试目的的互操作性测试生成方法.采用通信多端口有限状态机作为被测系统的描述模型,MSC作为互操作性测试目的的描述模型,使用全局状态跟踪和逆向查找等技术从系统规范中生成包含该测试目的的测试序列.该方法由于只需遍历系统的部分状态空间,因此在一定程度上减少了发生状态爆炸问题的可能.在移动IPv6协议系统中的应用表明,该方法具备一定的可行性.
|
| 关 键 词： | 协议测试 互操作性测试 消息序列图 移动IPv6 |
Protocol Interoperability Test Generation Based on MSC Test Purposes |
| |
| WANG Zhi-liang,WU Jian-ping,YIN Xia,SHI Xin-gang.Protocol Interoperability Test Generation Based on MSC Test Purposes[J].Journal of Beijing University of Posts and Telecommunications,2006,29(Z1):116-120. |
| |
| Authors: | WANG Zhi-liang WU Jian-ping YIN Xia SHI Xin-gang |
| |
| Affiliation: | WANG Zhi-liang~1,WU Jian-ping~1,YIN Xia~1,SHI Xin-gang~2 |
| |
| Abstract: | An interoperability test generation method based on MSC(message sequence charts) test purposes was presented.In the method,communicating multi-port finite state machines was used to model system under testing,and MSC was used to model interoperability test purpose.Test sequences containing the MSC test purpose were generated from system specifications by using global state tracking and backward searching.This method alleviates state explosion problems to some extent for traversing only a part of global state space.Applications in mobile IPv6(Internet protocol version 6) protocol systems verifies the feasibility of this method. |
| |
| Keywords: | protocol testing interoperability testing message sequence charts mobile Internet protocol version 6 |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《北京邮电大学学报》浏览原始摘要信息 |
|
点击此处可从《北京邮电大学学报》下载全文 |
