程序切片技术在软件测试中的应用

来源 :计算机应用研究 | 被引量 : 39次 | 上传用户:smashnj
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于程序切片的软件测试是一种以程序或程序和需求相结合为基础的测试,它根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率、辅助测试数据的自动生成等。同时由于程序切片不仅考虑了数据依赖和控制依赖,还考虑了程序存在的其他各种依赖关系,使得测试的准确性得到提高。详细阐述了目前存在的各种切片技术及其应用领域,重点探讨了目前切片技术在测试领域中的具体应用。
其他文献
在研究软件度量技术和用例的基础上,提出一种基于用例的进度度量方法。该度量方法通过度量以用例为单位的各开发单元的进展来实现进度的度量,可以为项目的不同关系人提供不同级别的进度相关信息。该进度度量方法简明实用、灵活性强、易于软件组织实施和推广。
针对传统神经网络图像复原算法在复原过程中模糊图像边缘,收敛速度慢等不足,提出一种基于调和模型的快速神经网络图像复原算法。在该算法中,图像复原模型的正则化项采用调和模型,并在每次网络状态更新时引入最陡下降方法,使得网络能量迅速减小。实验表明,提出的算法能够很好复原图像的边缘特征,并具有快速收敛等优点。
锅炉送风机是火力发电企业重要的设备,通过检修可以保证其处于正常工作状态下,确保生产的平稳进行,具有降低生产成本的作用.本文主要针对状态检修在火力发电厂锅炉送风机上的
翻车机是由定位车、夹轮器、翻车机主体等组成。本文介绍了翻车机系统,其所有监控、动作和事件顺序通过PLC控制及各部分网络组成。并分析了对翻车机系统电气部分模块输出点坏
电能是与人们生活密切相关的重要能源之一,当前我国的高压输电线路伴随着显著提升的工业发展水平而得到了更加广泛的应用。作为重要的电力系统组成部分,高压输电线路因多变复
HX_D2B型电力机车运行中高压电压互感器经常出现各种故障,这些故障的出现会给机车正常运行造成直接影响。为了保证机车运行稳定性,本文决定在分析HX_D2B型电力机车所采用的JD
随着社会的发展和经济水平的提升以及科学技术的进步,我国电力行业得到了快速的发展。在电力系统运行当中,电力通信系统是其重要的组成部分,而电力通信电源是实现电力通信网
以某矿163下06胶顺一段为研究对象,采用聚能爆破技术对岩巷进行快速掘进,分析了聚能爆破原理。并对巷道掘进中人员管理、爆破管理以及掘进后顶帮支护管理、通风安全管理、冲