Model-Based Testing and Validation with Reactis®

General

• What is Reactis?

• What is the Reactis for C Plugin?

• What platforms does Reactis run on?

• What are the system requirements for Reactis?

• How do I evaluate Reactis?

• Which versions of MATLAB, Simulink, and Stateflow are supported?

• Is training available?

• How can I stay informed about the latest Reactis developments?

• How does Reactis version numbering work?

• How do I purchase Reactis?

Getting Help

• How do I get support by phone?

• How do I get support via email?

• Is context-sensitive help available?

• How can I view the Reactis User's Guide?

Installing Reactis

• How much disk space do I need to install Reactis?

• How do I install Reactis under Windows?

• Why do I need to specify the location of my MATLAB installation?

• What is a ``License Manager''?

• Why do I need to send my license file to Reactive Systems before I can run Reactis?

• Can I install multiple versions of Reactis on the same machine?

Problems Starting Reactis

• When I try to run Reactis I get an error message saying something like Unable to connect to License Server. Why?

• When I invoke Reactis, I get a Settings dialog with a single License tab. Why?

• When I invoke Reactis, an error dialog box appears saying All available concurrent licenses are currently in use. What is happening?

• I get the error message Couldn't find Ethernet adapter with MAC address xx:xx:xx:xx:xx:xx in this machine when I try to start Reactis (or the License Manager). What is happening?

• I upgraded my machine, and Reactis no longer works. Why?

Loading Models in Reactis

• What model preparation needs to be done to run Tester?

• Can Reactis process models containing S-Functions?

• Can Reactis process models containing TargetLink blocks?

• Can Reactis process multi-rate models?

• Why do I get Error evaluating MATLAB expression when I try to simulate / generate tests from my model in Reactis?

• When I try to load my model file I get an error message like Couldn't find library file simulink3.mdl. Why?

• I get errors loading my model into Reactis, even though the model loads without problem into Simulink. Why?

• Why doesn't Reactis recognize a workspace variable in my model?

• Why do I get a Mismatched Simulink version warning?

Reactis Simulator

• What is Reactis Simulator?

• How do I start Reactis Simulator?

• When I start Simulator on a large model it can take a while to initialize. Is this to be expected?

• How can I view the current values of data items during a simulation run?

• How do I determine which parts of a model are not exercised by a test suite?

• How do I set a breakpoint?

• Why are some menu items and buttons on the tool bar sometimes disabled?

• In the main window panel, when I right-click on an MC/DC target (Simulink logic block or Stateflow transition), why is the View Coverage Details menu item disabled?

• Why is there a blue rectangle in the main Reactis panel?

• I created a test suite from a model using Reactis, but when I run the tests within Reactis, the output values are different than those stored in the tests. Why is this?

Reactis Tester

• What is Reactis Tester?

• Can I restrict the values a top-level inport assumes during a test?

• Is it possible to generate tests only for a subsystem instead of the whole model?

• I have added/removed top-level inports from my model. How do I make these changes show up in the Port Type Editor in Reactis?

• I have added/removed top-level inports or outports to/from my model. How do I reuse old test suites created for the model that contain a different set of inputs and outputs?

• A workspace data item is used to specify one of several configurations of my model. Depending on the value of this item, various parts of my model are unreachable; however, all parts of the model are reachable when all configurations of the model are considered. Is it possible for Reactis to generate tests for all the different configurations and give cumulative coverage information?

• I created a test suite from a model using Reactis, but when I run the tests within Reactis, the output values are different than those stored in the tests. Why is this?

• When I run Reactis Tester multiple times on the same model, I get different test suites. Why is this?

• Is it possible to make Tester generate the same test suite on different runs on the same model? In other words, is it possible to get reproducible results with Tester?

• Why do test suites with the same coverage level have different numbers of steps?

Reactis Validator

• What is Reactis Validator?

• I added some Validator assertions into my model, and now the number of coverage targets is different. Why?

• I opened my model into which I had inserted objectives (assertions, user-defined targets, or virtual sources), and some of them have disappeared! What happened?

Problems Running Reactis

• I just installed a new local license file, but when I start Reactis, a window titled Reactis Settings appears, listing local MAC addresses, the local license file path, and license servers. Despite the local license file, a note appears saying [not currently using local license]. Why is this?

• While running Reactis I got the message Lost connection to License Manager. What happened?

• While running Reactis I got the message Lost connection to backend. What happened?

Importing/Exporting Tests

• Can I load tests created outside of Reactis into Reactis?

• Can I run tests created in Reactis outside of Reactis?

Running Tests in Simulink

• How do I execute Reactis-generated tests in Simulink?

• Why are the simulation times in exported .m files different from those in .rst files?

• Why do I need to turn interpolation off for top-level inports when running test suites generated by Reactis in Simulink?

• Why are the output values produced by Reactis different from those produced by Simulink?

Reactis License Manager

• I have installed the Reactis application on my machine. How do I configure it to access a license from a remote License Manager running at my company?

• Does Reactis use FlexLM(TM)?

• Can the Reactis License Manager be installed as a service?

• Can I view who is currently occupying Reactis licenses?

• The License tab of the Settings dialog and the standalone License Monitor utility do not display the names and phone numbers of people occupying licenses. Why not?

• When I exit Reactis, is my shared license immediately available for use by others?

• I upgraded the machine the License Manager runs on, and now I get the error message Couldn't find ethernet adapter with MAC address xx:xx:xx:xx:xx:xx in this machine when I try to start the License Manager. What is happening?

Licensing Issues

• What are the various licensing options for Reactis?

• Is technical support included in the price of a license?

• How can I get a copy of the Reactis License Agreement?

• Why did my Reactis license expire?

• Why are there annual licenses?

• Does support for a perpetual license need to be maintained continuously? In other words, if I do not purchase support one year, but want to do so the next year, do I need to purchase the ``missing year''?

• My colleague and I want to share a license. Is this allowed?