products
Reactive-logo_productlines
Reactive-logo_productlines

Reactis for C

C Code Process

Reactis for C

C Code Process

 
Reactis for C
C Code Process

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.

TesterSimulatorValidator
Genera automaticamente test case che stressano un applicativo, spesso rilevando errori di runtime. I test generati mirano a massimizzare la copertura rispetto al numero di metriche utilizzate, tra cui Statement, Decision, Condition e Modified Condition/ Decision Coverage (MC/DC)..E’ un ambiente di simulazione che supporta l’esecuzione interattiva e il debugging dei programmi in C e mostra graficamente I risultati del test coverage.Consente di formalizzare i requisiti dell’applicazione (assertion o obiettivi del coverage) ed eseguire un controllo automatico delle violazioni degli stessi. Validator effettua questi controlli simulando accuratamente l’applicativo con l’obiettivo di violare le assertion e gli obiettivi di coverage. Quando si verifica un errore di runtime o un’assertion failure, Validator genera un test che riproduce concretamente la sequenza di eventi che ha portato all’errore, facilitando la diagnosi e la riparazione dei bug del software.

Il tool Reactis for C migliora la qualità del codice C e riduce i costi di sviluppo in diversi modi. Per esempio:

  • Rilevando e correggendo gli errori di runtime. Reactis for C arresta immediatamente l’esecuzione quando si verifica un errore di runtime, facilitando la correzione dello stesso.
    Ogni volta che Reactis for C simula il codice C  nel Simulator o generando test con il Tester, esegue allo stesso tempo molteplici controlli per gli errori di runtime. Il risultato è un tool potente per la rilevazione, la diagnosi e la correzione di una varietà di errori di runtime nel codice C. Gli errori rilevati da Reactis for C comprendono:

    • Overflow Calcoli che producono un numero troppo grande da rappresentare
    • Divide by Zero Errore generato dalla divisione di un valore numerico per zero
    • Invalid Shift Lo spostamento di un valore intero di una quantità che produce un risultato indefinito, secondo lo standard C
    • Uninitialized Data Access Quando si accede alla memoria prima che questa si sia avviata, producendo un risultato di accesso indefinito
  • Regression Testing. La generazione e l’esecuzione automatica di test offerta da Reactis for C consente agli ingegneri di verificare facilmente se un programma è conforme al comportamento di una versione precedente. Un aspetto cruciale dei test generati da Reactis Tester è che includono sia tutti gli output che gli input. Perciò questi test contengono tutte le informazioni richieste per assicurare che una versione rivista del programma sia conforme alla precedente..
  • Sinergia con Reactis for Simulink. La combinazione tra Reactis for C e Reactis for Simulink in un processo di sviluppo model-based produce vantaggi sinergici.
    Gli ingegneri che lavorano con il model-based design utilizzando Simulink®/ Stateflow® come tool di progettazione e C come linguaggio per l’implementazione possono trarre vantaggi significativi impiegando Reactis for C in combinazione con il suo prodotto fratello, Reactis for Simulink.
    Si hanno questi benefici quando le suite di test sono condivise in entrambe le versioni di Reactis.
 
Reactive_logo
Test e validazione di software embedded

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.

Discover the other products of Reactive Systems: