论文部分内容阅读
介绍了基于TCL的协议冒烟测试系统，对DHCP协议进行形式化分析，生成EFSM图，采用UIO方法生成一致性测试序列，并在该系统上针对提供DHCP服务的各网络设备进行了DHCP协议的冒烟测试，在实际应用中取得了较好的测试效率，缩短了产品研发周期，降低了风险，提高了产品的可靠性。
基于TCL的DHCP协议冒烟测试
【摘 要】
：
介绍了基于TCL的协议冒烟测试系统，对DHCP协议进行形式化分析，生成EFSM图，采用UIO方法生成一致性测试序列，并在该系统上针对提供DHCP服务的各网络设备进行了DHCP协议的冒烟测试，在
【机 构】
：
中国科学技术大学信息科学实验中心
【出 处】
：
电子技术应用
【发表日期】
：
2008年6期
其他文献
随着国家综合实力的提升，企业也获得了更大的发展空间，青年员工作为一个企业发展的动力，已经逐步成为了企业内部的主力军，尤其是青年员工的知识层面和工作热情更是企业发展的核心
宋代艺术在中华民族的艺术史上占有特殊的位置.虽然在疆土、国运、气势、境界方面,宋代不如汉唐的博大开阔、沉雄浑厚,然而它却以郁郁乎文哉的君子风范、厚积薄发的文化修养
一、完善企业内部审计制度的必要性<br> 首先，内部审计是加强企业内部控制的重要手段。内部审计具有独立性和客观性，这是企业进行内部控制的必要条件。只有通过严格审查和客
期刊
期货价格波动具有内在的规律性,通过对历史价格时间序列数据可以建立价格波动模型,进行短期预测,可以帮助投资者套期保值和规避风险.为了科学预测,在应用的过程中要使用多种
提出了一种红外弱小目标识别的新方法.从实际应用出发,考虑复杂的背景和大量的干扰噪声,找到了一种适合红外弱小目标识别的图像相似性度量方法.为提高此方法的稳定性,提出一
在对传统CORDIC算法进行改进的基础上，讨论了一种基于改进型CORDIC算法的NCO实现方法，该设计占用资源少、运算速度快、易于扩展。仿真结果证明该设计具有较高的性价比。
小微企业在推动经济增长、扩大就业、增加税收等方面具有不可替代的作用.支持小微企业发展对我国国民经济而言具有战略性意义.但是融资难是目前小微企业面临的突出问题,如何
20世纪80年代,在晋东南地区发掘民间古抄本<周乐星图><唐乐星图>等古赛写卷系列,揭开了古赛文化的深层底蕴,积淀着古代迎神赛社祀神歌舞戏伎之丰富蕴藏.本文据古赛写卷著录,