Convalida delle specifiche tecniche

SCADE Test Rapid Prototyper vi consente di creare pannelli interattivi utilizzando widget predefiniti (pulsanti, dispositivi di scorrimento, ecc.) per interagire con l’applicazione durante il test. Offre la simulazione dei modelli, incluse connessioni con il Pacchetto SCADE, SCADE DISPLAY, ANSYS Twin Buildere molti altri strumenti. È possibile anticipare la validazione delle specifiche grazie a diverse funzioni:

  • Progettazione di pannelli grafici da una libreria di widget predefiniti (controlli e indicatori) inclusi concetti di interfaccia uomo-macchina (Human-Machine Interface, HMI) di prossima generazione (riconoscimento dei gesti, animazione grafica)
  • Pannelli grafici interattivi per le sessioni di debugging e di simulazione
  • Libreria estendibile e widget personalizzabili
  • Struttura di progetto unificata nei prodotti SCADE per la gestione dei file di progetto e delle risorse
  • Facilità di gestione della tabella delle risorse (colore, linea/ampiezza dei puntini, texture, font, simbolo, immagine)
  • Gestione del dizionario delle variabili
  • Generazione automatica di applicazioni eseguibili per piattaforme Windows/PC, Apple iOS, Android non in fase di runtime
  • Integrazione con ambiente di sviluppo basato su modello del Pacchetto SCADE, ANSYS Twin Builder e altri strumenti conformi a FMI (Functional Mock-up Interface [Mock-up Interface funzionale])
  • Generazione di proxy FMU (Functional Mock-up Unit [Mock-up Unit funzionale]) per simulazioni di rete/distribuita con strumenti conformi allo standard FMI

VIDEO: Introduction to the ANSYS SCADE Test Rapid Prototyping Capabilities

SCADE Test: Requirements Validation


Testing delle applicazioni software di controllo sull’host

L’ambiente SCADE Test per l’host fornisce un’interfaccia utente in batch interattiva per applicazioni software di controllo sviluppate utilizzando il Pacchetto SCADE. Dall’interfaccia interattiva, potete creare e gestire dati del test, configurare e avviare l’esecuzione del test e ottenere rapporti riepilogativi e dettagliati sull’esecuzione del test.

L’ambiente SCADE Test per l’host include:

  • Registrazione dello scenario di test
  • Gestione interattiva dei dati del test all’interno dei progetti di test
  • Analisi interattiva di risultati di test all’interno dei progetti dei risultati di test
  • Leggibilità di test case per revisioni efficienti
  • Formato tabellare o testuale
  • Generazione di modelli di test case e gateway Microsoft® Excel®
  • Potente capacità di controllo dei risultati previsti:
  • Controllo di invarianti
  • Personalizzazione della tolleranza di precisione per dati o gruppo di dati
  • Definizione di test case indipendenti dall’implementazione del modello
  • Tabella di alias per associare nomi logici a nomi di implementazione. La tabella è riusabile per tutti i test case
  • Modularità che consente il riuso e la fattorizzazione (sequenza di inizializzazione)
  • Facile manutenzione dei dati del test

VIDEO: How to Verify a Model on Host with SCADE Test?

SCADE Test: Testing Control Software Applications on Host


Testing delle interfacce utente grafiche sull’host

L’ambiente SCADE Test per l’host fornisce un’interfaccia utente in batch interattiva per applicazioni di interfacce utente grafiche sviluppate utilizzando il Pacchetto SCADE. Dall’interfaccia interattiva, potete creare e gestire dati del test, configurare e avviare l’esecuzione del test e ottenere rapporti riepilogativi e dettagliati sull’esecuzione del test.

L’ambiente SCADE Test per l’host include:

  • Registrazione dello scenario di test
  • Gestione interattiva dei dati del test all’interno dei progetti di test
  • Analisi interattiva di risultati di test all’interno dei progetti dei risultati di test
  • Leggibilità di test case per revisioni efficienti
  • Formato tabellare o testuale
  • Generazione di modelli di test case e gateway Microsoft® Excel®
  • Potente capacità di controllo dei risultati previsti
  • Controllo di invarianti
  • Personalizzazione della tolleranza di precisione per dati o gruppo di dati
  • Definizione di test case indipendenti dall’implementazione del modello
  • Tabella di alias per associare nomi logici a nomi di implementazione. La tabella è riusabile
    per tutti i test case
  • Modularità che consente il riuso e la fattorizzazione (sequenza di inizializzazione)
  • Facile manutenzione dei dati del test

VIDEO: Breakthrough Support of HMI Testing

SCADE Test: Testing Graphical User Interfaces on Host


Analisi della copertura del codice e del modello

SCADE Test Model Coverage estende lo sviluppo delle applicazioni del Pacchetto SCADE con la misurazione della copertura di modelli e del codice generato su un gruppo di test di alto livello e basato sui requisiti. Una volta che i test case vengono creati ed eseguiti sull’host, l’ambiente SCADE Test per l’host combinato con SCADE Test Model Coverage vi consente di misurare la copertura del modello dei test case.

La copertura a livello di modello misura i seguenti criteri:

  • Struttura decisionale
  • Flusso di controllo, macchine di stato, selezione
  • Copertura decisionale (Decision Coverage, DC)
  • Condizione modificata/Copertura decisionale (Modified Condition, MC/Decision Coverage, DC)
  • Copertura di accoppiamento dei dati e controllo

La copertura a livello di codice misura i seguenti criteri di copertura strutturale:

  • Copertura di punti di ingresso/uscita
  • Copertura decisionale
  • Condizione modificata/Copertura decisionale

SCADE Test Model Coverage è qualificato come strumento di verifica secondo gli standard DO-178B e come strumento DO-330 TQL-5 secondo lo standard DO-178C.

VIDEO: How to Verify a Model on Host with SCADE Test?

SCADE Test: Model and Code Coverage Analysis


Esecuzione del test sul sistema di destinazione

SCADE Test Target Execution automatizza la generazione di un test harness di destinazione per strumenti COTS (IBM Rational® Test RealTime, LDRA TestBed®, Vector Software VectorCAST™). Supporta applicazioni sviluppate con il Pacchetto SCADE.

SCADE Test Target Execution converte i test case del modello in test harness. La generazione di test harness è personalizzabile per l’integrazione in una qualsiasi infrastruttura di test di destinazione COTS o interna.

SCADE Test Target Execution è qualificato come strumento di verifica secondo gli standard DO-178B e come strumento DO-330 TQL-5 secondo lo standard DO-178C.

VIDEO: How to Prepare Software Testing on Target With SCADE Test

SCADE Test: Test Execution on Target


Testing system-in-the-loop

L’ambiente SCADE Test per l’host fornisce un’API dei servizi di test, che vi consente di svolgere testing del software in un ambiente di testing system-in-the-loop. Con l’API Test Service di SCADE, potete misurare la copertura del modello software durante il testing del sistema intero. L’API Test Services fornisce accesso a funzioni in grado di salvare/caricare stati delle applicazioni in file di snapshot (.sns). Uno snapshot è un file di testo che memorizza lo stato dell’applicazione SCADE, inclusi valori di input/output, memorie, sensori e numero di ciclo. Questo file è il risultato di una sequenza registrata in un ambiente di testing system-in-the-loop. I file di snapshot che contengono la misurazione della copertura vengono caricati nell’ambiente SCADE Test per riportare i risultati della copertura.

VIDEO: How to do Closed Loop Testing with ANSYS Twin Builder and SCADE

SCADE Test: System-in-the-Loop Testing