Des outils pour fiabiliser son code embarqué. Le TDD « Test Driven Development »
Pour connaitre les prochaines sessions de formation en Logiciel embarque et programmation cliquez ici.
OBJECTIFS
Maitriser son développement logiciel avec Gitlab pour assurer sa qualité du code embarqué.
PUBLIC VISE
Développeurs de logiciel et ingénieurs en conception informatique.
PREREQUIS
Aisance à utiliser un shell Linux
Bonnes connaissances en programmation langage C.
Un PC avec webcam, haut-parleur et micro et une liaison Internet sont requis.
INTERVENANT
Expert en génie logiciel, processus de gestion et de développement.
Le programme CAP’TRONIC aide, chaque année, 400 entreprises à monter en compétences sur les technologies liées aux systèmes électroniques et logiciel embarqué.
PRIX
Non-adhérent : 1 000€ HT
Adhérent CAP’TRONIC : 800€ HT
LIEU
Formation à distance : Les accès à un outil informatique en ligne adapté seront fournis au stagiaire avant le démarrage de la formation. Aucun logiciel spécifique n’est à installer. Seule une connexion à Internet est requise
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
ORGANISATION
Moyens pédagogiques : Outil de visioconférence - Support de cours - Etude de cas – Assistance pédagogique assurée par le formateur pour une durée de 2 mois suivant la formation.
Moyen permettant d’apprécier les résultats de l’action : Évaluation de l’action de formation par l’envoi d’un questionnaire de satisfaction.
Moyen permettant de suivre l’exécution de l’action : Evaluation des connaissances via un questionnaire avant et après la formation.
Sanction de la formation : Attestation d’assiduité
RENSEIGNEMENTS ET INSCRIPTION
Dorothée WALLART, wallart@captronic.fr - 04 38 78 37 36
Pour toute question y compris les conditions d’accès pour les publics en situation de handicap.
Les inscriptions sont closes. Pour connaitre les prochaines sessions de formation en Logiciel embarque et programmation cliquez ici.
Informations mises à jour le 22/10/2021