[发明专利]不变量指导的随机测试用例自动化生成方法

摘要

本申请书中就软件测试的核心问题——测试用例自动化生成，针对目前一种广泛应用的自动化技术——随机测试方法的缺点，提出了一种结合不变量技术的随机测试改进方法——不变量指导下的随机用例生成方法。主要提出两个新方法——利用提取到的程序不变量过滤无效测试用例，保留有效用例；利用提取到的程序不变量约简无效用例空间，提高选中有效用例的概率。通过这些方法，降低冗余率，满足覆盖率要求，极大地改进了传统随机方法的缺点。且整个用例生成过程完全自动化，除了必需的被测程序外，不需要其它任何的输入和人工干预。

主权项

一种不变量指导的随机测试用例自动化生成方法，其特征是利用程序不变量属性信息指导随机测试用例的自动化生成。