【摘要】 由于手工法生成的测试例具有随机性、不确定性和不完整性,因此提出了一个自动生成测试例的方法,使用该方法生成的测试例比运用手工法生成的测试例准确、完整.该方法首先为OSPFv3协议的邻居状态转换过程建立了部分的EFSM模型,然后遵循故障模型的故障类型标准,使用数据流与控制流相结合的方法自动生成测试序列,对生成的测试例经过测试发现了协议实现的一些错误.更多还原

【Abstract】 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.更多还原