Paper Info
Title
Strengthening validation of model behavior through filmstrip templates in the tool USE
Abstract
This contribution focuses on testing behavioral aspects of UML and OCL models. In our approach, a so-called model validator can automatically generate test cases (object models) by using manually written configurations for object models and additional OCL invariants. However, describing configurations can be a challenging task, especially for novel or part-time modelers. This paper presents an extension of the tool USE (UML-based Specification Environment) with valuable options for (a) filmstrip model configuration and (b) filmstrip templates in the model validation process. Developers specify the configuration for (application) model elements and accordingly, a filmstrip model configuration and a filmstrip template are automatically generated. A filmstrip template identifies recurring model parts which can reduce model validation time. The newly added functionalities strengthen the underlying testing technique by making it more developer-friendly.
Year
DOI
Venue
2020
10.1145/3417990.3422010
MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems Virtual Event Canada October, 2020
DocType
ISBN
Citations 
Conference
978-1-4503-8135-2
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Nisha Desai1136.63
Martin Gogolla22398578.76