Found 3 file extension associations related to Reactis and 3 file formats developed specifically for use with Reactis.
Platform, operating system: Microsoft Windows
Go to: Reactis description
Developer: Reactive Systems, Inc.
Developer / company: Reactive Systems
Reactis is an embedded software design automation tool suite --- a collection of applications supporting the efficient production of high-quality control software. Reactis currently consists of three components:
Reactis Tester generates comprehensive test suites from Simulink®/Stateflow® models. The test suites exercise large portions of the software under test while avoiding redundancy, thereby maximizing the probability of finding defects within the time available for testing. The generated tests store model-generated outputs as well as inputs so that test harnesses can automatically check the correctness of source code implementations of models.
Reactis Simulator enables users to visualize model execution. Simulator's user interface is similar to those of traditional debuggers from programming languages: it allows users to step through the execution of models by hand as well as set break points. Simulator also supports reverse execution, the replay of tests generated by Reactis Tester, the graphical display of different coverage metrics, and the capability to fine-tune Tester-generated test suites.
Reactis Validator automatically searches models for violations of user-specified requirements.
size: 128px x 128px (.png with transparency)
Note: You can click on any file extension link from the list below, to view its detailed information. The list of extensions used or otherwise associated with the application may not be complete, because many common file extensions on our website, such as jpg (pictures) or txt (text files), can be opened by a large number of applications, or are too general file format. However most, if not all directly associated file extensions should be listed with its appropriate program. Although its likely, that some file extensions may be missing from the list of associated file extensions with the application, yet they can be opened, be part of, or otherwise be associated with the program.
Reactis default file extension associations
Comparison table of actions that Reactis can perform with each of its associated file type beta
This table might not contain all possible associated or supported file types or may contain incorrect data.
If you need more information please contact the developers of Reactis (Reactive Systems, Inc.), or check out their product website.