• en
  • it
  • de

 
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.
  • We also inform you that your personal data will be processed only and exclusively by Teoresi Spa and will not be disclosed to third parties without your prior consent in compliance with EU Reg. 2016/679.