loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
17th International Symposium on Software Reliability Engineering (ISSRE'06)
A Systematic Approach to Generate Inputs to Test UML Design Models
Raleigh, North Carolina
November 07-November 10
ISBN: 0-7695-2684-5
ASCII Text
x 
 
Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France, "A Systematic Approach to Generate Inputs to Test UML Design Models," Software Reliability Engineering, International Symposium on, pp. 95-104, 17th International Symposium on Software Reliability Engineering (ISSRE'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ISSRE.2006.10,
author = {Trung T. Dinh-Trong and Sudipto Ghosh and Robert B. France},
title = {A Systematic Approach to Generate Inputs to Test UML Design Models},
journal ={Software Reliability Engineering, International Symposium on},
volume = {0},
year = {2006},
issn = {1071-9458},
pages = {95-104},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISSRE.2006.10},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Reliability Engineering, International Symposium on
TI - A Systematic Approach to Generate Inputs to Test UML Design Models
SN - 1071-9458
SP95
EP104
A1 - Trung T. Dinh-Trong,
A1 - Sudipto Ghosh,
A1 - Robert B. France,
PY - 2006
KW - null
VL - 0
JA - Software Reliability Engineering, International Symposium on
ER -
 
Trung T. Dinh-Trong, Colorado State University
Sudipto Ghosh, Colorado State University
Robert B. France, Colorado State University
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.
Citation:
Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France, "A Systematic Approach to Generate Inputs to Test UML Design Models," issre, pp.95-104, 17th International Symposium on Software Reliability Engineering (ISSRE'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.