• en
  • it
  • de

 
5268

Reactis for Simulink

Model-Based Design con Simulink® e Stateflow®

Reactis viene impiegato nel processo di Model-based Design utilizzando modelli Simulink/Stateflow. Reactis è un’applicazione standalone che legge file in formato .mdl/slx prodotti dall’ambiente The MathWorks®.

REA_Reactis_for_simulink_1

 

Reactis consta di tre componenti principali:

Tester Simulator Validator
Permette la generazione automatica di test case da un modello.

Read More

Consente di visualizzare l’esecuzione del modello per il debug ed il tracking del coverage.

Read More

Permette la verifica automatica dei modelli Simulink per la violazioni dei requisiti user-defined.

Read More

 
5263

Tester

Reactis Tester offre la generazione automatica di test da modelli Simulink. La suite di test generata fornisce una copertura completa delle diverse metriche utilizzate – inclusa la copertura MC/DC (Modified Condition/Decision Coverage) – minimizzando allo stesso tempo la ridondanza dei test.

Grazie al Reactis Tester sarà possibile massimizzare l’efficacia del test riducendo i tempi di esecuzione del test stesso.

Ogni test case in un ciclo di test, consiste nella sequenza di input al modello e nei relativi output generati dal modello stesso. I dati generati automaticamente possono essere utilizzati per diversi di scopi, tra cui:

  • Conformità all’implementazione. I test possono essere applicati al codice prodotto dal modello per assicurare la conformità con il comportamento del modello stesso.
  • Test e debugging del modello. I test possono essere eseguiti sui modelli stessi per rilevare errori di runtime e per studiare e correggere il comportamento del modello.
  • Regression Testing. I test possono essere eseguiti su nuove versioni di modelli per evidenziare eventuali comportamenti differenti tra le varie versioni.
  • Reverse engineering dei modelli a partire dal codice. I test possono essere generati da modelli derivati dal legacy code per poter verificare la conformità tra modello e codice.

Simulator

Reactis Simulator consente di visualizzare l’esecuzione del modello ed effettuare il debug dei modelli Simulink®. L’interfaccia utente del Simulator è simile a quella dei debugger tradizionali dei linguaggi di programmazione e permette di:

  • Eseguire un blocco, un’istruzione o più istruzioni alla volta.
  • Effettuare una reverse execution.
  • Visualizzare i valori delle variabili, passando il mouse, aprendo uno scope oppure aggiungendo le variabili alla watchlist.
  • Scoprire eventuali parti del modello non esercitate, evidenziandole in rosso.
  • Generare report dettagliati del coverage.
  • Utilizzare Breakpoint.

Validator

Reactis Validator permette di verificare automaticamente se un modello viòla requisiti funzionali definiti dall’utente.
Se il Validator identifica una violazione restituisce un test che riconduce al problema.
Questo test può essere poi eseguito nel Reactis Simulator per capire quale sequenza di eventi ha portato al problema. Il Validator consente di rilevare da subito gli errori di progettazione e le inconsistenze, riducendo gli sforzi richiesti nella revisione del progetto.

 
5264
 
Scopri le novità dell’ultima release di Reactis for Simulink!
 

C Plugin

Reactis offre inoltre un utile C Plugin, che si integra perfettamente con Reactis per consentire il test e la validazione delle parti di codice C integrato nei modelli (S-Function e chiamate a C da Stateflow).

Automatizzando il test e la validazione del codice C nello stesso ambiente di test di Simulink e Stateflow, il C Plugin per Reactis consente di realizzare analisi più dettagliate dello stesso codice C in maniera ancora più veloce.

Torna alla pagina Reactive
 

Altri Prodotti REACTIVE

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.