Reactis Reactis helps engineers build software faster by automating many verification
Download

Reactis Ranking & Summary

Reactis Tags

Reactis Description

Reactis helps engineers build better software faster by automating many verification and validation tasks in a model-based design process. Model-based design is growing in popularity among engineers who develop embedded control software. In model-based design, executable visual models of embedded control software are developed in advance of system implementation. The models may be used to drive the development of control software, and may also serve as a basis for software and system testing. One benefit of model-based design is that it allows engineers to begin debugging and validation activities at design time, when the cost of detecting and dealing with design defects is much smaller than at the software and system implementation level. Another is that models may be used as a baseline for assessing implementation behavior during system testing and validation. For these reasons, judicious use of modeling can lead to quite dramatic over-all reductions in the cost of control-system development, especially when robust tool support is available. Features: - generate tests from a model that thoroughly exercise the model (structural testing); - find runtime errors (e.g. overflow errors, divide-by-zero errors) in a model; - execute the model and track coverage (e.g. MC/DC); - perform functional tests to check whether or not a model can violate its requirements; - use a Reactis test suite as an oracle to check whether code conforms to a model.

Reactis Related Software