Automatic test data synthesis using UML sequence diagrams

Model based testing techniques are used to generate test scenarios from a behavioral description of system under tests. For a large and complex system, there are usually a large number of scenarios and hence a large number of test paths also called test specifications. To automate test execution, each test specification should be augmented with appropriate test input data. In this paper, we propose an approach of synthesizing test data from the information embedded in model elements such as class diagrams, sequence diagrams and OCL constraints. In our approach, we enrich a sequence diagram with attribute and constraint information derived from class diagram and OCL constraints and map it onto a structured composite graph called SCG. The test specifications are then generated from SCG. For each test specification, we follow a constraint solving system to generate test data.