Validazione end-to-end dei requisiti funzionali di sistemi integrati
Stimulus è la soluzione che Dofware propone per la convalida completa di sistemi embedded basata sui requisiti funzionali.
La simulazione Requirements-in-the-Loop va dalla convalida preliminare dei requisiti funzionali durante la fase di specifica alla generazione automatica di vettori di test e osservatori di test per automatizzare i collaudi funzionali del sistema.
STIMULUS nella fase di design:
La maggior parte degli errori nelle specifiche si trova nei requisiti e viene rilevata molto tardi, generando costosi problemi di manutenzione.
Nella fase di progettazione, STIMULUS permette di simulare i requisiti funzionali e rilevare subito errori o conflitti prima di iniziare la progettazione, per produrre specifiche corrette, complete e coerenti.
I team di sviluppo possono dedicare meno tempo a ridefinire i requisiti e a riscrivere e ripetere il debug del codice, riducendo le iterazioni di sviluppo necessarie per ottenere risultati di alta qualità.
Specifiche del sistema eseguibili dal modello
Con STIMULUS è possibile simulare le specifiche dell’intero sistema utilizzando un linguaggio di modellazione che consente agli architetti di sistema di combinare requisiti testuali formalizzati, macchine a stati e diagrammi a blocchi in un ambiente di simulazione completamente integrato.
STIMULUS genera numerose tracce di esecuzione che soddisfano le specifiche di sistema e fornisce potenti funzioni di debug per analizzare i risultati della simulazione dei requisiti: rilevamento e diagnosi automatici di requisiti in conflitto e mancanti, copertura dei requisiti, evidenziazione dei requisiti attivi, monitoraggio dei segnali, ecc.
STIMULUS nella fase di Validazione:
La creazione manuale dei casi di test che coprano ogni requisito comporta un grande sforzo con un alto rischio di non riuscire a rilevare tutti i bug e le incongruenze.
STIMULUS consente ai team di test di generare ed eseguire automaticamente campagne di test e verificare che il codice incorporato sia conforme alle specifiche, risparmiando tempo e risorse.
Esegui il collaudo del sistema verificandone i requisiti
Il codice del sistema collaudato può essere facilmente importato come componente FMI o incorporando il codice C dell’utente. Al momento dell’integrazione, è anche possibile importare un file di registro CSV per eseguire una post-analisi del sistema reale.
Una volta definiti i casi di utilizzo per collaudare il sistema, STIMULUS genererà automaticamente numerosi vettori di test per ciascun caso di utilizzo allo scopo di ottimizzare la copertura funzionale della campagna di test.
I vantaggi in breve:
-
Convalida dei requisiti in fase iniziale
-
Condivisione di requisiti formali, chiari e osservabili
-
Linguaggio non ambiguo con semantica eseguibile
-
Generazione automatica dei casi di test
-
Massimizzazione della copertura funzionale delle campagne di test
-
Riduzione di costose iterazioni nel processo di sviluppo