【摘 要】
:
软件测试是保证软件质量的重要方法之一,是软件生命周期中非常重要的一个环节。软件测试的关键技术之一就是高质量的测试用例的构造。由于传统的手工构造测试用例的方法效率低
论文部分内容阅读
软件测试是保证软件质量的重要方法之一,是软件生命周期中非常重要的一个环节。软件测试的关键技术之一就是高质量的测试用例的构造。由于传统的手工构造测试用例的方法效率低下,且受测试人员经验等人为因素的干扰较大,因此高质量测试用例的自动化生成技术的研究越来越受到工业界和学术界的重视。
本文针对如何高自动化地生成高质量的测试用例这一研究课题,对测试用例的挑选和生成过程进行了研究,提出了新的挑选和生成测试用例的方法,主要工作如下:
(1)不变量和适应算法指导测试用例生成
该方法将自适应随机算法的思想应用到基于不变量的测试用例自动生成技术中,即考虑了程序输入域中失效区域的局部连续性的特性,在输入空间中跳跃式地选择测试用例,克服了随机测试的盲目性,增大了下一个用例为有效用例的概率。实验结果表明,基于适应算法的挑选测试用例的方法不仅克服了随机测试的低覆盖率高冗余的缺点,还提高了有效测试用例集合的收敛速度。
(2)基于断言的测试用例自动生成
基于断言的测试用例自动生成方法充分利用程序不变量的反馈信息,将动态似然不变量自动转换成断言并插装生成断言程序,利用断言程序判定随机生成的测试用例的有效性。这种方法不仅保持了原来基于不变量的自动化测试用例生成方法的高覆盖率,并且避免了重复提取相同的动态似然不变量集合。实验表明,该方法减少了运行Daikon提取不变量的次数,降低了时间开销,且随着程序量的增大,优势更加明显。
与原有的方法相比,本文提出的两种方法从不同的角度优化了测试用例自动生成的过程,在不降低测试用例集合质量的情况下能达到更高的效率。对测试用例的自动化生成具有重要的意义。
其他文献
在数字图像的获取过程中,不可避免的要受到诸多因素的影响,导致图像质量达不到应用要求。由于受到硬件工艺的限制,如何采用软件的方法提高图像的分辨率受到很多研究者的注意。以
随着大规模互联网应用的高速发展,给存储系统的可扩展性提出了更高的要求,键值数据库由于其简单高效的数据模型在可扩展性方面较传统的数据库系统有很大的优势。另一方面,随
近年来,在计算机科学领域中,与本体相关的研究越来越多。科学家和学者已经构建了各种各样的本体,但尚未构建社会群体角色本体。本课题的研究内容就是如何构建社会群体角色本体。
大规模稀疏矩阵的求解是高性能计算中的一个常见问题,广泛存在于工程实践尤其是计算机仿真领域。用常规方法解稀疏矩阵时,会浪费大量的计算资源。目前,在国内外,在通用计算领域对
随着智能电网的发展,越来越多的新能源接入其中,如太阳能、风能等,形成分布式电网模式。然而,这些新能源的发电量易受光照、风速等自然条件的影响,尤其随着新能源接入量的增加,其本身的波动性对智能电网的稳定性带来很大影响。在电网稳定性状态评估和电网实时动态无功电压优化控制等方面,超短期负荷预测具有重要的参考意义。超短期负荷预测具有预测时间短、实时性要求高等特点,目前正处于研究阶段。智能电网中大量的时序数据
作为机械设备中最常见的零件之一,滚动轴承的工作状态直接决定了整台设备能否正常工作,甚至关系到整条生产线能否正常运行。滚动轴承诊断技术,可以及时的发现故障,避免造成重大事故,因此,进行轴承诊断的研究具有至关重要的现实意义。传统的信号处理方法常常忽略轴承信号中的重要信息,因此,利用传统故障诊断技术进行分析存在一定缺陷,出现误诊和漏诊现象比较频繁。而且随着科学技术的发展,对故障诊断的要求也越来越高,机器
随着电子信息技术及视频处理技术的发展,视频监控系统经历了纯模拟系统、部分数字化系统,完全数字化系统三个发展阶段。目前的视频的监控系统在完全数字化系统的基础上,借助
进入信息时代,人们可以利用信息技术实现信息的海量存储、高速传输以及快速处理,但信息的获取仍未达到理想的自动化水平。随着网络、传感器、无线通信、微机电等技术的发展进
实时姿态估计技术被广泛应用于体感交互、安全控制、医疗诊断等领域。深度图能直接反映拍摄场景的准确空间信息,大大降低了姿态估计的难度。但由于现有技术的封闭性,无法实现跨
蛋白质是构成单个细胞的基本有机物,是生命活动的执行者,其角色决定于它的功能,而蛋白质功能主要由他们的结构决定,因此研究蛋白质的结构对于认识其功能具有很大的意义。但由