Reactics. Reactis aiuta gli ingegneri di costruire il software più velocemente automatizzando molte verifiche
Scarica ora

Reactics. Classifica e riepilogo

Reactics. Tag

Reactics. Descrizione

Reactis aiuta gli ingegneri a costruire un software migliore più velocemente automatizzando molte attività di verifica e validazione in un processo di progettazione basato su modello. Il design basato su modello sta crescendo in popolarità tra gli ingegneri che sviluppano il software di controllo incorporato. Nel design basato su modello, i modelli visivi eseguibili del software di controllo incorporato sono sviluppati in anticipo sull'attuazione del sistema. I modelli possono essere utilizzati per guidare lo sviluppo del software di controllo e possono anche fungere da base per il software e il test del sistema. Un vantaggio del design basato su modelli è che consente agli ingegneri di iniziare le attività di debug e di convalida al momento della progettazione, quando il costo del rilevamento e del trattamento dei difetti di progettazione è molto più piccolo rispetto al software e al livello di implementazione del sistema. Un altro è che i modelli possono essere utilizzati come base di base per valutare il comportamento di implementazione durante il test e la convalida del sistema. Per questi motivi, l'uso giudizioso della modellazione può portare a riduzioni piuttosto drammatiche a tutte le riduzioni del costo dello sviluppo del sistema di controllo, specialmente quando è disponibile un robusto supporto utensile. Caratteristiche: - genera test da un modello che esercita a fondo il modello (test strutturali); - Trova errori di runtime (E.G. Errori di overflow, errori divide-by-zero) in un modello; - Eseguire il modello e la copertura del brano (ad esempio MC / DC); - Eseguire test funzionali per verificare se un modello può violare o meno i requisiti; - Utilizzare una suite di test Reactis come Oracle per verificare se il codice è conforme a un modello.

Reactics. Software correlato