vendor

Reactive Systems, Inc. (RSI)
Reactive Systems, Inc. (RSI) sells tools and services for embedded-software design automation (ESDA). Embedded software runs on the microprocessors found in devices as diverse as automobiles, cardiac pacemakers, aircraft and cell phones. The company's Reactis product line provides automated testing and validation support to builders of embedded software. By enhancing engineer productivity in a number of ways, Reactis enables companies to...
http://www.reactive-systems.com/esda-library.msp

Classified with the keyword(s):

• community : sites linking to eg3.com

(to change this item, email text via this submission form)

company

Reactive Systems, Inc.
Reactis offers testing and validation for Simulink/Stateflow models. Reactis Tester generates comprehensive yet compact test suites from models. Reactis Simulator is a model debug enviroment offering scopes, coverage tracking, and reverse execution. Reactis Validator searches models for violations of requirements. Reactis for C finds bugs in C code. {model-based testing, model-based design, Simulink testing, coverage tracking,...
http://www.reactive-systems.com/

Classified with the keyword(s):

(to change this item, email text via this submission form)

demo

Reactis Demo
Reactis relies on the use of structural coverage criteria to generate test data automatically. The tool also includes features that allow users to influence the test data that is created. User-defined targets provide support for automating functional and requirement-based testing. To use this feature of Reactis, users first instrument their models with descriptions of abstract test scenarios that Reactis should create concrete test data...
http://www.reactive-systems.com/quick.msp?pid=5

Classified with the keyword(s):

• embedded software : software testing

(to change this item, email text via this submission form)