基于语句占优关系的软件测试数据生成及缺陷检测

来源 :中国矿业大学 | 被引量 : 0次 | 上传用户:weishoukai
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试的最终目的是为了发现其存在的缺陷或者错误,从而提高软件的质量。而进行软件测试的核心,是采用有针对性的理论和方法,生成有效的测试数据。关于测试数据生成和缺陷检测,已经存在大量的研究成果。但是,对于一些特殊的软件,比如含标记变量软件等,利用传统方法求解的效率往往很低。经过研究发现,软件中的各个语句之间往往存在紧密的制约关系,语句占优关系是常见的制约关系之一。本文将基于语句之间的占优关系,解决含标记变量软件的测试数据生成和缺陷检测问题,并开发相应的软件测试原型系统。针对含标记变量软件的测试数据生成问题,提出了基于语句占优关系的测试数据生成方法。首先,针对目标语句存在多个占优语句的情况,提出评价语句覆盖难度的4个指标;然后,给出这些指标的计算方法,并基于上述指标值,利用Topsis方法排序,选择最容易覆盖的占优语句;最后,建立基于语句占优关系测试数据生成问题的数学模型,并采用遗传算法求解模型,以生成期望的测试数据。将所提方法应用于多个基准与工业程序测试,实验结果表明,所提方法能够显著提高测试数据生成的效率。针对含标记变量软件的缺陷检测问题,提出一种基于语句占优关系的缺陷检测方法。首先,给出了基于占优关系检测缺陷的原理;然后,建立了缺陷检测测试数据生成问题的数学模型;最后,采用遗传算法求解该模型,以生成检测缺陷的测试数据。将所提方法应用于多个基准和工业程序测试中,并与已有方法比较,实验结果表明,所提方法具有更高的缺陷检测能力,且克服了测试Oracle问题。利用前面的理论与方法,开发了基于语句占优关系的软件测试原型系统,实现基于语句占优关系的测试数据生成和缺陷检测两种基本功能。系统建立友好的人机交互界面,根据用户的测试需求,处理用户的输入信息;而且为用户提供多种选择功能,尤其是遗传操作。在原型系统平台中,运行基准测试程序,实验结果表明,所开发系统稳定有效,为软件自动化测试提供技术支持。本文研究工作基于语句之间的占优关系生成测试数据并进行缺陷检测,为软件测试提供了新的思路,在增强软件测试有效性的同时,提高了软件测试的效率,因此,具有重要的理论和应用价值。
其他文献
本文在东大自动化公司完成某铝厂熟料烧成回转窑自动化工程项目的基础上,为了进一步深入研究回转窑建模、控制与优化技术,依托东北大学“985工程”流程工业综合自动化科技创新
动态称重出现之前,车辆称重都是以静止称重的方式进行的,静止称重需要 车辆完全停止在称体上称量,检测速度慢效率低,而且大多数情况下只能称出整车重量,不能反映出轮重轴重等参
迭代学习控制来源于非线性系统的重复跟踪控制,解决高速运动的工业机械手的控制问题,它利用系统先前的控制经验和误差来修正不理想的控制信号,产生新的控制信号,使系统跟踪性能得
火炬自动电点火系统是目前石油、化工、天然气等企业广泛使用的火炬点火系统。该系统基于雅格布发弧原理,成功辅以PC机和PLC控制系统,实现了自动点火管理。本文首先介绍了火炬
计算机图形学、图像处理、计算机视觉是计算机科学中与人类的视觉感知有关的三个学科,在上述三个领域中,虚拟人脸建模和表情动画一直是研究的热点和难点。本文实现了一个图像驱
煤与瓦斯突出破坏性巨大,其发生往往具有突发性和不易侦测性的特点,只能被动地预防。煤与瓦斯突出灾害发生前往往伴随着声发射(AE)现象的产生,这可以作为突出灾害预测(突出可
在信息技术日新月异的今天,人们对远程视频监控的需求越来越迫切、要求越来越高。带宽的拓宽、嵌入式系统软、硬件的飞速发展都为远程视频的实时监控提供了方便。在一些如反恐
耳鸣是指在没有外界声音参与的情况下耳朵里却有某种响声。全世界近6亿的人患有不同程度的耳鸣,其中4.3%的人其耳鸣严重影响生活、工作和社交活动,甚至更加严重。老年人的耳