| OSPFv3协议一致性测试序列的自动生成 |
| |
| 引用本文： | GUO Yi-jing,叶新铭,LI Hua.OSPFv3协议一致性测试序列的自动生成[J].内蒙古大学学报(自然科学版),2008,39(4). |
| |
| 作者姓名： | GUO Yi-jing 叶新铭 LI Hua |
| |
| 作者单位： | 内蒙古大学计算机学院,呼和浩特,010021;内蒙古大学计算机学院,呼和浩特,010021;内蒙古大学计算机学院,呼和浩特,010021 |
| |
| 摘 要： | 由于手工法生成的测试例具有随机性、不确定性和不完整性,因此提出了一个自动生成测试例的方法,使用该方法生成的测试例比运用手工法生成的测试例准确、完整.该方法首先为OSPFv3协议的邻居状态转换过程建立了部分的EFSM模型,然后遵循故障模型的故障类型标准,使用数据流与控制流相结合的方法自动生成测试序列,对生成的测试例经过测试发现了协议实现的一些错误.
|
| 关 键 词： | OSPFv3 EFSM 数据流与控制流 故障模型 |
Automatic Generation of Conformance Testing Sequences for OSPFv3 Protocol |
| |
| GUO Yi-jing,YE Xin-ming,LI Hua.Automatic Generation of Conformance Testing Sequences for OSPFv3 Protocol[J].Acta Scientiarum Naturalium Universitatis Neimongol,2008,39(4). |
| |
| Authors: | GUO Yi-jing YE Xin-ming LI Hua |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
