Test del software per sistemi embedded

Questo libro descrive tutti i metodi pratici importanti per il testing 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 - Testing per Data Race - Test di schedulabilità e in tempo reale - Normative e rischio 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 pratici.