Test de logiciels pour systèmes embarqués

Ce livre décrit toutes les méthodes de test logiciel pratiques et essentielles pour les systèmes embarqués, et montre comment elles peuvent être intégrées dans un projet planifié ou agile. Les niveaux de test sont abordés dans un ordre chronologique, et les explications sont illustrées par de nombreux exemples tirés de projets avec et sans enjeux de sécurité. Parmi les sujets traités, on trouve : - Analyse statique du code - Tests unitaires - Tests d'intégration matériel/logiciel - Tests d'intégration logiciel/logiciel - Tests système - Tests de concurrence - Tests de planification et de temps réel - Normes et risques de responsabilité. Des évaluations personnelles des méthodes de test, des témoignages d'expérience et une discussion sur les outils de test à la fin de chaque chapitre fournissent au lecteur des orientations importantes pour la mise en œuvre des concepts et l'achat d'outils. Des questions de compréhension avec réponses ainsi que des exemples d'exercices sont également inclus.