pdfreaders.org

Testing Distributed Component Based Systems Using UML/OCL

Achim D. Brucker und Burkhart Wolff

Cover for brucker.ea:testing:2001.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.

Schlüsselwörter: Keywords: OCL, Constraint checking, EJB, J2EE, Design by Contract, Design pattern
Kategorien:
Dokumente: (Artikel als PDF Datei) (Folien) (Handout)

QR Code for brucker.ea:testing:2001.Bitte zitieren sie diesen Artikel wie folgt:
Achim D. Brucker und Burkhart Wolff. Testing Distributed Component Based Systems Using UML/OCL. In Informatik 2001. Tagungsband der GI/ÖCG Jahrestagung, 1 (157), pages 608-614, 2001.
Schlüsselwörter: Keywords: OCL, Constraint checking, EJB, J2EE, Design by Contract, Design pattern
(Artikel als PDF Datei) (BibTeX) (Endnote) (RIS) (Word) (Share article on LinkedIn. Share article on CiteULike.)

BibTeX
@InProceedings{ brucker.ea:testing: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. 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.},
address = {Wien},
author = {Achim D. Brucker and Burkhart Wolff},
booktitle = {Informatik 2001},
editor = {K. Bauknecht and W. Brauer and Th. M{\"u}ck},
extended = {\cite{brucker.ea:checking:2001}.},
isbn = {3-85403-157-2},
keywords = {Keywords: OCL, Constraint checking, EJB, J2EE, Design by Contract, Design pattern},
language = {USenglish},
month = {nov},
number = {157},
organization = {{\"O}sterreichische Computer Gesellschaft},
pages = {608--614},
pdf = {https://www.brucker.ch/bibliography/download/2001/brucker.ea-testing-2001.pdf},
series = {Tagungsband der GI/{\"O}CG Jahrestagung},
talk = {talk:brucker.ea:testing:2001},
title = {Testing Distributed Component Based Systems Using {UML/OCL}},
url = {https://www.brucker.ch/bibliography/abstract/brucker.ea-testing-2001},
volume = {1},
year = {2001},
}