Validating UML and OCL models in USE by automatic snapshot generation |
| |
| Authors: | Martin Gogolla Jørn Bohling Mark Richters |
| |
| Affiliation: | (1) Computer Science Department Database Systems Group, University of Bremen, 28334 Bremen, Germany |
| |
| Abstract: | We study the testing and certification of UML and OCL models as supported by the validation tool USE. We extend the available
USE features by introducing a language for defining properties of desired snapshots and by showing how such snapshots are
generated. Within the approach, it is possible to treat test cases and validation cases. Test cases show that snapshots having
desired properties can be constructed. Validation cases show that given properties are consequences of the original UML and
OCL model. |
| |
| Keywords: | UML OCL Model validation Model testing Reasoning models Class diagram Invariant Pre- and postcondition Test case Snapshot |
| 本文献已被 SpringerLink 等数据库收录！ |
