Loading...
Please wait, while we are loading the content...
Similar Documents
Validation of UML and OCL Models by Automatic Snapshot Generation (2003)
| Content Provider | CiteSeerX |
|---|---|
| Author | Gogolla, Martin Bohling, Jörn Richters, Mark |
| Description | We study the testing and certi cation of UML and OCL models as supported by the validation tool USE. We extend the available USE features by introducing a language for de ning 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. |
| File Format | |
| Language | English |
| Publisher | Springer |
| Publisher Date | 2003-01-01 |
| Publisher Institution | In Proceedings of the 6th Int. Conf. Unified Modeling Language (UML’2003 |
| Access Restriction | Open |
| Subject Keyword | Available Use Feature Validation Case Validation Tool Use Automatic Snapshot Generation Original Uml Test Case Desired Snapshot Certi Cation Ocl Model |
| Content Type | Text |
| Resource Type | Article |
