TY  - CONF
AU  - Brucker, Achim D.
AU  - Wolff, Burkhart
A2  - Österreichische Computer Gesellschaft
ED  - Bauknecht, K.
ED  - Brauer, W.
ED  - Mück, Th
PY  - 2001/nov/
TI  - Testing Distributed Component Based Systems Using UML/OCL
BT  - Informatik 2001
T3  - Tagungsband der GI/ÖCG Jahrestagung
SP  - 608
EP  - 614
VL  - 1
IS  - 157
CY  - Wien
KW  - Keywords: OCL, Constraint checking, EJB, J2EE, Design by Contract, Design pattern
N2  - 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. Further we introduce different design patterns for EJBs, which are motivated by different levels of abstraction, and show that these patterns work smoothly together with our OCL constraint checking. A prototypic implementation of the code generator, supporting our patterns with OCL support, has been integrated into a commercial software development tool.
SN  - 3-85403-157-2
UR  - http://www.brucker.ch/bibliography/abstract/brucker.ea-testing-2001
L1  - http://www.brucker.ch/bibliography/download/2001/info2001.pdf
ID  - brucker.ea:testing:2001
ER  -