文档介绍：!论文题目基于属性的协议互操作性测试方法研究与实现研究生:割蕉指导教师:奎堡熬攫业:让篡扭筮住皇堡途研究方向:盆查式丕统皇圆终让篡所在学院:让篡扭堂院:专分类号锶:
●
盏】芷刭焦。取/矿’。坦:血竺原创性声明在学期间研究成果使用承诺书本人声明:所呈交的学位论文是本人在导师的指导下进行的研究工作及取得的研究成果。除本文己经注明引用的内容外,论文中不包含其他人己经发表或撰写过的研究成果,也不包含为获得凼墓直太堂及其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本学位论文作者完全了解学校有关保留、使用学位论文的规定,即:内蒙古大学有权将许编入有关数据库进行检索,也可以采用影印、缩印或其他复制手段保存、汇编学位论文。卫山五:￡玺本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。学位论文作者签名:指导教师签名:期:学位论文的全部内容或部分保留并向国家有关机构、部门送交学位论文的复印件和磁盘,允为保护学院和导师的知识产权,作者在学期间取得的研究成果属于内蒙古大学。作者今后使用涉及在学期间主要研究内容或研究成果,须征得内蒙古大学就读期间导师的同意;若用于发表论文,版权单位必须署名为内蒙古大学方可投稿或公开发表。期:.海.
摘要下一步的研究重点是:对于模型的选择过程如何确定选择更精确的属性去建模,以及如随着刂贩峙涓骟溃珼已经成为最佳的解决方案。协议作为最重要的路由协议之一,其相应的也在不断的更新。目前对路由协议的测试主要集中一致性测试方面,对于像这样一个复杂的协议,对其进行互操作测试是非常必要的。传统的协议互操作性测试采用的方式是基于被测系统的形式化模型,生成测试序列,对测试序列进行测试例抽象,最终得出测试判定。但是当形式化模型过于复杂时,.整个测试过程会变得复杂。建模作为整个测试的源头,对其模型粒度研究就很有必要了。本文针对协议的互操作性测试模型粒度选择展开,主要研究工作包括以下几方面:首先,研究了属性测试和互操作性测试的现状。并引入了基于模型的测试下一步提出以属性作为建模粒度做出了铺垫,并在此对基于属性的测试给出了自己的看法。.其次,对协议形式化建模方面,结合互操作性测试和属性的特性,给出了基于属性选择作为建模粒度方法,同时分析了这样建模的优点:同时,由于协议是一个交互、并发性较强的协议,所以采用2⑸赡P妥刺占浜蚐。最后,由忌刹馐孕蛄校直鸲源撤椒ㄉ傻牟馐孕蛄泻突谑粜匝≡褡魑=模粒度得出的测试序列进行比较。本文对互操作协议的交互属性作了深入的研究,提出了一次交互、二次交互、三次交互的概念,进一步细化了属性选择方法。,对基于属性和传统方法生成的测试序列分别进行测试用例的实现。结果说明采用基于属性作为模型选择的方法,。何避免错误的抽象模型和错误的抽象测试用例。:母从谩‘图
关键词:互操作性测试,路由协议,.派玃网,粒度基于属性的协议互操作性测试方法与研究Ⅱ
甌,,,,...,,甌·甌琒
,:,一珻.。
蜭M第一章引言⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯目录⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯甐图表目录⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯:⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯研究背景⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。⋯⋯⋯⋯⋯⋯⋯⋯⋯主要工作和贡献⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.论文结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯...⋯⋯⋯⋯⋯⋯⋯⋯...⋯⋯⋯⋯⋯⋯⋯⋯第二章基于属性的协议互操作性测试⋯⋯⋯⋯⋯⋯。:⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。:⋯⋯⋯.:⋯..协议测试概述.:⋯...⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯...⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯互操作性测试过程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.ゲ僮餍圆馐约芄购筒馐苑掷唷!属性测试⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。.#骸!基于属性的协议互操作性测试选择⋯⋯⋯⋯⋯⋯⋯⋯:⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯第三章协议互操作模型的建立⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯攀觥甹一⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯应用⒒ゲ僮髂P汀啊的模型建立⋯。⋯⋯⋯⋯。⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯