Improved Static Analysis and Tester Coverage
Static analysis of Simulink® models in Reactis® has been significantly improved, especially in the following areas:
• Tracing signals through Bus Creator and Bus Selector blocks
• Tracing through individual elements of arrays (Mux/Demux blocks)
• Tracing through assignments to local variables in Stateflow® charts
• Tracing through array indexing and record selection in Stateflow charts
These improvements enable Reactis to identify more unreachable targets in a model and to exercise more coverage targets in generated test suites.
Reactis for Simulink API on Linux®
The Reactis for Simulink API is now available on Linux. Currently, only Ubuntu® Linux 22.04 LTS is supported (other Ubuntu versions or Linux distributions may work but have not yet been tested). While the Reactis GUI is not included in this initial release, using the Reactis API on Linux can be very beneficial for automated testing. A Dockerfile is also available to facilitate adding the Reactis for Simulink API to a Docker container in which MATLAB® is already installed.
For more information, see the Reactis V2024 release announcement https://reactive-systems.com/mlists.msp?lid=1&itm=61
For additional details write to info@lanikasolutions.com
About Lanika Solutions
Lanika is Advanced Technical Computing Software provider for Engineers and Scientists in Industry, Government and Education. The Company partners with reputed principals viz., Reactive Systems, Breault Research Organization (BRO), MatCalc Engineering, and ThermoFisher Scientific, developing industry-leading technologies that help a wide base of clients throughout the Indian sub-continent solve the toughest engineering problems. The company offers the best technologies for modeling simulation, testing and validation, optical design analysis, 3d visualization and analysis, thermo-mechanical simulation, image processing, and more.
Visit www.lanikasolutions.com to learn more.
About Reactive Systems
Reactive Systems, founded in 1999, is a software testing and validation company with offices in Cary, NC and Nagoya, Japan. The Company develops the Reactis family of tools that support the test and debug of embedded software applications developed using Simulink®, Stateflow®, and C code.
Visit www.reactive-systems.com to learn more.