Atollic: TrueVerifier, strumento per automazione di prove embedded

TrueVerifier, di Atollic, distribuito da Fenway Embedded Systems, genera automaticamente prove di unità e le trasferisce, sempre automaticamente, nella scheda di destinazione considerata, allo scopo di eseguirle. Per questo fine, analizza il codice sorgente del progetto del sistema embedded da collaudare e produce in modo automatico un vasto numero di prove di unità a esso adatte, dove le prove delle unità generate pilotano tante combinazioni di percorsi esecutivi quante siano possibili nel codice stesso.

Essendo le prove di unità autogenerate, le medesime possono essere mantenute facilmente in sincronia con il codice sorgente in uso e venire automaticamente aggiornate a mano a mano che lo stesso venga esteso, ovviando completamente, in questo modo, al tedioso lavoro relativo all’identificazione di quali prove di unità siano necessarie, nonché alla scrittura, alla costruzione e al mantenimento di esse.

Le prove di unità, una volta generate, vengono compilate e trasferite automaticamente, tramite una sonda Jtag standard, nella suddetta scheda di destinazione, dove esse vengono quindi effettuate monitorandone completamente i percorsi esecutivi e consentendone così analisi di coperture (blocchi, diramazioni, decisioni/condizioni modificate).

Si incorpora perfettamente nell’ambiente integrato di progettazione TrueStudio C/C++ e lavora inoltre in parallelo con i prodotti TrueInspector (analisi statiche di codici sorgente) e TrueAnalyzer (analisi dinamiche di codici sorgente), tutti di Atollic.

Atollic: www.atollic.com

Fenway Embedded Systems: www.fenwayembedded.com

Contenuti correlati

• 
  La produzione elettronica ha finalmente la sua voce: nasce EMS&PCB

  La produzione elettronica ha finalmente la sua voce. Elettronica Oggi lancia EMS&PCB, una nuova sezione verticale dedicata interamente al mondo EMS e PCB: circuiti stampati, assemblaggio elettronico, materiali, test, controllo qualità e processi produttivi. Un progetto editoriale...
• 
  Emerson estende la piattaforma di test modulare

  Emerson ha annunciato l’ampliamento della sua piattaforma di test modulare con hardware caratterizzato da un prezzo accessibile. L’azienda sottolinea che le nuove opzioni NI PXI permettono a più team di ingegneri di adottare sistemi di test automatizzati...
• 
  Massima precisione con il Test & Measurement per l’elettronica firmato RS Italia

  Un’ampia gamma di strumenti – dagli oscilloscopi, agli alimentatori, ai generatori di segnale – soluzioni innovative e servizi di taratura certificata per un’accuratezza e qualità garantita Nel panorama industriale moderno, e nel mondo dell’elettronica in particolare, la...
• 
  Advantest presenta la piattaforma MTe

  MTe è una nuova piattaforma di collaudo di Advantest per dispositivi di potenza a semiconduttore, dai wafer fino a moduli di potenza integrati e complessi. La piattaforma combina un’architettura hardware modulare, una elevata scalabilità di sistema e...
• 
  Due nuove soluzioni di test da SEICA

  SEICA ha annunciato due nuove soluzioni dedicate al collaudo dei semiconduttori di potenza. La prima è il sistema S20 IS³ che consente il test di dispositivi di potenza discreti, inclusi quelli realizzati con le tecnologie SiC e...
• 
  Microprocessori multicore a 64-bit per l’“intelligent edge”

  Microchip Technology ha introdotto la gamma di MPU PIC 64 per soddisfare le crescenti esigenze degli odierni progetti embedded Leggi l’articolo completo su EMB93
• 
  5 prodotti OSHW per progetti embedded flessibili e personalizzabili

  Optare per un hardware open source significa credere nel potenziale di innovazione, accelerazione e trasformazione di ciascun prodotto o progetto, che deriva da una maggior capacità di controllo sulla tecnologia e dalla condivisione di conoscenze. Le prospettive...
• 
  AMD annuncia Embedded+

  Embedded+ è il nome di una nuova piattaforma architetturale di AMD che combina i processori AMD Ryzen Embedded con i SoC adattivi Versal su un’unica board integrata. L’obiettivo è quello di accelerare il time-to-market delle applicazioni Edge...
• 
  Le soluzioni Embedded: istruzioni per l’uso

  Di Sandro Mascetti – CEO di MAS Elettronica Nell’attuale scenario di Industria 4.0. le soluzioni embedded sono diventate un must have. Grazie alle numerose applicazioni che offrono, queste soluzioni sono molto diffuse e conosciute. I sistemi embedded...
• 
  Vector: test SIL sull’hardware target

  Vector Informatik offre funzioni di test Software-in-the-Loop (SIL) sull’hardware target, integrate come funzionalità in CANoe4SW. In questo modo è possibile testare i componenti software con una forte dipendenza dall’hardware. Con la connessione al debugger hardware disponibile nel...