Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms
Autor: | Khanh-Hoang Doan, Nisha Desai, Martin Gogolla, Frank Hilken |
---|---|
Rok vydání: | 2017 |
Předmět: |
Computer science
Programming language Applications of UML 020207 software engineering 02 engineering and technology computer.software_genre Technical support Test case Sequence diagram Unified Modeling Language 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing computer computer.programming_language Object Constraint Language |
Zdroj: | Tests and Proofs ISBN: 9783319614663 TAP@STAF |
DOI: | 10.1007/978-3-319-61467-0_7 |
Popis: | This tool paper discusses how model behavior expressed in a UML and OCL model can be analysed with filmstrips and classifying terms in the tool USE. Classifying terms are a means for systematic construction of test cases. In the case of behavior models these test cases correspond to testing the model with different sequence diagrams. We explain how behavior analysis can be carried out in the tool. We discuss lessons learnt from the case study and how conceptual and technical support can be improved. |
Databáze: | OpenAIRE |
Externí odkaz: |