论文部分内容阅读
使用渐增式建模的方法,建立了IPv6基本协议中基本首部的Petri网模型,并开发自动测试生成工具ATSG,得到的IPv6基本描述协议一致性测试套,该测试套可用于实际测试。最后以基本首部的下一个首部字段为例,给出了TTCN测试例。
IPv6基本首部的Petri网建模及测试生成
【摘 要】
：
使用渐增式建模的方法,建立了IPv6基本协议中基本首部的Petri网模型,并开发自动测试生成工具ATSG,得到的IPv6基本描述协议一致性测试套,该测试套可用于实际测试。最后以基本首部的下一个首部字段为例,给出了TTCN测试例。
【机 构】
：
大连东软信息学院
【出 处】
：
计算机应用与软件
【发表日期】
：
2006年07期
其他文献
近年，李寿佛创立了非线性刚性Volterra泛函微分方程数值方法的B理论。该理论为数值求解非线性刚性常微分方程、非线性刚性积分微分方程以及在实际问题中遇到的其他各种类型的