UCTSystem is a prototype tool designed to perform automatic test generation from UML requirements. It uses UML use cases enhenced with contracts (i.e. precondition and postconditions) to build an execution model allowing all valid sequences of use cases. Using this execution model and several test criteria, it generates test objectives as sequence of use cases to exerce. It includes both criteria for functional testing and a criterion for robusness testing. Those test objectives are then mapped into test cases using test templates.
In contrast to manual selection of input value boundaries, we present an approach to derive them automatically from OCL expressions of UML state machines and UML class diagrams. We statically analyze the interdependence of OCL expressions within the system model and transform the model into a transition tree and investigate the tree's paths. The corresponding test suite is focused on detecting errors that result from differences between constraints in the model and constraints in the system under test.
a6fw is a Java framework for the rapid development of a rich GUI web client and/or rich GUI windows client, OLTP type applications using Model Driven Architecture (MDA) and declarative principles. It consists of modular pluggable application layers (UI, n
?. Lecture Notes in Computer Science Springer, 1 edition, (2002)MR: eher für den fortgeschrittenen Einsatz von OCL oder sogar für die Forschung rund um OCL.
B. Abdallah, and S. Leue. Formal Description Techniques X, Proceedings of the Tenth International Conference on Formal Description Techniques FORTE/PSTV'97, Osaka, Japan, Chapman & Hall, (November 1997)
M. Abdullah, I. Benest, R. Paige, and C. Kimble. Proc. 26th International Conference on Entity-Relationship Modelling (ER'07), Auckland, New Zealand, (2007)
M. Abdullah, A. Evans, I. Benest, and C. Kimble. Proceedings of IEEE 4th International Conference on Intelligent Systems Design and Applications (ISDA 2004), page 49 - 55. Budapest, Hungary, IEEE Computer Society, (2004)
M. Abdullah, A. Evans, I. Benest, and C. Kimble. Lecture Notes in Computer Science, 3599: MDAFA 2003/2004, Springer-Verlag, Berlin/Heidelberg, September 2005.(2005)
M. Abdullah, A. Evans, C. Kimble, and I. Benest. Proceedings of the 5th European Conference on Knowledge Management, page 5 - 18. Paris, France, (2004)
M. Abdullah, A. Evans, C. Kimble, and I. Benest. Proceedings of the International Conference on Knowledge Engineering and Decision Support (ICKEDS) 2004, page 489 - 496. Porto, Portugal, Instituto Politécnico, (2004)
M. Abdullah, A. Evans, C. Kimble, and I. Benest. Proceedings of Model Driven Architecture: Foundations and Applications (MDAFA 2004), page 202 - 216. Linköping University, Sweden, (2004)
M. Abdullah, A. Evans, C. Kimble, and I. Benest. Model-Driven Architecture: Revised and Selected Papers from European MDA Workshops MDAFA 2003 and MDAFA 2004, (2004)