EFSM模型协议一致性测试序列自动生成的研究.pdf

⑧;『’■一,,.’论文作者签名:指导教师签名:堡丕厶逝江王直太堂..塞瞳垩釉金旦巴王些太堂金正生淘杭州电王型撞太堂蔓互教握磐⒗硗跆蔓到众逝江理王盔堂处宣迁鹪逝江太堂毖三丞釉浙江态堂±毽驹逝江太堂金正生揪植州电王型拉太堂论文评腥雔:评阅人答辩委员会主席:娄员委员一盯雾一▲毫孽,事.
⒕
。、槔菪泅鉯垫塑￡隳玅丝』鱼曼堕一坠垒縤憷寄玅△ざ旦璺曼宝卫媛窆’\.苁,、■●
缀尹字日期:力/口年/乙月夕日签字日期:夕咖年/乞月夕目浙江大学研究生学位论文独创性声明学位论文版权使用授权书签字日期:夕叼汐年乞逝姿盘堂或其他教育机构的学位或证而使用过的材料。与我一同工作的同志对本研究所做的任逝婆盘堂印件和磁盘。允许论文被查阅和借面。本人授权逝’江盘堂可以将学位论文的全部或部分内容编本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果。除了文中特有权保留并向国家有关部门或机构送交本论文的复别加以标注和致谢的地方外,论文中不包含其他人已经发表或撰写过的研究成果,也不包含为获得何贡献均已在论文中作了明确的说明并表示谢意。学位论文作者签名本学位论文作者完全了解入有关数据库进行检索和传播,可以采州影印、缩印或扫描等复制手段保存、汇编学位论文。C艿摹Q宦畚淖〗饷芎笫蚀ū臼谌↖导师签名:
致谢时光流逝总是那么悄无声患,逝去的是博士求学生涯中邂逅的一个个挫折和挑战,刻伴随左右的是令我终身无法忘怀的师情、友情和亲情,对他们的感激之情无法尽显与字里行间。感恩一刻,这一页的书写又是那么的值得期待和富有挑战。首先,我要感谢我的导师孙守迂教授。孙老师高尚的师德、渊博的学识和严谨的治学态度,永远是我学习的楷模和典范。孙老师对我科研工作、学在心。在此,谨向孙老师表示最诚挚的谢意感谢浙江理工大学的魏仰苏教授,正是他在工作和生活上给予我的大力支持和无私帮助,才使我能顺利完成学业。感谢宋瑾钰老师、蒋国明老师和计算机应用研究所的孟兆航研究生对我学习和工作上的鼓励和帮助。在此表示深深的谢意感谢学院贺蓓、段健平和李志平等老师对我的帮助和关心。感谢实验室柴春雷、汤永川、刘肖健、叶晓云、徐国仙、虞芬芬和宋萍等老师给予的鼓励和帮助,你们的热情感谢张克俊博士后和王海宁博士对我科研工作和博士论文撰写的支持和帮助。感谢实验室的师兄弟们为我营造了一个良好的学习和科研氛围,他们是:孙凌云、宋瑜、吴剑峰、吴群、邹宁、王鑫,程时伟、董占勋、律睿憨、谭征宇,柳杨、郑林欣等。同他感谢我的家人对我的支持和鼓励。首先,我要感谢我的父母,是您们三十多年来用爱为我铺垫了成长之路。感谢您们对宝宝全心全意的照料和呵护以及日常家务的打理,使我可以全身心的投入博士阶段的学习和工作;感谢岳父岳母,您们一直以来对我学习感谢我的爱妻黄霞,你在繁忙工作之余,还肩负了抚育下一代的重任,使我可以将全部精力用于学业的完成。同时,你一如既往的关爱和默默的支持与鼓励,是我克服困难,不断前进的动力源泉。感谢我的爱女舒航麒,未满三周岁的她用稚嫩甜美的歌声和留下的则是一次次的宝贵历练和丰盈以及无尽的感思。回顾求学道路上的成长足迹,时帮助和支持使得我的科研工作能够顺利开展和完成。们的交流和讨论使我受益匪浅。和工作的理解和支持,使我能顺利完成博士论文。童真的舞步,给我的生活带来了无限的快乐。舒挺月于求是园浙¨人学博』宦畚
摘要随着通信网络的普及和需求的复杂化,网络协议规模日趋复杂庞大,这对协议的实现和开发提出了新的挑战。通信网络分布性,异构性和实时性等特点决定了网络协议实现不仅要求功能正确完善,更强调协议实现之间具有良好的一致性互通。网络协议实现与网络协议规范之间的微小偏差,都可能给通信网络带来不可估量的灾难性后果。协议一致性测试是评价协议实现和协议规范符合程度的实验活动,也是确保网络通信质量的重要手段之一。为了避免传统手工生成一致性测试序列费时费力并且质量难以保证的弊端,基于形式化扩展有限状态机模型自动生成协议一致性测试序列成为了一个热模型在P偷幕∩侠┏淞朔岣坏谋淞亢臀酱侍跫诶┏湫榭刂坪数据部分建模能力的同时,也增加了一致性测试序列自动生成的困难。当前,基于模型自动生成协议一致性测试序列的研究热点问题主要集中在四个方面:如何生成可执行的状态验证序列:如何保证生成的一致性测试序列的可执行性;如何设计基于控制流和数据流的可执行测试序列生成算法;如何设计协议一致性测试序列自动生成集成环境。本文以这四个热点问题为研究主线,围绕基于模型协议一致性测试序列自动生成的关键技术问题进行了系统和深入的研究。所做的研究工作和创新性研究生成算法。新算法基于宽度优先搜索可执行分析树乃枷耄幼刺橹ば枨蟮慕嵌龋贓淖刺窬滞队白涌占渲校捎梅植计算的方式生成具体验证场景下的最短可执行状态验证序列,从而避免了在完全