5195
Reactive Systems is a leading tool vendor in the embedded systems sector. Reactis® product line, a set of testing and validation tools which help engineers improve software quality while decreasing software development costs.

REACTIVE: Embedded-software testing and validation

 

Reactive Systems è leader nella fornitura di tools nell’ambito dei sistemi embedded.  L’azienda sviluppa e commercializza la linea di prodotti Reactis, tools per il test e la validazione che consentono agli ingegneri di migliorare la qualità del software riducendo i costi di sviluppo.

Nei decenni passati, è stato largamente impiegato l’approccio model-based design per affrontare la complessità dei software embedded. Nel model-based design, i modelli di software embedded vengono sviluppati ancor prima dell’implementazione del sistema. I modelli possono essere utilizzati per guidare lo sviluppo del software di controllo e possono servire anche come basi per il testing del software e del sistema.

La suite dei tool Reactis di Reactive Systems, Inc. potenzia notevolmente i vantaggi ottenuti grazie al model-based design, automatizzando molte delle attività di test e validazione. Reactis lavora con i modelli implementati in Simulink®/Stateflow®.

Con Reactis è possibile:

  • generare test dai modelli “esercitandoli” in modo completo (Test strutturali);
  • individuare errori di runtime nei modelli (es. errori di overflow, divisioni per zero);
  • eseguire il modello misurandone il coverage (es. MC/DC);
  • implementare test funzionali per verificare se un modello viola i requisiti;
  • verificare se il codice è conforme al modello grazie alle suite di test prodotte da Reactis.

 

Teoresi è distributore in Italia della linea di prodotti e soluzioni REACTIS.

 
5347
 

Linea di prodotti

Sono disponibili due versioni di Reactis:

  • Reactis for Simulink®, che supporta l’approccio model-based design con Simulink® e Stateflow®
  • Reactis for C, che supporta il processo basato su codice C standalone.

La tecnologia chiave di Reactive Systems è la capacità di generare automaticamente test case completi sia da un modello Simulink che dal codice C.

 

Prodotti REACTIVE

Reactis for Simulink
Reactis for C

Reactis® for C, tool per la generazione automatica di test, può essere utilizzato per trovare bug nel codice C. Consiste in tre componenti principali: Tester, Simulator e Validator. Read more →


 

Downloads

Reactis products guide
Testing and Validation of Simulink Models with Reactis
Achieving ISO 26262 Compliance with Reactis

  • To download this document, please enter your name and a valid e-mail address.

 

 

Entra in contatto con noi

Vai alla pagina contatti