Write a Blog >>
Fri 16 - Fri 23 October 2020
Wed 21 Oct 2020 16:00 - 16:15 at Room B - B3-Model Analysis and Validation Chair(s): Marsha Chechik

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 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

15:00 - 16:15
B3-Model Analysis and ValidationTechnical Track at Room B
Chair(s): Marsha ChechikUniversity of Toronto, Canada
Semantic Comparisons of Alloy ModelsFT
Technical Track
Jan Oliver RingertUniversity of Leicester, Syed Waqee WaliUniversity of Leicester, UK
DOI Pre-print
Automated Generation of Consistent Models with Structural and Attribute ConstraintsFT
Technical Track
Oszkár SemeráthBudapest University of Technology and Economics, Aren BabikianMcGill University, Anqi Li, Kristóf Marussy, Daniel VarroMcGill University / Budapest University of Technology and Economics
Link to publication
mel - Model Extractor Language for Extracting Facts from ModelsFT
Technical Track
Robert Hackman, Joanne M. AtleeUniversity of Waterloo, Finn HacketComputer Science, University of Waterloo, Michael W. GodfreyUniversity of Waterloo, Canada
Strengthening Validation of Model Behavior through Filmstrip Templates in the tool USEDemo
Technical Track