FORMATION : Une approche efficace pour fiabiliser son code embarqué. Le TDD « Test Driven Development »
Pour connaitre les prochaines sessions de formation en Logiciel embarque et programmation cliquez ici.
Durant cette formation, nous verrons un ensemble de méthodes et d’outils permettant de capturer un maximum d’erreurs pour fiabiliser vos développements logiciels afin de mettre sur le marché un produit fiable.
OBJECTIF
Maitriser un certain nombre de bonnes pratiques et d’outils pour assurer la qualité du code embarqué.
PROGRAMME
JOUR 1
> Introduction et 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
> Les tests : Principe, test de non régression, automatisation des tests, testabilité
> Documentation de code avec Doxygen
Travaux pratiques
> Utilisation de gitlab
> Mise en en place d’une forge Gitlab
JOUR 2
> Détection automatique d’erreur : Les outils de vérification statique
> Les warning du compilateur une aide précieuse, splint, cppcheck,
> Les outils dynamiques
> Principe et mise en œuvre des outils Valgrind
Travaux pratiques
> Cgreen, Cppcheck, Valgrind
> Etude de cas sur l’automatisation de tests CI/CD avec Gitlab
> Scénario de tests avec Kiwi TCMS
> Rendre une application testable
JOUR 3 (journée dédiée aux tests)
Le test en tant qu’outil de vérification
> Idées reçues et exemples
> Notion de testabilité d’un logiciel ou d’un module logiciel
> Différents types de tests
Tests unitaires : Définition et mise en pratique sur outil de test unitaire
Tests d’intégration : Définition et stratégie
Tests de validation : définition et mise en œuvre
Tests d’endurance et de robustesse
Elaboration d’un document logiciel
> Les documents de spécifications et d’exigences
> Les tests dans le plan qualité
> Impact de la testabilité sur les exigences fonctionnelles
> Impact de la testabilité sur la qualité du codage
Cas pratique avec prise en compte des tests dès les phases de conception
> Elaboration des documents
> Mise en évidence du gain qualité à écrire du code testable
> Mise en œuvre des outils de tests, tests automatiques
Les outils connexes
> Le simulateur
> Le test unitaire et le driver
> Utilisation d’un débogueur en mode automatique
INFORMATIONS PRATIQUES
Public visé : Ingénieurs en conception informatique, responsable R&D, chef de projet, développeur.
Prérequis : Connaissances de base du langage C.
Intervenant : Ingénieur CAP’TRONIC
Date :
Du 22 au 24 avril 2020 de 09h00 à 12h30 et de 13h30 à 17h00
Prix : 1 425 € HT
Pour les adhérents CAP’TRONIC 1 125 € HT
Remarque : Cette formation est éligible au financement par votre Opérateur de Compétences (OPCO) hors CPF.
Moyens pédagogiques : Support de cours – Etudes de cas
Moyens permettant d’apprécier les résultats de l’action : Evaluation de l’action de formation par la remise d’un questionnaire de satisfaction.
Moyen permettant de suivre l’exécution de l’action : Feuilles de présence signées par chaque stagiaire et le formateur par journée de formation.
Sanction de la formation : Attestation de présence