Fiabilisation du code C : des outils et des méthodes pour détecter les défauts de conception de logiciel

Formations





Accueil du site > fr > Formations > Ateliers - historique 2014 > Fiabilisation du code C : des outils et des méthodes pour détecter les (...)
Du 19 au 20 mai 2014LIMOGES (87)
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 »
Objectif : 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 minimum : Entreprises, PMEs, 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.

Intervenant : M. Laurent Meyer de la Société Digit@m

Programme

JOUR 1

1) Introduction
Exemples de scénarios types introduisant la problématique d’un code de qualité, testé et documenté

2) Normes 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 et exemples : Bugzilla, Trac.

5) Interaction entre TRAC et SVN pour la revue de code

6) Les tests
Principes, Test de non régression, Automatisation des tests, Testabilité

7) Documentation de code
Doxygen

JOUR 2

8) Détection automatique d’erreur : Les outils statiques
les warning du compilateur, 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) 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.

12) Conclusion/Discussions

Date et lieu : 19 & 20 Mai 2014 à l’ENSIL – Parc d’ESTER - LIMOGES

Participation aux frais :
Pour les adhérents CAP’TRONIC : prise en charge totale du coût de l’inscription dans la limite de 10 hommes.jour dans l’année d’adhésion de l’entreprise. La participation à l’atelier est donc gratuite. L’inscription sera validée à réception d’un chèque de 100 €TTC, par personne, qui sera renvoyé au participant après l’atelier. En cas d’absence non remplacée à l’atelier, la caution sera encaissée et une facture établie.

Si vous êtes une PME non adhérente, vous pouvez adhérer à l’association JESSICA France pour un montant de 600,00€ TTC ; pour cela contactez l’ingénieur CAP’TRONIC.

Pour les grandes entreprises et les PME qui ne souhaitent pas adhérer : 960,00 € TTC (TVA 20% incluse), soit 800 € HT pour les deux journées.

Remarque : Cet atelier est éligible au financement par votre Organisme Paritaire Collecteur Agréé (OPCA) ou au DIF .

Contact et inscription : Richard SALVETAT : 06 86 40 94 52 – Dominique GERARD : 06 60 77 06 70
Inscrivez-vous par email au plus tôt : salvetat@captronic.fr ou gerard@captronic.fr

Retournez votre chèque de réservation par courrier :
Captronic – JESSICA France - 12 Rue GEMINI - 87068 LIMOGES Cedex
Crédits © JESSICA FRANCE 2005 - 2016
Le programme CAP’TRONIC est financé par le Ministère de l’Economie et des Finances.