基于虚拟测试的协议冒烟测试分析与应用

《基于虚拟测试的协议冒烟测试分析与应用》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、中国科学技术大学学位论文相关声明本人声明所呈交的学位论文，是本人在导师指导下进行研究工作所取得的成果。除已特别加以标注和致谢的地方外，论文中不包含任何他人已经发表或撰写过的研究成果。与我一同工作的同志对本研究所做的贡献均已在论文中作了明确的说明。本人授权中国科学技术大学拥有学位论文的部分使用权，即：学校有权按有关规定向国家有关部门或机构送交论文的复印件和电子版，允许论文被查阅或借阅，可以将学位论文编入有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。保密的学位论文在解密后也

2、遵守此规定。作者签名：壶：I盗连狮7年f月≤日中嘲科学技术大学碳士学位论文第一章绪论1．1协议工程与协议测试协议工程“’是由Piatkowski于1981年提出的，它借鉴了软件工獠中的一些惑戆，经过咒专笨静发展，冬警诲议工程磷究孛逢舅了谗多嚣难，餐遴是雩l莛了人们的极大关注与兴趣，在协议工程研究方面取得了一定的进展，形成了比较完蓥的研究体系，可以说协议工程是以协议软件为研究对象的软件工程，建立了一套∥褥戆、数学纯、形式耗弱建论秘方法掰。褥谖王嚣鹣辑究蓬囝毽旗镑议说明(Protocolspecifi

3、cation)、协议综合(ProtocolSynthesis)、协议诞实与验证(ProtocolValidation／Verification)、协议测试(ProtocolTesting)、协议转换(ProtocolConversion)、毪蔻势拆(PerformanceAnalysis)敬爱鑫动实琨(AutomaticImplementation)。在协议工程领域里，协议说明是指对协议标准文本的形式化说明，协议综合悬指根据协议栋准文本说明设计的过程中保证协议正确稳静方法研究，诱谈话实与验证是捂辩

4、形式住资议谈赘豹语法／语义静正确毪进行证实和验证，协议测试“‘驰’71是指通过实验的方法发现协议实现在功能和性能方面的错误，协议转换是攒实现不同协议进程之间的赢操作，它对于研究不同瓣终闻的互逶彀有着重要豹意义，往髓分砉蓐楚指对设谤宪成豹协议{；毛裙评价萁嚣具荫的特性，自幼实现是指由机器对形式化协议说明进行编译处理，产生协议实现的主体部分。其中，协议测试是保证协议软件正确实现的有效保鼯。协议测试是协议工程学瓣一个重要内容，是对网终设备实现是褥符合躲c等国际标准的一种软件测试嘲，单期的协议测试基本上是

5、囱协议的开发者自己完成的，20世纪70年代_歼始国终的一些机构开始研究由第三方进行的携议测试技术；麸20世纪80年代开始，随着计算视网络发袋特嗣是开放挺异梅网络豹邋猛发震，协议测试理论和技术的研究越来越重要，融经成为国际上计算机网络研究的热点之～。协议测试嬲主要研究内容包括以下几个方面：(1)测试方法：在被溅系绕箍供不同的可访砑程度辩，维成溺试系统的多个测试器相对于被测系统的配置方法；(2)测试生成：如鹰从协议豹提关标猿巾褥到协议测试掰需要豹测试集；(3)测试集攒述：寻找一种含适的语言和图表，以简

6、溶、通用和臻输亿的方法表示测试集；中国科学技术大学硕士学位论义第一章绪论(4)测试执行：这是协议测试过程中的关键，通过对测试集的执行作出最后的溺试判定。l。2协议溅试掰究现状基嚣协议测试已经不仅仪是产菇舞发磺划过援中一个篱单的检测支持避程，而怒发展成为计算机网络技术的一个重要分支和协议工稷学的～个重疆组成部分。对协议铡试技术酌研究将赢接影嫡到计算杌潮络技术的迸疹和整齐网络市场的竞争与发展，势必弱络的安全防护提供了一个捻测的簪段。嫒戬，缀多国家都投入了大擞的人力物力从事协议测试的研究工作。例如：英国

7、的国家物理实验室NPL、法国国家通信研究中心、德国函家通信研究局GMD、美国国家标准纯研究羼、美国勰罕毒传尔大学互撵终磅究实验室、演肇大学谤算撬辩学与技术系瓣鼹络和协议测试实骏室和中科院计算所的网络测试实验室等单位都在这个领域投入了大量豹研究力量。在国外，像美国硅谷有几家大的协议测试实验嶷，比如TolIyGroup、Keylabs、Lanquest等，它销专门提供狻壶公爱戆第篓方熬测试服务，提供权威的测试报告，网络方面的一些著名生产厂家如Cisco、3Com、Lucent、Nortel、Intel

8、等都是这些实验室的客户。靛溅试熬形裟主分，奏主凌弱试秘羧动测试辩耱。主动测试是壹瓣试者鑫己主动设计一些钡4试序列然后执行，执彳亍的时候通过观察待测实体的输出是否和预期的输出一致来判定待测实现是否存在错误，其中最核心的一个问题怒测试序列静玺藏方法。溅试序列来源予协议器准繇塞密臻豹功毙，所越窀虿戳簌协议瓶范中推导出来。由予协议本身可以抽象成数据擞述以及作用在这些数据上的行为描述，因此协议一致性测试旭““’可以分为对控制流的测试以及对数据流的测试。旋动测试方法弱主动溅试方法豹区羁在于：燕