首页> 中文期刊> 《计算机应用与软件》 >IPv6基本首部的Petri网建模及测试生成

IPv6基本首部的Petri网建模及测试生成

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

使用渐增式建模的方法,建立了IPv6基本协议中基本首部的Petri网模型,并开发自动测试生成工具ATSG,得到的IPv6 基本描述协议一致性测试套,该测试套可用于实际测试.最后以基本首部的下一个首部字段为例,给出了TTCN测试例.

著录项

来源
《计算机应用与软件》 |2006年第7期|83-84|共2页
作者
孙斌; 董悦丽;
展开▼
作者单位

大连东软信息学院;

辽宁;

大连;

116023;

大连东软信息学院;

辽宁;

大连;

116023;

展开▼
原文格式 PDF
正文语种 chi
中图分类通信;
关键词
TTCN; IPv6; FDT; 一致性测试; Petri网;

相似文献

中文文献
外文文献
专利

1. 基于基本Petri网的仓储入库r作业流程建模与分析r—以A企业为例 [J] . 戴恩勇 ,杨芳 ,余冰 . 物流技术 . 2015,第007期
2. 基本图灵机的Petri网建模研究 [J] . 赵东旭 ,乐晓波 . 电脑知识与技术 . 2009,第021期
3. 基本Petri网在信息系统中的建模方法 [J] . 徐学东 ,李叶茂 . 长春工程学院学报（自然科学版） . 2006,第004期
4. 网络移动IPv6协议测试生成的研究与实现 [J] . 杜宁 ,杨柳 ,郑红霞 . 科学技术与工程 . 2007,第014期
5. 移动IPv6测试中的层次化协议描述和测试生成方法 [J] . 张玉军 ,李忠诚 . 电子学报 . 2004,第00z期
6. 基于属性的网络协议互操作建模及测试生成 [C] . 李华 ,叶新铭 ,吴承勇 . 2010年中国计算机大会 . 2010
7. 基于Petri网的基本作战单元使用保障资源仿真建模与优化 [A] . 李鼎 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号