A Logical Approach to Generating Test Plans
Software Engineering
2016-12-14 v1
Abstract
During the execution of a test plan, a test manager may decide to drop a test case if its result can be inferred from already executed test cases. We show that it is possible to automatically generate a test plan to exploit the potential to justifiably drop a test case and thus reduce the number of test cases. Our approach uses Boolean formulas to model the mutual dependencies between test results. The algorithm to generate a test plan comes with the formal guarantee of optimality with regards to the inference of the result of a test case from already executed test cases.
Keywords
Cite
@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}
}