STIMULUS
La soluzione di automazione dei test e MBSE end-to-end
Che cos'è un MBSE end-to-end?
Classic MBSE si concentra spesso sull'uso di SysML, dove i requisiti vengono acquisiti come testo normale. Pertanto, non fanno parte della verifica né della simulazione. Poiché sono in testo semplice, non è possibile generarne nulla, quindi ogni singolo caso di test deve essere creato manualmente a partire da ogni singolo requisito funzionale.
STIMULUS introduce un nuovo paradigma poiché estende le funzionalità di modellazione per includere anche i requisiti funzionali. Il 100% del comportamento del sistema può essere acquisito, il che significa anche che emergono nuove possibilità di automazione dei test: è possibile acquisire scenari di test e il solutore dei vincoli STIMULUS li utilizzerà per generare tutte le combinazioni di input desiderate. Questi vettori di test vengono utilizzati sia per stimolare la specifica sia per stimolare successivamente il codice. STIMULUS osserverà la risposta del codice e lo confronterà con il comportamento definito nei requisiti, rendendo il test funzionale completamente automatico. Al momento dell'integrazione, STIMULUS analizzerà il file di registro generato dall'ambiente di test HIL e confronterà il comportamento del sistema integrato con i requisiti, consentendo al tester di rilevare automaticamente qualsiasi violazione di qualsiasi requisito.
Automazione del test funzionale
Il codice è stimolato da vettori di test che vengono generati automaticamente da STIMULUS, gli output sono osservati da STIMULUS che li confronta con le relazioni previste tra gli input e gli output secondo i requisiti. È possibile generare ed eseguire automaticamente un gran numero di test, mentre la copertura dei requisiti viene tracciata da STIMULUS.
Simulazione e convalida dei requisiti funzionali
STIMULUS consente agli architetti di sistema di estendere l'uso dei modelli SysML includendo anche i requisiti funzionali che possono, per la prima volta, essere simulati e convalidati. Molti errori, quali requisiti mancanti, in conflitto ed errati, possono essere rilevati e corretti tempestivamente. Il lavoro dei team di sviluppo è reso molto più efficace poiché ricevono requisiti chiari, completi e convalidati.
I team di convalida non devono ricavare manualmente ogni caso di test funzionale da un requisito funzionale. Con STIMULUS, il test del codice o del sistema rispetto ai suoi requisiti è automatico al 100%, portando a un ROI enorme: vengono generati ed eseguiti molti più test con pochissimi sforzi.
.
Test Hardware-In-The-Loop
STIMULUS supporta il test del sistema integrato analizzando automaticamente gli ambienti di test dei file di registro prodotti. Il file contiene gli I/O che si sono verificati durante i test, STIMULUS li confronta con i requisiti e rileva automaticamente qualsiasi violazione di qualsiasi requisito.
STIMULUS e CATIA Magic
STIMULUS estende l'uso dei modelli al comportamento dettagliato che è difficile da acquisire in SysML. La continuità digitale tra CATIA Magic e STIMULUS è garantita dal fatto che l'architettura SysML (e i segnali correlati) può essere importata in STIMULUS in cui il comportamento dettagliato viene acquisito, simulato e convalidato.
Partecipa alla conversazione nella community di utenti CATIA MBSE Cyber System!
Scopri anche
Scopri cosa possono fare per te le soluzioni CATIA
Parla con un esperto CATIA per scoprire in che modo le nostre soluzioni consentono a organizzazioni di ogni dimensione di ottimizzare la collaborazione e promuovere un'innovazione sostenibile.
Per iniziare
Sono disponibili corsi e lezioni per studenti, accademici, professionisti e aziende. Trova il corso di formazione CATIA più adatto alle tue esigenze.
Ottieni assistenza
Trova informazioni sulle certificazioni software e hardware, scarica software e documentazione per gli utenti, contatta l'assistenza e scopri le offerte di servizi