Logiciels embarqués
Dans ce livre sur les logiciels embarqués, l'auteur présente les principaux aspects de leur conception en vue d'assurer leur qualité. Seront ainsi traités tout au long de ces pages : les enjeux de la qualité du logiciel, l'assurance et le contrôle de la qualité logicielle, les méthodes et techniques, les principaux cycles de vie du développement logiciel, les normes et modèles de processus ainsi que les principaux processus de développement, les différents tests logiciels, les outils d'analyse statique, les revues, les méthodes de vérification, les règles de développement et la mesure du logiciel.
Concernant les processus de développement, l'auteur détaille un nouveau modèle résultant de la fusion de CMMI-DEV (1-3), SPICE (2012), Automotive SPICE (version PAM 2-5 et PRM 4-5) ainsi que HIS. Une traçabilité détaillée avec ces modèles sera donnée ainsi que des exemples et des explications sur leur mise en place et les différences entre eux. Les méthodes Agiles ne seront pas oubliées avec des encadrés spécifiques à chaque fois que nécessaire.
Concernant la qualité logicielle, de nombreux exemples, méthodes et pratiques, dont beaucoup proviennent du premier constructeur mondial automobile, Toyota, seront donnés. Ils permettront de connaître et d'appliquer des méthodes qui ont fait leurs preuves et qui permettent d'accéder à l'excellence logicielle et à la capitalisation.
Du même éditeur
ENI - livre européen