Test del software per sistemi embedded

Questo libro descrive tutti i metodi pratici di test del software per sistemi embedded e mostra come possano essere integrati in un progetto a pianificazione controllata o agile. Le fasi di test vengono trattate in ordine cronologico e le spiegazioni sono illustrate con numerosi esempi tratti da progetti con e senza rilevanza per la sicurezza. Tra i temi trattati ci sono: analisi statica del codice, test unitari, test di integrazione hardware/software, test di integrazione software/software, test di sistema, test di data race, test di schedulabilità e test in tempo reale, oltre a norme e rischi di responsabilità. Valutazioni personali dei metodi di test, resoconti di esperienze e una discussione sugli strumenti di test alla fine di ogni capitolo forniscono al lettore importanti indicazioni per l'applicazione dei contenuti e per l'acquisto di strumenti. Domande di comprensione con risposte e esempi di esercizi.