News from the MegaM@Rt2 Project
We describe a mutation testing framework that uses energy consumption goals to automatically select test suites based on random system simulations. The framework is enabled by transforming a EAST-ADL model into a network of priced timed automata
Over 50 participants from 27 organizations in the MegaM@Rt2 project gathered in Helsinki in March for three intense working days. The meeting was hosted by the Finnish partners in the MegaM@Rt2 project in the beautiful Hotel Presidentti in the center of Helsinki. The...
Can Pairwise Testing Perform Comparably to Manually Handcrafted Testing Carried Out by Industrial Engineers?
In industrial practice, test suites are created manually. To speed up the process, automatic combinational testing techniques have been proposed. Our work suggests that pairwise testing (a kind of combinatorial technique) can achieve similar results as manual testing
MARTE++ is an enhanced UML-based language to Model and Analyse Real-Time and Embedded Systems for the IoT age. This post details a list of suggested evolutions to MARTE to keep it relevant in the current era of high pace technological changes
The deliverable "D1.2 Architecture specification and roadmap – initial version" has been released. In this deliverable we set the conceptual architecture of MegaM@rt, formalized the initial sets of requirements and described 35 baseline tools. This is a major...
State-of-the-art in terms of both research approaches and existing modelling solutions and tools in the context of Model-Based Continuous Development.