Sciweavers

Share
ISSRE
2006
IEEE

A Systematic Approach to Generate Inputs to Test UML Design Models

12 years 3 months ago
A Systematic Approach to Generate Inputs to Test UML Design Models
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design models that are produced in the detailed design phase of an MDD project. A symbolic execution based approach is used to derive test input constraints from the paths of a Variable Assignment Graph, which integrates information from UML class and sequence diagrams. The constraints are solved using Alloy, a configuration constraint solver, to obtain the test inputs. The results of a pilot study carried out to explore the fault detection capability of the test inputs are reported.
Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. Fran
Added 12 Jun 2010
Updated 12 Jun 2010
Type Conference
Year 2006
Where ISSRE
Authors Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France
Comments (0)
books