【摘 要】
：
协议测试属于黑盒测试,包括一致性测试、互操作性测试和性能测试.其中,一致性测试是发展最为成熟的,也是其它两种测试的基础.该文首先介绍了IPv6及其邻居发现协议,然后详细阐
论文部分内容阅读
协议测试属于黑盒测试,包括一致性测试、互操作性测试和性能测试.其中,一致性测试是发展最为成熟的,也是其它两种测试的基础.该文首先介绍了IPv6及其邻居发现协议,然后详细阐述了协议一致性测试理论,接着讨论了进行协议一致性测试所要用到的形式化描述语言包括ITU-T推荐的SDL,ISO/IEC9646标准所提出的TTCN等,最后选取邻居发现协议作为具体的研究对象,利用TelelogicTau4.0作为开发工具完成了协议仿真和测试集的开发,验证了该文所述方法的可行性.
其他文献
低密度奇偶校验(LDPC)码是一种具有稀疏奇偶检验矩阵的线性分组码,它在与基于置信传播(BP)迭代译码算法相结合的条件下具有逼近Shannon限的性能。该码的译码复杂度与码长成线
1 项目背景rn辽宁省交通规划设计院有限责任公司(以下简称“规划设计院”),成立于1954年,前身为交通部在辽宁成立的公路总局设计局第四分局,1975年更名为辽宁省交通勘测设计
研究背景和目的：结核病是由结核分枝杆菌(Mycobacteriumtuberculosis，MTB)引起的严重威胁人类健康的慢性传染病。MTB属细胞内感染菌，其免疫主要是以T细胞为主的细胞免疫。T细胞
该文基于煤矿井下监测监控系统的现状及其现代化技术的要求,提出一种通信干线采用光纤自愈环,用CAN总线改造现有分站的新型网络拓扑结构.为实现这一系统,该文分别提出了基于5
城市公立医院改革是深化医药卫生体制改革的一项重要任务,社会资本参与公立医院改革是国家积极鼓励的一种主要改革形式.本文结合社会资本参与公立医院改革的不同方式,阐述了
该文的研究对象是灰度(彩色)图像无失真压缩编码.对图像无失真压缩编码首先对图像进行解相关.基于分块的预测是一种有效的自适应预测方法,该文采用量化候选预测器集、基于子
该文就是针对采用空时编码发射分集的OFDM系统进行的信道估计算法研究,介绍了空时/空频编码的原理,研究了基于MMSE的信道估计算法和基于频域内插的信道估计算法.在基于MMSE的
该论文在X线数字成像理论的基础上,实现了RA6800系统中X线成像系统的图像显示模块,并根据实际的需要开发了一个适用于整个RA6800系统的算法测试平台.该文首先介绍了项目背景,
入侵检测是网络安全模型中的重要环节，需要解决一些问题：小样本情况下的推广能力，攻击特征提取质量有限，检测新攻击和更新样本时重新训练等问题。本文分析了传统的入侵检测技术的
现代社会中,很多人需要长时间连续的工作,例如长途司机连续驾驶、连续军事作业等。众所周知,这些超昼夜周期的工作以及强制性无睡眠或少睡眠的工作势必会对操作人员的行为能