Checking BART Test Scenarios with UML’s Object Constraint Language
Martin Gogolla, Paul Ziemann · Kluwer Academic Publishers eBooks · 2006
The Object Constraint Language (OCL) is part of the Unified Modelling Language (UML). Within software engineering, UML is regarded today as an important step towards development of high-quality object-oriented systems. OCL allows to sharpen UML diagrams through invariants and pre- and postconditions. This chapter explains the functionality of the UML Specification Environment USE, which allows to validate and verify UML and OCL descriptions. The paper shows that central safety properties of the BART system can be expressed with OCL. Test cases embodying central aspects of the BART system can be formulated within the USE system. It can be shown that the safety properties are satisfied by the test cases examined. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.