Goal-oriented test data generation for pointer programs

Goal-oriented dynamic test generation

Constraint-based Test Generation for Pointer-based Data Structures

In this paper, we propose an approach for automated test case generation based on techniques from Constraint Programming. We show how an imperative language can be extended with constraint variables and its operational semantics with constraints. By running a program in this extended language, we obtain constraints on the initial environment and heap. Solving these constrains, we obtain concret...

Automated Test Generation for Object-Oriented Programs with Multiple Targets

Software testing is costly. In particular, testing object-oriented programs is complicated and burdensome because of the difficulty in generating method sequences for creating objects and changing their states appropriately to achieve high branch coverage. Automated test generation based on static and dynamic analysis is not only an effective approach to saving time and reducing the burden of t...

Automated Evolutionary Test Data Generation with Domain Reduction for Aspect-Oriented Programs

Aspect-Oriented Programming is an emerging technique that helps improve separation of concerns in software systems. It has received a great deal of recent interest. However, algorithms and empirical results for testing of aspect-oriented programs are lagging some way behind this upsurge in interest. To date, there are few published approaches to automated test data generation for aspectoriented...

Generating Goal-Oriented Test Cases

This paper describes an AI planner assisted approach to generate test cases for system testing based on high level test objectives. Test generation is based on an extended UML model of the system under test and a mapping of high-level test objectives into initial and goal conditions of the planner. We illustrate the use of this approach on a series of high level test objectives one might apply ...