Mobile IPv6协议一致性测试集设计与实现

作     者：颜勇 谢高岗 张大方 

作者机构：湖南大学软件学院湖南长沙410082 中国科学院计算技术研究所北京100080 

基　　金：国家863计划项目(20002AA121032) 国家自然科学基金资助项目(60273070) 

出 版 物：《计算机应用》 (journal of Computer Applications)

年 卷 期：2004年第24卷第B12期

页      码：15-17页

摘      要：协议测试是用来保证协议实现的正确性和有效性的重要手段。协议一致性测试关注被 测协议实现与协议文本要求的一致性,是协议测试的基础。文中阐述了对移动IPv6协议一致性测试 的思想及方法,并使用形式化的测试例描述语言说明了测试例的设计过程,最后给出了在一种UNIX 实现下的测试结果及分析。

主 题 词：移动IPv6协议 一致性测试 形式化描述语言 测试目的 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203126375...