【摘 要】
：
在软件测试的过程中,采用合适的方式构造测试用例,是非常重要的一环。传统的测试用例生成方式主要由测试人员手动生成或者通过随机的方式生成,这些方式都存在着缺陷,手动生成
论文部分内容阅读
在软件测试的过程中,采用合适的方式构造测试用例,是非常重要的一环。传统的测试用例生成方式主要由测试人员手动生成或者通过随机的方式生成,这些方式都存在着缺陷,手动生成测试用例耗费人力且效率低下；随机生成测试用例效率虽然较高但是覆盖能力较低。本文首先探讨了基于约束求解的测试用例生成技术的相关技术,如代码的静态分析,路径选择等,介绍了基于约束求解的测试用例生成技术的概况。接着介绍了在基于约束求解的测试用例生成中应用的一些技术,如变量的初始区间确定技术。它可以通过在全路径上对变量进行区间运算的方式,为每一个计算出一个合理的区间,在这个区间内生成测试用例,不仅生成过程效率提高,而且测试用例的质量也有所提高。最后阐述了基于约束求解的测试用例生成的特点和适用情况。通过约束求解的方法分析程序路径中所有的约束关系表达式,采用逆向符号分析处理约束表达式,逆推求解约束表达式组,求解得到测试用例的整体过程,并简要介绍了它在实际工程中的应用情况。本文通过对若干个开源C语言代码的测试来验证基于约束求解的测试用例生成技术的有效性。实验证明,合理应用基于约束求解的测试用例生成器,能够显著提高测试用例的覆盖率,达到更好的测试效果。
其他文献
随着人机交互技术和计算机视觉的发展，基于视觉的交互成为当今人机交互发展的主要方向之一，其中的人脸跟踪技术成为国内外研究的热点。人脸作为人类独一无二的生物特征，具备不易
由于近些年经济和科学技术的快速发展,物联网产业也随之而生。在“智慧地球”这一概念被提出之后,新一轮的科技革新即将全面展开。物联网将是以物物相连为基础的,能够应用到
当今世界经济发展迅猛,企业之间的竞争也愈加激烈,各企业之间的竞争焦点也从原来的单纯的提高产品质量,降低生产成本,转移到提高产品服务上。而呼叫中心的诞生,把计算机系统
交互式电子技术手册(Interactive Electronic Technical Manual）是美国和欧洲许多发达国家推行持续采办与寿命周期保障(Continuous Acquisition and Life-Cycle Support,CALS)
在科学计算可视化和真实感图形学领域,体绘制算法目前已经成为针对体数据进行可视化和真实感绘制的标准方法。为了提高体绘制算法的效率和效果,体绘制硬件加速算法和体光照真
天文望远镜技术的发展实现了天体观测数据的全波段覆盖。交叉证认用来确立不同波段数据间天体的对应关系,是多波段数据融合的关键技术。随着天文数据采集量越来越大,交叉证认
本文以基础设施云为研究对象,首先调研和总结了国内外主流的基础设施云。通过分析典型的开源基础设施云,发现每个基础设施云都有自己的一套系统架构及角色定义,并且适用场景
近年来，智能视频监控系统在城市交通管理中的作用日趋重要，违章停车的检测成为智能视频监控应用的一个重要方面，在实现违章行为监管、提高城市管理效率中有着重要的作用。本文研
现场总线技术是20世纪80年代后期发展起来的一种先进的工业控制技术，它将计算机网络和数字通信技术应用到了工业控制领域。将现场总线技术应用到伺服驱动装置，使现场总线成为控
交叉证认是天文学领域中实现多波段数据融合的一项关键技术,它根据不同星表中天体分布位置上的相关性,来进行星表间的关联融合工作。交叉证认的主要意义在于,通过将不同波段