Using and Improving Requirement Properties for Mutation Based Test-Case Generation
Gordon Fraser, Franz Wotawa · 2006
Automated test-case generation is expected to significantly improve software development, where a considerable part of the effort involved is devoted to testing. Many solutions have been proposed, differing on the methods and tools involved. Approaches based on the utilization of model-checkers have been shown to be very promising. This paper presents such an approach, incorporating ideas of mutation testing. The resulting test-cases can be directly mapped to requirement properties. We show that this approach can also be used to identify incompleteness and potential errors in the re-quirements specification. Empirical results are provided to demonstrate the feasibility of this approach.