Software Specification and Testing Using UML and OCL

Jonathan Milley,
Dr. Dennis K. Peters


Software testing is an important and time consuming task for developers. Automating the testing tasks will allow developers to spend their time more productively. The Unified Modeling Language is widely used for designing object oriented software. With the advent of the Object Constraint Language UML allows not only description of the layout of software, but specification of behavior as well. Using documents created at design time, tools exist that will generate automated tests and oracles. While this implies a larger amount of work at the front end of the development cycle, there is a significant gain in quality and time by automating the testing phase.

back to Dennis Peters' homepage

Last modified: Tue 2006.07.25 at 09:32 NDT by Dennis Peters