Testing UML designs

• Autores: Orest Pilskalns, Anneliese Andrews, Andrew Knight, Sudipto Ghosh, Robert France
• Localización: Information and software technology, ISSN 0950-5849, Vol. 49, Nº 8, 2007, págs. 892-912
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.