Write a Blog >>
MODELS 2020
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
15:00 - 15:20
Full-paper
Technical Track
Jan Oliver RingertUniversity of Leicester, Syed Waqee WaliUniversity of Leicester, UK
DOI Pre-print
15:20 - 15:40
Full-paper
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
15:40 - 16:00
Full-paper
Technical Track
Robert Hackman, Joanne M. AtleeUniversity of Waterloo, Finn HacketComputer Science, University of Waterloo, Michael W. GodfreyUniversity of Waterloo, Canada
16:00 - 16:15
Demonstration
Technical Track