Tech@Lunch: Improved test quality for safety-critical Simulink models: MUT4SLX
Mutation testing, a method similar to fault injection, helps improve software testing and is recommended in safety standards such as ISO 26262 and IEC 61508. The aim is to discover and address weaknesses in tests.
What to Expect?
This session will highlight our mutation testing tool, MUT4SLX, designed specifically for Simulink and Stateflow models. This is especially important in sectors such as automotive, aerospace and medical devices, where safety is crucial. The tool uses advanced mutation testing method. Artificial faults are injected into models via mutation operators (mined from a real bug database). Then, tests are executed on these faulty models to check how tests behave in a defective condition. MUT4SLX can be customised for different users. It helps detect test weaknesses and improve software quality.
The tool also provides comprehensive reports, including visual analysis, that help improve test quality. MUT4SLX was developed as a proof of concept in collaboration with an industrial partner within the EFFECTS-ICON project, led by a team of software developers and test specialists experienced in model-based design and mutation testing.
Why Join? Gain valuable insights into enhancing your software testing processes, meet like-minded professionals, and stay ahead in the rapidly evolving tech landscape.
