一种生成测试计划的逻辑方法
软件工程
2016-12-14 v1
摘要
在测试计划的执行过程中，如果某个测试用例的结果可以从已执行的测试用例中推断出来，测试经理可能会决定放弃该用例。我们展示了自动生成一个测试计划以利用这种合理放弃测试用例的潜力，从而减少测试用例的数量是可能的。我们的方法使用布尔公式来建模测试结果之间的相互依赖关系。生成测试计划的算法在从已执行的测试用例推断某个测试用例的结果方面，提供了最优性的形式化保证。
引用
@article{arxiv.1612.04351,
title = {A Logical Approach to Generating Test Plans},
author = {Tobias Morciniec and Andreas Podelski},
journal= {arXiv preprint arXiv:1612.04351},
year = {2016}
}