郭怡静
- 作品数：3 被引量：2H指数：1
- 供职机构：内蒙古大学计算机学院更多>>
- 发文基金：国家自然科学基金内蒙古自治区科技厅科技攻关项目内蒙古自治区自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于XML的OSPFv3一致性测试研究被引量：1
- 2007年
- 协议测试是检测协议实现与协议说明相一致的有效手段。本文针对开放最短路径协议OSPFv3进行了一致性测试研究,分析了OSPFv2和OSPFv3的不同,给出了用XML来描述OSPFv3测试套的测试模板,并对OSPFv3协议在Linux下的实现进行了一致性测试,列举了部分测试结果,对测试结果进行了分析,发现了被测实现存在与协议说明不一致的地方。
- 李华张涛叶新铭郭怡静李元平白瑞峰
- 关键词：路由协议OSPFV3
- 基于故障模型的Linux系统下协议一致性测试方法及测试系统
- 随着计算机网络的发展，IPv4协议显示出许多不足之处，因此IPv6协议应运而生。由于各协议实现厂家对协议说明的不同理解，实现的通信设备也各有不同，因此对IPv6协议族的实现进行一致性测试是相当重要的。OSPFv3协议是支...
- 郭怡静
- 关键词：OSPFV3XMLEFSM
- 文献传递
- OSPFv3协议一致性测试序列的自动生成
- 2008年
- 由于手工法生成的测试例具有随机性、不确定性和不完整性,因此提出了一个自动生成测试例的方法,使用该方法生成的测试例比运用手工法生成的测试例准确、完整.该方法首先为OSPFv3协议的邻居状态转换过程建立了部分的EFSM模型,然后遵循故障模型的故障类型标准,使用数据流与控制流相结合的方法自动生成测试序列,对生成的测试例经过测试发现了协议实现的一些错误.
- 郭怡静叶新铭李华
- 关键词：OSPFV3EFSM
