| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 551523 | Information and Software Technology | 2007 | 21 Pages |
Abstract
Early detection and correction of faults in the software design phase can reduce total cost and time to market of a software product. In this paper we describe an approach for testing UML design models to uncover inconsistencies. Our approach uses behavioral views such as Sequence Diagrams to simulate state change in an aggregate model. The aggregate model is the artifact of merging information from behavioral and structural UML views. OCL pre-conditions, post-conditions and invariants are used as a test oracle.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Human-Computer Interaction
Authors
Orest Pilskalns, Anneliese Andrews, Andrew Knight, Sudipto Ghosh, Robert France,