Testing UML designs

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.

[1]  Per Runeson,et al.  Detection or isolation of defects? An experimental comparison of unit testing and code inspection , 2003, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003..

[2]  Orest Pilskalns,et al.  Defining maintainable components in the design phase , 2005, 21st IEEE International Conference on Software Maintenance (ICSM'05).

[3]  Orest Pilskalns,et al.  Defining and Qualifying Components in the Design Phase , 2004, SEKE.

[4]  Gregor Engels,et al.  UML Collaboration Diagrams and their Transformation to Java , 1999, International Conference on the Unified Modeling Language.

[5]  Lionel C. Briand,et al.  A UML-Based Approach to System Testing , 2001, Software and Systems Modeling.

[6]  David Harel,et al.  Executable object modeling with statecharts , 1997, Computer.

[7]  Thomas Gilb,et al.  Software Inspection , 1994 .

[8]  Elaine J. Weyuker,et al.  Theories of Program Testing and the Application of Revealing Subdomains , 1980, IEEE Transactions on Software Engineering.

[9]  Steven P. Miller,et al.  Applicability of modified condition/decision coverage to software testing , 1994, Softw. Eng. J..

[10]  Marc J. Balcer,et al.  The category-partition method for specifying and generating fuctional tests , 1988, CACM.

[11]  Issa Traoré,et al.  Enhancing structured review with model-based verification , 2004, IEEE Transactions on Software Engineering.

[12]  Robert B. France,et al.  Test adequacy criteria for UML design models , 2003, Softw. Test. Verification Reliab..

[13]  Lionel C. Briand,et al.  Towards Automated Support for Deriving Test Data from UML Statecharts , 2003, UML.

[14]  A. Jefferson Offutt,et al.  Generating Tests from UML Specifications , 1999, UML.

[15]  Dirk Riehle,et al.  The architecture of a UML virtual machine , 2001, OOPSLA '01.

[16]  Stephen J. Mellor,et al.  Executable UML - A Foundation for Model-Driven Architecture , 2002, Addison Wesley object technology series.

[17]  Michael E. Fagan.  Design and Code Inspections to Reduce Errors in Program Development (Reprint) , 2002, Software Pioneers.

[18]  A. Jefferson Offutt,et al.  Combination testing strategies: a survey , 2005, Softw. Test. Verification Reliab..

[19]  Martin Gogolla,et al.  Validation of UML and OCL Models by Automatic Snapshot Generation , 2003, UML.

[20]  Robert V. Binder,et al.  Testing Object-Oriented Systems: Models, Patterns, and Tools , 1999 .

[21]  M. Scheetz,et al.  Generating test cases from an OO model with an AI planning system , 1999 .

[22]  Shaoying Liu,et al.  Criteria for generating specification-based tests , 1999, Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434).

[23]  Lionel C. Briand,et al.  Dynamic coupling measurement for object-oriented software , 2004, IEEE Transactions on Software Engineering.

[24]  A. Jefferson Offutt,et al.  Using UML Collaboration Diagrams for Static Checking and Test Generation , 2000, UML.