Testing Distributed Component Based Systems Using UML/OCL
Achim D. Brucker, Burkhart Wolff · 2001
Abstract We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, code for runtime checking of components in J2EE/EJB is automatically generated. Thus, a UML–model for a component can be used in a black–box test for the component. A prototypic implementation of the code generator has been integrated into a commercial software development tool 1. 1