Strengthening Validation of Model Behavior through Filmstrip Templates in the tool USEDemo
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.
Wed 21 OctDisplayed time zone: Eastern Time (US & Canada) change
15:00 - 16:15 | B3-Model Analysis and ValidationTechnical Track at Room B Chair(s): Marsha Chechik University of Toronto, Canada | ||
15:00 20mFull-paper | Semantic Comparisons of Alloy ModelsFT Technical Track DOI Pre-print | ||
15:20 20mFull-paper | Automated Generation of Consistent Models with Structural and Attribute ConstraintsFT Technical Track Oszkár Semeráth Budapest University of Technology and Economics, Aren Babikian McGill University, Anqi Li , Kristóf Marussy , Daniel Varro McGill University / Budapest University of Technology and Economics Link to publication | ||
15:40 20mFull-paper | mel - Model Extractor Language for Extracting Facts from ModelsFT Technical Track Robert Hackman , Joanne M. Atlee University of Waterloo, Finn Hacket Computer Science, University of Waterloo, Michael W. Godfrey University of Waterloo, Canada | ||
16:00 15mDemonstration | Strengthening Validation of Model Behavior through Filmstrip Templates in the tool USEDemo Technical Track |