OSPFv3协议一致性测试序列的自动生成  

Automatic Generation of Conformance Testing Sequences for OSPFv3 Protocol

作　　者：郭怡静[1] 叶新铭[1] 李华[1] 

机构地区：[1]内蒙古大学计算机学院,呼和浩特010021

出　　处：《内蒙古大学学报（自然科学版）》2008年第4期475-480,共6页Journal of Inner Mongolia University：Natural Science Edition

基　　金：国家自然科学基金项目(60563004)资助

摘　　要：由于手工法生成的测试例具有随机性、不确定性和不完整性,因此提出了一个自动生成测试例的方法,使用该方法生成的测试例比运用手工法生成的测试例准确、完整.该方法首先为OSPFv3协议的邻居状态转换过程建立了部分的EFSM模型,然后遵循故障模型的故障类型标准,使用数据流与控制流相结合的方法自动生成测试序列,对生成的测试例经过测试发现了协议实现的一些错误.A method of generating test cases automatically is proposed because of the randomness,undetermination and incompleteness of the test cases generated manually .The method are more accurate and complete than test cases generated manually.Firstly a part of EFSM model for neighbor state transitions in OSPFv3 is established.Secondly the fault type standard of fault model is followed to generate testing sequences automatically and the method of combination of data flow and control flow is used.At last some faults of protocol implementation are found by testing test cases generated automatically.

关 键 词：OSPFV3 EFSM 数据流与控制流 故障模型 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]