文档介绍：分类号
拦龃她茜一棚一曼生盈出矗冽指导教师签名:叁垒兰指导教师签名:叁鱼譬兰士一期:丞望:迹期:之篺至:堡原创性声明与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢在学期间研究成果使用说明书本人声明:所呈交的论文是本人在导师指导下进行的研究工作及取得的研究成果。除了文中特别加以标注和致谢中所罗列的内容以外,论文中不包含其他人己经发表或撰写过的研究成果,也不包含为获得内蒙古大学或其他教育机构的学位或证书而使用过的材料。意。学位论文作者签名:期:学位论文作者完全了解内蒙古大学有关保留和使用学位论文的规定,即:内蒙古大学研究生在校攻读学位期间论文工作的知识产权单位属内蒙古大学。学校有权保留并向国家有关部门或机构送交论文的复印件和磁盘,允许学位论文被查阅和借阅;学校可以公布学位论文的全部或部分内容,可以允许采用影印、缩印或其它复制手段保存、汇编学位论文。作者今后使用涉及在学期问主要研究内容或研究成果,须征得内蒙古大学就读期间导师的同意;若用于发表论文,版权单位必须署名为内蒙古大学方可投稿或公开发表。日.
从远蒟测试套的设计与实现摘要协议测试是协议工程学的重要研究领域之一。其中,协议测试中的一致性测试是近年来国际上非常关注的、也是发展较快的一个研究领域,它是协议测试的基础,是提高和保证协议实现质量的有效手段。所谓协议一致性测试就是用来验证协议实现与相应协议标准的一致性,协议一致性测试过程大致划分为三个阶段:第一阶段为“测试生成’’,第二阶段为“测试实现谌锥为“测试执行2馐蕴椎纳杓圃颊颊霾馐曰疃ィ渲柿恐苯泳龆ㄐ议测试的科学性和有效性。本文采用疘于年颁布的标准形式描述语言甃描述协议,它具有无二义性且能够支持视Χ愿丛哟笙统进行分层描述的方法;采用可扩展标记语言硎静馐蕴祝虻ヒ子掌握和使用且符合国际标准,并易于测试套的长久保存及重用,本论文主要研究工作包括:有限状态机F浯味訶进行了详细研究,设计了测试套在文档中的层次结构,并在侠肈惴ê推舴⑹経序列生成算法生成了袷降牟馐蕴祝肑镅陨杓撇⑹ü訠路由协议的研究,从甃描述的酚尚樽远闪薠测试套。对甃标准进行了深入研究,自动生成了甃描述的协议的内蒙古人学硕十学位论文、
本进行测用本文关
狶%,,琣内蒙占人学硕十学位论文:.
:琩珽—琗,‘甌.,.,.珺从甃自动蒟测试套的设计与实现
摘要⋯⋯⋯⋯⋯⋯⋯⋯:‘⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.目录⋯⋯⋯⋯.甹⋯⋯⋯⋯⋯⋯⋯第一章绪论⋯⋯⋯⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯选题背景⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..论文结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..⋯⋯⋯⋯⋯⋯⋯⋯⋯第二章协议一致性测试技术⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..协议测试套⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一致性测试体系结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.第三章研究基础⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一⋯形式描述技术⋯⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..形式化描述语言甃⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.幕∮镅浴哪?橛镅浴可扩展标记语言蚪椤骸S镅缘挠诺恪南喙丶际酢第四章测试套自动生成工具的设计与实现⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.测试套自动生成工具框架⋯⋯⋯⋯.#骸骸拇娲⒔峁埂甃文本的解析⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯....嬷艶中的状态⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..玫奖淝ɑ∽⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..目录从远蒟测试套的设计与实现⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图表目录⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯国内外研究现状⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..协议测试的类型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..协议‘一致性测试过程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.诵慕涌诮樯堋蚪椤生成甹⋯⋯⋯⋯⋯⋯⋯⋯⋯.内蒙古人学硕十学何论文.,
.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.第五章协议的测试套生成⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯.榈腦测试套⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.第六章总结与展望⋯..⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.本文主要工作⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯对未来的展望⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯参考文献⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯刺碌腦测试例⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯攻读学位期间发表的学术论文⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯测试序列的生成⋯⋯⋯⋯⋯⋯⋯二⋯⋯⋯...;狣模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯P妥;猉文档⋯⋯⋯⋯⋯