摘要
使用渐增式建模的方法,建立了IPv6基本协议中基本首部的Petri网模型,并开发自动测试生成工具ATSG,得到的IPv6基本描述协议一致性测试套,该测试套可用于实际测试。最后以基本首部的下一个首部字段为例,给出了TTCN测试例。
The Petri net model of IPv6 Specification Protocol header was given with the increasing method. We use ATSG to generate the conformance test suites of IPv6 Specification Protocol header based on the established Petri net model, the test suites generated by ATSG are represented in the standardized test description language TTCN that is directly applied to a real test. Finally, we present an example to illustrate the executable test case.
出处
《计算机应用与软件》
CSCD
北大核心
2006年第7期83-84,共2页
Computer Applications and Software
