Atelier CAP’TRONIC : Fiabilisation du code C
Pour connaitre les prochaines sessions de formation sur Logiciel embarque et programmation cliquez ici.
L’objet de cette formation, est de présenter 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 proprement dite.
Les défauts logiciels (bugs) lorsqu’ils arrivent lors de la phase de production, ou pire chez un client sont préjudiciables pour l’entreprise car ils ont un impact sur le métier, et/ou sur l’image perçue de l’entreprise par le client. Ils sont souvent mal identifiés par le client (utilisateurs non techniques) et ils peuvent faire apparaître des problèmes de sécurité dans le logiciel. S’ils arrivent tard dans le cycle en V, le fait de livrer à nouveau un logiciel corrigé oblige à re-parcourir toutes les phases montantes de validation. Enfin s’ils arrivent en production, il y a de grandes chances que ces défauts soient " intermittents " avec faible occurrence et seront très ardus à reproduire en environnements maîtrisés.
Pour toutes ces raisons, plus ces défauts sont trouvés tôt dans la chaîne de conception logicielle, moins leur correction coûtera cher et plus l’impact métier sera minime.
Programme
Mercredi 22 avril 2015
Introduction
Exemples de scénarios types introduisant la problématique d’un code de qualité, testé et documenté
Norme de codage
Principe, et exemples : Linux coding style, MISRA, google coding style
Outils de gestion de configuration
Principes et exemples : CVS, SVN, GiT
Gestion de tickets de modification / défauts
Principe, Bugzilla, Trac.
Interaction entre TRAC et SVN pour la revue de code
Les tests
Principe, Test de non régression, Automatisation des tests, Testabilité
Documentation de code
Doxygen
Jeudi 23 avril 2015
Détection automatique d’erreur : Les outils statiques
les warning du compilateur une aide précieuse, 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 & Code Sonar
TRAVAUX PRATIQUES
- 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 de l’événement :
INTER – HOTEL Ascotel Lille Métropôle
7 avenue Paul Langevin
59650 Villeneuve d’Ascq