FORMATION : Des outils pour fiabiliser son code embarqué. Le TDD " Test Driven Development "
Du 20 au 21 octobre 2020
DÉMATÉRIALISÉE
Pour connaitre les prochaines sessions de formation en Logiciel embarque et programmation cliquez ici.
L’objectif de cette formation est de maitriser son développement logiciel avec Gitlab pour assurer sa qualité du code embarqué.
PROGRAMME
JOUR 1
- 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 - Les tests dans le plan qualité
- Impact de la testabilité sur les exigences fonctionnelles
- Impact de la testabilité sur la qualité du codage
- Mise en évidence du gain qualité à écrire du code testable
- Mise en œuvre des outils de tests, tests automatiques
- Le test unitaire et le driver
JOUR 2
- Détection automatique d’erreur : Les outils de vérification statique
- Les warning du compilateur une aide précieuse, CBMC un checker plein de ressources
- Les outils dynamiques
- Principe et mise en œuvre des outils Valgrind
- Travaux pratiques : Cppcheck, CMOCK, Valgrind, CBMC, Git
- Etude de cas sur l’automatisation de tests CI/CD avec Gitlab
- Scénario de tests avec Kiwi TCMS
- Rendre une application testable
Informations pratiques
Public concerné : Ingénieurs en conception informatique, développeur
Prérequis : Connaissances de base du langage C, connaissance en Shell Linux.
Dates :
Les 20 et 21 octobre 2020
Prix : 950 € HT
Pour les adhérents CAP’TRONIC 750 € HT
Remarque : Cette formation est éligible au financement par votre Opérateur de Compétences (OPCO) hors CPF.
Les inscriptions sont closes. Pour connaitre les prochaines sessions de formation en Logiciel embarque et programmation cliquez ici.
info portfolio
