Importa il sistema collaudato
Il codice del sistema collaudato può essere facilmente importato come componente FMI, generato completamente da uno strumento di generazione di codice (Simulink, Scade, ControlBuild, ecc.) o parzialmente generato da STIMULUS 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.
Crea test case
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 requisiti possono essere facilmente riutilizzati come osservatori di test in grado di rilevare e segnalare eventuali violazioni della specifica.
Esegui campagne di test
Una campagna di test automatizza l'esecuzione dei numerosi vettori di test generati dai casi di utilizzo e STIMULUS riporta le metriche complete sulle violazioni e sulla copertura dei requisiti. Ogni test non superato può essere ripetuto nell'ambiente di simulazione in cui è possibile analizzare le violazioni dei requisiti.
Convalida Requirements-In-The-Loop
Una volta sviluppato il codice, STIMULUS può controllarne automaticamente la conformità ai requisiti di sistema. Utilizzando diagrammi a blocchi, è possibile creare un ambiente di test in cui i requisiti vengono convertiti in osservatori di test e il sistema collaudato viene importato come DLL utilizzando il protocollo FMI standard. È quindi possibile generare ed eseguire numerosi vettori di test e utilizzare STIMULUS per verificare automaticamente che il comportamento del sistema collaudato sia conforme alle specifiche. Durante una campagna di test, STIMULUS calcola e riporta le metriche complete sulla copertura funzionale dei requisiti.
STIMULUS in azione
La figura riportata di seguito mostra una schermata di STIMULUS in cui è stata eseguita una campagna di test. La finestra in alto a destra fornisce una rapida panoramica dei test superati e non superati, mentre nella finestra in basso vengono fornite metriche precise sui test non superati così che l'utente possa ripetere i test non superati nell'ambiente di simulazione standard.
