10.3969/j.issn.1000-386X.2006.07.033
IPv6基本首部的Petri网建模及测试生成
使用渐增式建模的方法,建立了IPv6基本协议中基本首部的Petri网模型,并开发自动测试生成工具ATSG,得到的IPv6 基本描述协议一致性测试套,该测试套可用于实际测试.最后以基本首部的下一个首部字段为例,给出了TTCN测试例.
TTCN、IPv6、FDT、一致性测试、Petri网
23
TN91
2006-08-14（万方平台首次上网日期，不代表论文的发表时间）
共2页
83-84
