论文部分内容阅读
目前常用的协议一致性测试的测试方法是首先对协议规范建模 ,然后通过模型生成测试集 ,最后执行测试集 .这种方法存在执行效率不高和实际测试范围可能被缩小的问题 ,为此本文提出一种可变测试集的方法 ,通过动态执行测试集提高其执行效率 ,同时从与协议实现无关的角度扩大协议的实际测试范围
一种可变测试集的协议一致性测试方法
【摘 要】
：
目前常用的协议一致性测试的测试方法是首先对协议规范建模 ,然后通过模型生成测试集 ,最后执行测试集 .这种方法存在执行效率不高和实际测试范围可能被缩小的问题 ,为此本文提出一种可变测试集的方法 ,通过动态执行测试集提高其执行效率 ,同时从与协议实现无关的角度扩大协议的实际测试范围
【出 处】
：
电子学报
【发表日期】
：
2003年S1期
【基金项目】
：
国家自然科学基金(No.90104010,No.60241004),国家863项目(No.2001AA121016),国家973计划项目(NO.2003CB314800),中国科学院计算机科学重点实验室基础研究课题基金
其他文献
交织器的设计作为Turbo码技术的关键性的核心环节。一直缺乏系统的理论设计和明确的优化准则，为此，本文首先探讨了交织器优化设计的理论基础和Turbo码性能卓越的深层原因，从码重
本文研究CDMA信号的波达方向和直接扩频序列同时估计问题,在无任何波达方向信息的条件下,提出了利用用户特征序列定义一种新的目标函数,通过对目标函数寻优得到最佳权矢量,从
本文系统分析了影响平面螺旋电感Q值的主要因素,并制作出一种应用于射频通信的硅微机械悬浮结构电感.在考虑趋肤效应、涡流损耗等高频电磁场效应对电感Q值的影响后,获得了微
长期以来，非影像专业医学生《超声诊断学》的教学质量普遍不太理想。究其原因，由于《超声诊断学》本身教材内容多，授课时数少，教学任务重，学生学习难度大。本文从教学现状人手，阐述
用来替代哈勃望远镜的下一代太空望远镜(NGST)的开发和部署是美国航空与航天局(NASA)为推进宇宙探索的一个挑战性项目.NGST上装配一个包括0.6～5μm多目标分光计的照相机/分光