论文部分内容阅读
目前常用的协议一致性测试的测试方法是首先对协议规范建模 ,然后通过模型生成测试集 ,最后执行测试集 .这种方法存在执行效率不高和实际测试范围可能被缩小的问题 ,为此本文提出一种可变测试集的方法 ,通过动态执行测试集提高其执行效率 ,同时从与协议实现无关的角度扩大协议的实际测试范围
一种可变测试集的协议一致性测试方法
【摘 要】
：
目前常用的协议一致性测试的测试方法是首先对协议规范建模 ,然后通过模型生成测试集 ,最后执行测试集 .这种方法存在执行效率不高和实际测试范围可能被缩小的问题 ,为此本文提出一种可变测试集的方法 ,通过动态执行测试集提高其执行效率 ,同时从与协议实现无关的角度扩大协议的实际测试范围
【出 处】
：
电子学报
【发表日期】
：
2003年S1期
【基金项目】
：
国家自然科学基金(No.90104010,No.60241004),国家863项目(No.2001AA121016),国家973计划项目(NO.2003CB314800),中国科学院计算机科学重点实验室基础研究课题基金
其他文献
未来的移动通信市场竞争将日益激烈,市场的格局将更加复杂,运营商的经营风险将大幅提升;客户的需求日渐多样化、差异化,客户对运营商的选择也将有更多的空间;随着市场渗透率
交织器的设计作为Turbo码技术的关键性的核心环节。一直缺乏系统的理论设计和明确的优化准则，为此，本文首先探讨了交织器优化设计的理论基础和Turbo码性能卓越的深层原因，从码重
本文研究CDMA信号的波达方向和直接扩频序列同时估计问题,在无任何波达方向信息的条件下,提出了利用用户特征序列定义一种新的目标函数,通过对目标函数寻优得到最佳权矢量,从
以问卷调查的形式,通过描述性统计和定量分析,对30名大学英语教师和150名一、二年级大学生就大学英语课堂提问模式进行了问卷调查和研究。调查显示,'教师只向学生提问
有一个叫托马斯的人，有一年，他向友人借了40万元．没有财产担保，也没有存单抵押，只有一句话：“相信我，年底无论如何都还你。”到了年底，他的资金周转非常困难，赊款催不回来，借款又催得紧
本文系统分析了影响平面螺旋电感Q值的主要因素,并制作出一种应用于射频通信的硅微机械悬浮结构电感.在考虑趋肤效应、涡流损耗等高频电磁场效应对电感Q值的影响后,获得了微
长期以来，非影像专业医学生《超声诊断学》的教学质量普遍不太理想。究其原因，由于《超声诊断学》本身教材内容多，授课时数少，教学任务重，学生学习难度大。本文从教学现状人手，阐述
用来替代哈勃望远镜的下一代太空望远镜(NGST)的开发和部署是美国航空与航天局(NASA)为推进宇宙探索的一个挑战性项目.NGST上装配一个包括0.6～5μm多目标分光计的照相机/分光