论文部分内容阅读
本文在分析与研究TCP/IP一致性测试中所使用的三种测试集生成方法的基础上,提出了一种动态选择与自动机相结合的一致性测试集的生成技术,该技术基于广度搜索算法,可以对测试集进行有效优化,并能提高生成测试例的覆盖率.
TCP/IP协议一致性测试集的生成技术
【摘 要】
：
本文在分析与研究TCP/IP一致性测试中所使用的三种测试集生成方法的基础上,提出了一种动态选择与自动机相结合的一致性测试集的生成技术,该技术基于广度搜索算法,可以对测试
【机 构】
：
上海师范大学数理信息学院(上海)
【出 处】
：
第二届中国测试学术会议
【发表日期】
：
2002年期
其他文献
《福布斯》杂志近日发布的租金最贵城市排行榜显示，东京、香港和北京分列前三位，上海居第五。榜单显示，虽然东京、香港地区的两居室年租金均高于北京，但是如果按照人均年收入占比计算，北京生活成本均高于前两者。东京、香港、北京的两居室年租金成本相差不超过1万港元，而东京、香港地区的人均年收入却是北京地区的5至7倍还多。如此计算，东京的年房租占其人均年收入的13.9％，香港占8.8％。而在北京如果租下一套两居
随着军用飞机技术的飞速发展,军用飞机具有的功能愈来愈完善,装备的设备愈来愈多,军用飞机设备的重量占全机重量的比例愈来愈大,设备布置方案在军用飞机设计中的地位愈来愈突
GPSS是离散系统仿真的语言系统,广泛用于经济和管理系统的分析与设计.作者根据GPSS仿真系统的语言惯例,用C++语言开发了一个结构更为合理、使用更为灵活和功能更为强大的仿真
网络环境下的电子商务的安全,必须要有一个系统的、安全的解决方案.本文针对网络环境下的电子商务的特别之处——认证和加密对其解决方法—PKI作初步探讨.
汽轮机组的多发、常见故障之中,汽轮机出现异常振动是较为多发、复杂、难以确定的故障之一,如果不及时加以有效的排除,则会引起整个发电机组的安全、稳定性。因此,有效分析、
期刊