Reactis: Model-Based Testing and Validation

	English \| \| Deutsch Login \| Contact \| Site Map Model-Based Testing and Validation with Reactis®
July 30, 2010	Products \|Services \|Support \|Company \|News \|FAQ

Model-based testing and validation with Reactis. Reactis plays a number of important roles in a model-based design process. It gives you a set of tools to test, verify, and truly understand your model�s behavior and can help you check whether the source code that will ultimately be deployed conforms to the behavior of your model. Reactis for C Plugin integrates seamlessly with Reactis to offer white-box analyis of the C code portions of models (S-Functions and Stateflow custom C code.

• Video: Model-Based Testing and Validation with Reactis (9 min)

• Quick Video: Navigating Models with Reactis (1 min)

• Quick Tour: What Reactis Does, Using Reactis, Generating Tests, Validating Models, Enhancing Tests, Try Reactis!

• Extended Tour: Overview, Tester, Simulator, Validator

• User's Guide: PDF | HTML

• Latest Updates: Reactis V2010.0.3, V2009.2.6

News

White Papers

Newsletters

» Reactis Communicator
» Reactis Patches

Download trial