Validazione end-to-end dei requisiti funzionali di sistemi integrati
STIMULUS è la soluzione che DOFWARE propone per la validazione completa di sistemi embedded basata sui requisiti funzionali. La simulazione Requirements-in-the-Loop va dalla convalida preliminare dei requisiti funzionali alla generazione automatica di vettori ed osservatori di test per i collaudi funzionali del sistema.
STIMULUS nella fase di design:
La maggior parte degli errori nella progettazione di un nuovo prodotto/processo si concentra nei requisiti. Pur insorgendo molto presto, questi errori vengono rilevati molto tardi, generando costosi problemi di manutenzione. Nella fase di progettazione, STIMULUS permette di simulare i requisiti funzionali e rilevare subito errori o conflitti: il resto dell’attività può dunque poi basarsi su specifiche corrette, complete e coerenti. In questo modo, i team di sviluppo devono dedicare meno tempo a ridefinire e modificare i requisiti, così come anche a riscrivere e a ripetere il debug del codice, riducendo le iterazioni nella fase di sviluppo.
Specifiche del sistema eseguibili dal modello
Con STIMULUS è possibile simulare le specifiche dell’intero sistema utilizzando un linguaggio di modellazione che consente 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/o mancanti, copertura dei requisiti, evidenziazione dei requisiti attivi, monitoraggio dei segnali, ecc.
STIMULUS nella fase di validazione:
La creazione manuale dei casi di test a copertura di tutti i requisiti comporta un grande sforzo con un altrettanto grande rischio di non riuscire a rilevare tutti i bug e le incongruenze. STIMULUS consente di generare ed eseguire automaticamente campagne di test e di verificare che il codice sia conforme alle specifiche, con conseguente risparmio di tempo e di risorse.
Esegui il collaudo del sistema verificandone i requisiti
STIMULUS può facilmente importare il software testato 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 d’uso per testare il sistema, STIMULUS genera automaticamente, per ognuno di essi, numerosi vettori di test al fine di ottimizzare la copertura funzionale della campagna di test..
