首页> 中文会议>第三届全国CSCW暨第一届全国AIN学术会议 >基于扩展Petri网模型的LDP协议一致性测试

基于扩展Petri网模型的LDP协议一致性测试

页面导航

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

摘要

本文主要研究多协议标记转换系统(MPLS)中的一个重要核心协议标记分发协议(LDP)的一致性测试问题.我们首先在形式化描述工具Petri网的基础上,提出更适合描述LDP协议的扩展Petri模型概念,对LDP协议进行形式化描述,给出它的形式化模型.然后在此基础上结合自动测试集算法导出测试序列,来实现对协议的一致性测试.最后给出结论并提出将来进一步的工作.

著录项

来源
《第三届全国CSCW暨第一届全国AIN学术会议》|2002年|408-415|共8页
会议地点呼和浩特
作者
徐晓东; 叶新铭;
展开▼
作者单位

中国通信学会;

中国电子学会;

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类图论;
关键词
LDP协议; 一致性测试; Petri网; 形式描述;
入库时间 2022-08-17 10:17:29

相似文献

中文文献
外文文献
专利

1. 基于Petri网的WIA-PA协议一致性测试工具 [J] . 郝飞飞 ,王冠雄 ,朱郴林 . 物联网技术 . 2016,第001期
2. MPLS宽带网络技术讲座——第3讲 CR—LDP信令协议与RSVP扩展协议 [J] . 张志群 ,张春红 ,等 . 中国数据通信 . 2001,第005期
3. 基于TTCN-3同步扩展的协议一致性测试研究 [J] . 文霄 ,高阜乡 ,赖旻 . 电脑知识与技术 . 2011,第001期
4. 安全协议扩展Petri网模型及检测 [J] . 梅翀 ,孟传良 ,张成宇 . 微计算机信息 . 2007,第027期
5. 汽车自组织网络链路时延预测(LDP)模型的扩展及扩展后的性能分析 [J] . 王秀峰 ,王春萌 ,崔刚 . 高技术通讯 . 2015,第005期
6. 基于Petri网的网络协议一致性测试方法研究 [C] . FAN Hao ,范昊 ,SHU De-qin . 第五届全国可信计算学术会议 . 2015
7. 基于扩展Petri网模型的标记分发协议LDP一致性测试生成 [A] . 徐晓东 . 2002

基于扩展Petri网模型的LDP协议一致性测试

摘要

著录项

相似文献

相关主题

期刊订阅