模型驱动的协议一致性测试系统的分析与实现-analysis and implementation of model-driven protocol conformance testing system.docxVIP

下载本文档

3
0
约4.86万字
约 63页
2018-05-29 发布于上海
举报
版权申诉

模型驱动的协议一致性测试系统的分析与实现-analysis and implementation of model-driven protocol conformance testing system.docx

1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
7、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

模型驱动的协议一致性测试系统的分析与实现-analysis and implementation of model-driven protocol conformance testing system

插图目录图2.1一致性测试环境模型..........................................4图2.2一致性测试基本模型..........................................5图2.3一致性测试工作流程..........................................6图2.4一致性测试的四种测试方法....................................7图2.5一致性测试集结构............................................8图3.1FSM的状态转移图表示12图3.2一个基本Petri网系统13图4.1一个有限状态机示例.........................................21图4.2有限状态机示例2...........................................26图4.3分隔汇聚边后的3个子图.....................................30图4.4根据路径叠加转换序列构造的图G′32图4.5最小费用最大流F33图4.6对称增广图G?33图4.7ISDNBRI网络层协议(源终端网络接口状态机)34图5.1测试平台总体结构图.........................................38图5.2测试系统执行流程...........................................39图5.3有限状态机的状态图表示.....................................40图5.4系统的图形化描述...........................................40图5.5测试序列生成框架...........................................42图5.6测试序列生成流程图.........................................42图5.7测试脚本生成模块的3层架构.................................43图5.8测试脚本生成流程关系图.....................................43图5.9TCL测试环境的实现原理44图5.10测试系统网络拓扑图........................................46图5.11测试平台主界面............................................47图5.12公共变量设置..............................................47图5.13接口有限状态机的绘制......................................49图5.14接口有限状态机可达性分析..................................49图5.15接口状态机的测试序列......................................50图5.16接口状态机的测试脚本......................................50图5.17接口状态机脚本运行界面....................................51图5.18接口状态机脚本运行结果记录................................51图5.19Hello协议有限状态机53图5.20Hello协议脚本运行记录53VII中国科学技术大学学位论文原创性声明本人声明所呈交的学位论文,是本人在导师指导下进行研究工作所取得的成果。除已特别加以标注和致谢的地方外，论文中不包含任何他人已经发表或撰写过的研究成果。与我一同工作的同志对本研究所做的贡献均已在论文中作了明确的说明。作者签名：签字日期：中国科学技术大学学位论文授权使用声明作为申请学位的条件之一，学位论文著作权拥有者授权中国科学技术大学拥有学位论文的部分使用权，即：学校有权按有关规定向国家有关部门或机构送交论文的复印件和电子版，允许论文被查阅和借阅，可以将学位论文编入有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。本人提交的电子文档的内容和纸质论文的内容相一致。保密的学位论文在解密后也遵守此规定。□公开□保密（年）作者签名：导师签名：签字日期：签字日期：第一章绪论1.1研究背景从20世纪末以来，计算机技术与通信技术更进一步的融合，使得计算机网络得到了很大的发展，并日趋复杂化。在计算机网络的发展过程中，网络通