Referenced Items are not available for this document.
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
Published in:
Software Reliability Engineering, 2006. ISSRE '06. 17th International Symposium on
Date of Conference: 7-10 Nov. 2006
- Page(s):
- 95 - 104
- ISSN :
- 1071-9458
- Print ISBN:
- 0-7695-2684-5
- INSPEC Accession Number:
- 9287797
- Conference Location :
- Raleigh, NC
- Digital Object Identifier :
- 10.1109/ISSRE.2006.10
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
