论文部分内容阅读
软件测试是软件质量保证的重要内容,是对软件可靠性的度量。核电软件作为计算机在核领域的应用,有着其自身的特殊性,如数据量大、数据精度高、数据流复杂等。由于核能的特殊性,要求核电软件有着高可靠性,这就更加离不开软件测试。软件测试是一项非常繁琐的工作,而且有着大量的重复劳动。在这重复工作中,如果全部依靠人工完成,不但占用大量的时间和人工,而且还极有可能出现差错。因此,软件测试的自动化就显得尤为重要。然而现在市面上大部分的自动测试工具并不能完全实现测试自动化,从测试用例的设计到执行结果的分析基本还是需要人工干预。测试用例是软件测试的核心部分,如果能针对被测软件自动生成测试用例,那将会节省许多资源。本文以对蒸汽发生器流动稳定性计算软件进行测试为背景,在单元测试过程中针对测试用例的自动生成这一问题提出了一种基于局部连续性的测试用例自动生成方法。该方法首先读取待测软件源程序,对程序进行分析得到基本路径,并结合各变量的取值范围得到步长值和划分测试空间;然后将步长值和测试空间作为测试用例生成模块的输入生成测试用例;最后将所有的测试空间内生成的测试用例进行整合,输出最终生成的测试用例集。为了验证该方法的性能,本文对比了本文方法与随机方法生成的测试用例的个数,并比较了该系统在不同复杂度下生成测试用例的个数与目标值的差异。实验结果证明,该系统对于在参数变量的取值范围较小时比较有优势,比较适合用于核电软件的测试。