Paper Info
Title
A Systematic Approach to Generate Inputs to Test UML Design Models
Abstract
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.
Year
DOI
Venue
2006
10.1109/ISSRE.2006.10
ISSRE
Keywords
Field
DocType
variable assignment graph,mdd project,software testing,fault detection capability,test input constraint,uml,uml design model,test uml design models,configuration constraint solver,systematic approach,generate inputs,test input,uml class,test adequacy criteria,model execution,class diagram,practical model validation technique,detailed design phase,interaction dia- grams,graph theory,fault detection,formal specification,unified modeling language,formal verification,model validation
Sequence diagram,Unified Modeling Language,Fault detection and isolation,Computer science,Formal specification,Constraint satisfaction problem,Symbolic execution,Applications of UML,Reliability engineering,Formal verification
Conference
ISBN
Citations 
PageRank 
0-7695-2684-5
30
1.28
References 
Authors
14
3
Name
Order
Citations
PageRank
Trung T. Dinh-trong118711.29
Sudipto Ghosh2112981.97
Robert B. France33315271.06