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

• 
  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...
• 
  Le risorse di Mouser per l’embedded

  Mouser Electronics mette a disposizione dei progettisti una piattaforma online con una serie di risorse per il mondo embedded. Si tratta del centro di risorse sull’Elaborazione Embedded che viene costantemente aggiornato con informazioni sulle applicazioni embedded attraverso...
• 
  Test del Simulatore C-V2X per la guida autonoma e cooperativa

  Per testare efficacemente l’integrazione C-V2X in laboratorio, il test di guida virtuale è diventato un requisito indispensabile a causa della grande quantità di test necessari Leggi l’articolo completo su EO 512
• 
  Sicurezza: un problema volutamente ignorato

  Nel momento in cui le normative e i regolamenti che disciplinano la sicurezza entrano in vigore non solo in Europa, ma in tutto il mondo, le aziende devono necessariamente aggiungere funzioni atte a garantire la sicurezza dei...
• 
  Come rendere sicuro e semplice l’aggiornamento OTA con TUF

  L’ambiente dei dispositivi embedded è ancora il bersaglio di continue minacce. Più un dispositivo è connesso e più funzioni intelligenti offre all’utente, maggiore sarà la “superficie di attacco” per eventuali minacce informatiche Leggi l’articolo completo su Embedded...
• 
  Farnell distribuisce i nuovi bundle NI PXI

  Farnell ha annunciato la disponibilità dei nuovi bundle di test e misura PXI di NI. Il bundle comprende uno strumento PXI in un sistema PXI a 5 slot controllato tramite una porta Thunderbolt USB-C. La connessione diretta...