计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2006年
7期
83-84
,共2页
TTCN%IPv6%FDT%一致性测试%Petri网
TTCN%IPv6%FDT%一緻性測試%Petri網
TTCN%IPv6%FDT%일치성측시%Petri망
使用渐增式建模的方法,建立了IPv6基本协议中基本首部的Petri网模型,并开发自动测试生成工具ATSG,得到的IPv6 基本描述协议一致性测试套,该测试套可用于实际测试.最后以基本首部的下一个首部字段为例,给出了TTCN测试例.
使用漸增式建模的方法,建立瞭IPv6基本協議中基本首部的Petri網模型,併開髮自動測試生成工具ATSG,得到的IPv6 基本描述協議一緻性測試套,該測試套可用于實際測試.最後以基本首部的下一箇首部字段為例,給齣瞭TTCN測試例.
사용점증식건모적방법,건립료IPv6기본협의중기본수부적Petri망모형,병개발자동측시생성공구ATSG,득도적IPv6 기본묘술협의일치성측시투,해측시투가용우실제측시.최후이기본수부적하일개수부자단위례,급출료TTCN측시례.
