Logo de la rubrique ATELIER CAP’TRONIC : Fiabilisation du code C

ATELIER CAP’TRONIC : Fiabilisation du code C

Du 29 au 30 septembre 2015 Gardanne (13)

Pour connaitre les prochaines sessions de formation sur Logiciel embarque et programmation cliquez ici.




Mettre sur le marché un produit fiable et de qualité est une nécessité, tant du point de vue de l’image de marque de l’entreprise que de sa performance.

Si vos équipements sont utilisés dans des applications où la qualité de service est importante, vos équipes de développement logiciel doivent maitriser un certain nombre de bonnes pratiques et d’outils pour assurer la qualité du code embarqué.

L’objet de cet atelier, est de présenter un ensemble de méthodes et d’outils permettant de capturer un maximum d’erreurs et de fiabiliser vos développements logiciels, mais aussi d’acquérir un certain nombre de bonnes pratiques et de manipuler des outils permettant de développer un code fiable et de qualité.

Les défauts logiciels détectés tardivement, lors de la phase de production, ou pire, après livraison chez le client, ont un coût extrêmement important pour l’entreprise.
C’est à la fois un coût lié à la correction du problème mais aussi un coût en terme de détérioration de l’image de l’entreprise.
Ces bugs sont souvent mal identifiés par le client (utilisateurs non technique) et peuvent générer d’importants problèmes de sécurité dans le logiciel.
Chaque bugs détectés tardivement nécessite une reprise du logiciel pouvant aller jusqu’à la conception et nécessitant de parcourir à nouveau tout le cycle de codage, test unitaire, test d’intégration et de validation. Enfin s’ils arrivent en production, ou chez le client, c’est probablement que le défaut est intermittent, avec faible occurrence, donc difficile à reproduire et à corriger.
Pour toutes ces raisons, il convient de mettre en place des méthodologies, des outils et des pratiques permettant de fiabiliser au maximum, et au plus tôt, les développements logiciels dans vos produits.

PROGRAMME

JOUR 1

(9h - 18h)

  • 1) Introduction
    Exemples de scénarios types introduisant la problématique d’un code de qualité, testé et documenté
  • 2) Norme de codage
    Principe et exemples : Linux coding style, MISRA, google coding style
  • 3) Outils de gestion de configuration
    Principes et exemples : CVS,SVN, GiT
  • 4) Gestion de tickets de modification / défauts
    Principe, Bugzilla, Trac.
  • 5) Interaction entre TRAC et SVN pour la revue de code
  • 6) Les tests
    Principe, Test de non régression, Automatisation des tests, Testabilité
  • 7) Documentation de code
    Doxygen

JOUR 2

(9h - 18h)

  • 8) Détection automatique d’erreur : Les outils de vérification statique
    Les warning du compilateur : une aide précieuse, splint, cppcheck, Vera++
  • 9) Les outils dynamiques
    Principe et mise en œuvre des outils Valgrind
  • 10) Les outils propriétaires
    Principe et mise en œuvre des outils Purify & Sonar
  • 11) Travaux pratiques
    • Utilisation SVN basique
    • Navigation dans le code source avec SVN et TRAC
    • Cppcheck
    • Valgrind
    • Etude de cas sur l’automatisation de tests
    • Rentre une application testable.
  • 12) Conclusion/Discussions

Public visé et prérequis minimum :
- PMEs, startups ou bureaux d’études du secteur électronique au sens large qui envisagent de développer une application embarquée.
- Une connaissance du langage C est nécessaire pour une partie du cours.

Matériel à prévoir :
Chaque participant doit venir avec un PC portable (Windows/Mac ou Linux ).

Lieu :
Centre de microélectronique de Provence
880 route de Mimet
13120 GARDANNE

Les inscriptions sont closes. Pour connaitre les prochaines sessions de formation sur Logiciel embarque et programmation cliquez ici.