Fiabilité et qualité logicielle : des outils et des méthodes pour détecter les défauts de conception
Pour connaitre les prochaines sessions de formation sur Logiciel embarque et programmation cliquez ici.
Les défauts logiciels (bugs) lorsqu’ils arrivent lors de la phase de production, ou pire, chez un client, sont un vrai problème pour les entreprises qui développent des programmes informatiques.
Plus les défauts sont trouvés tôt dans la chaîne de conception logicielle, moins leur correction coûte cher. A l’inverse, des défauts logiciels découverts et corrigés chez le Client peuvent avoir des effets économiques et d’image désastreux.
Il existe des normes, des méthodes et des outils qui permettent de ne pas produire ou de capturer les bugs.
« Le bug le moins cher à corriger est celui qu’on ne produit pas »
Objectifs :
Cet atelier vise à donner, aux PME, les bases pour appliquer, de manière pragmatique, des méthodes issues de groupes industriels, afin d’augmenter la qualité du logiciel.
Le principe de cette formation, est de présenter et d’utiliser un ensemble d’outils d’analyse de code source, permettant de capturer un maximum d’erreurs de conception, pour certains avant même la compilation.
Des outils gratuits seront présentés et utilisés. En fin de formation, le stagiaire emportera l’ensemble des travaux, exemples et exercices réalisés pendant les 2 jours.
Public visé et prérequis
Entreprises, PME, startups ou bureaux d’études qui envisagent de développer des applications informatiques ou qui souhaitent se perfectionner. Une connaissance du langage C est nécessaire.
Programme :
JOUR 1
- Introduction
Exemples de scénarios types introduisant la problématique d’un code de qualité, testé et documenté
- Normes de codage
Principe et exemples : Linux coding style, MISRA, google coding style
- Outils de gestion de configuration
Principes et exemples : SVN, GiT
- Gestion de tickets de modification / défauts.
- Les tests
Principes, Test de non régression, Automatisation des tests, Testabilité
- Documentation de code
Doxygen
JOUR 2
- Détection automatique d’erreur : Les outils statiques
les warning du compilateur, splint, cppcheck, Vera++
- Les outils dynamiques
Principe et mise en œuvre des outils Valgrind
- Les outils propriétaires
Principe et mise en œuvre des outils Purify & Sonar
- Exercices réalisés au cours de la formation
• Utilisation SVN basique
• Navigation dans le code sources avec SVN et TRAC
• Cppcheck
• Valgrind
• Etude de cas sur l’automatisation de tests
• Rendre une application testable.
- Conclusion/Discussions
Lieu :
INSA Centre Val de Loire site de Blois
3 rue de la Chocolaterie
41000 BLOIS
Plan d’accès