基于静态分析结果的测试用例自动生成方法

原创

已于 2023-04-21 10:29:09 修改 · 697 阅读

2 ·

CC 4.0 BY-SA版权

文章标签：

#测试用例 #用例自动生成 #基于静态分析自动生成用例 #通用缺陷用例集 #约束求解用例集

于 2023-04-21 10:27:12 首次发布

文章介绍了在软件测试中，如何利用约束求解法生成高质量的自动测试用例，并结合静态缺陷检测发现通用缺陷，通过不同方法的组合以达到测试目标。在无法满足目标时，会使用随机法生成额外的用例，如有需要，则通过人工补充用例以确保测试覆盖率。

自动生成用例的方法有多种，主要包括随机法、遗传算法、等价类划分法、约束求解法等。各种方法的适用范围、性能及生成的用例质量各不相同，具体见表1。从表1可以看出，约束求解法效率高，生成的用例质量也高，所以本项目中采用约束求解法作为主要的自动用例生成方法。另外，从表中也可以看出，受限于求解器的能力，约束求解法并不能适用于所有的模块，因此需要同其它方法配合共同生成用例集。