Introducing CreaTest: a framework for test case generation in itemis CREATE
In model-driven engineering, models are used to specify, validate, and verify the system design and generate code and tests. In all these activities, assuring the correctness of the model is paramount, as to derive correct code and tests, a correct model is required. In this paper, we introduce CreaTest, a framework designed to generate abstract tests for itemis CREATE Statecharts by leveraging existing code-based test generators. Our approach consists of translating Statecharts into executable Java code, and then applying a white-box test generation tool, like Evosuite, to produce JUnit test cases. Test cases are subsequently abstracted back into a format supported by the original modeling tool for model validation. We evaluate CreaTest on a large set of Statecharts retrieved from GitHub. Our results show that CreaTest generates high-coverage abstract tests for Statecharts and that optimizing the generated code significantly enhances the effectiveness of test generation.
Thu 18 SepDisplayed time zone: Athens change
11:00 - 12:30 | Frameworks and Test AutomationGeneral Track at Atrium C Chair(s): Petra van den Bos University of Twente, The Netherlands | ||
11:00 30mTalk | Introducing CreaTest: a framework for test case generation in itemis CREATE General Track Andrea Bombarda University of Bergamo, Silvia Bonfanti University of Bergamo, Angelo Gargantini University of Bergamo, Nico Pellegrinelli University of Bergamo | ||
11:30 30mTalk | Distributed Critical Test Generation for Cyber-Physical Systems General Track | ||
12:00 30mTalk | Automating Performance Testing in CI/CD - Tools Evaluation General Track | ||