【摘 要】
：
该文首先阐述了软件测试方法及其工具的发展概况,论述了各种结构测试策略和路径数据生成方法.控制流测试是一种被普遍接受的测试策略,但是许多程序的路径数太大甚至无穷,路径
论文部分内容阅读
该文首先阐述了软件测试方法及其工具的发展概况,论述了各种结构测试策略和路径数据生成方法.控制流测试是一种被普遍接受的测试策略,但是许多程序的路径数太大甚至无穷,路径测试需要的测试用例太多,实际中往往难以做到.该文采用了一种新的基于控制流的程序分段测试方法,其基于边界内部路径测试策略,对程序中循环的测试要执行该循环0次,1次和2次.通过将程序划分为若干测试段来生成切实可行数量的测试用例.测试段的尺寸可以通过调整分段参数C来改变.测试覆盖的完整性可以根据测试者的需要、测试成本或测试期限等来确定.
其他文献
该文首先讨论了车载导航系统的国内外研发的历史和现状,指出了国内开发车载导航系统的困难.然后分析了目前地理信息系统应用软件的几种开发模式,并且选择了较为合理的开发模
该文首先介绍了软件体系结构的概念、在该领域研究的方向,以及该文对软件体系结构进行建模的语言和工具.论文重点对计算机考试这一特定领域进行分析和研究,提出了一种新的软
本文综述了与本课题密切相关的多个学科领域的发展现状，包括地理信息系统、数字地图以及数据挖掘等当今比较前沿的学科领域。分析了地理信息系统技术，研究了三维地理信息系统的
该文首先概括介绍了Internet和专家系统各自的发展状况以及网络计算对专家系统应用的影响.对分布式专家系统的相关技术做了详细介绍.包括：分布式专家系统的组织结构,多系统通
首先,通过分析比较各种AS拓扑结构的信息源,该文采用BGP路由信息构造AS拓扑图.边界网关协议BGP与AS密不可分,其路由表中包含表示AS连接关系的AS-PATH字段,可以作为拓扑结构的
该论文主要研究了Java技术及其应用方法,着重对J2EE的体系结构以及应用模式进行了详细讨论,对J2EE中的核心技术如JSP、Servlet、EJB、JDBC、JavaIDL等方面做了深入研究.针对
环境感知是移动机器人研究中的关键技术之一，随着智能车研究的迅速发展，逐渐展现出较大的研究价值和应用前景。本文主要讨论了室外移动机器人在视觉感知中的若干关键问题，主要包
该文首先介绍了系统的开发环境和工具,给出了系统功能目标和实现的技术路线,接着按照子系统的划分详细说明了系统的设计思想、关键技术.最后,给出了系统的具体实现结果以及对
该文来源于第二炮兵某研究所开发的军事模拟软件系统对地形的三维显示要求,即依据等高线数据、军用GIS提供的地理信息数据以及其他数据源建立地形三维数字模型,实现地形的三
基于位置的服务是移动互联网发展的重要方向。随着智能手机等智能移动设备的普及,越来越多的基于用户位置信息的创新应用出现,基于位置的服务正在深刻地改变着人们的生活方式