Maitriser le test du logiciel embarqué
Cette formation vise à fournir aux participants une compréhension approfondie des principes et pratiques des tests logiciels. Les participants apprendront à concevoir, exécuter et gérer des tests efficaces pour garantir la qualité des logiciels. Les sujets abordés incluront les différents types de tests, les critères de couverture, et les outils et techniques utilisés dans le domaine des tests logiciels.
OBJECTIFS
Comprendre les principes fondamentaux des Tests Logiciels. Élaborer un Plan de Tests Efficace.
Mettre en œuvre des stratégies de test dans les systèmes embarqués.
Maîtriser les Techniques de Tests White Box.
Distinguer les Tests Fonctionnels et Non Fonctionnels.
Utiliser les Critères de Couverture Avancés.
Utiliser les Outils et Techniques de Test.
Appliquer les Concepts dans des cas pratiques.
PUBLIC VISE
Concepteurs, Développeurs d’applications logicielles
PREREQUIS
Connaissance préalable : langage C, ligne de commande Linux de base.
Un PC avec webcam, haut-parleur et micro et une liaison Internet sont requis.
INTERVENANT
Expert des systèmes en réseau : infrastructure de réseau, sécurité, développements d’application en réseau, développements d’application sur systèmes embarqués, IoT, M2M.
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 600 € HT
Adhérent CAP’TRONIC : 1 300 € HT
Remarque : Notre certification QUALIOPI vous garantit un process certifié sur nos actions de formation et permet un financement des formations CAP’TRONIC par votre Opérateur de Compétences (OPCO) hors CPF.
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
Tour de table
Introduction
Historique
Normes du domaine
Tests dans l’embarqué
Pourquoi réaliser des tests ?
Tests logiciels vs tests embarqués
Définition des tests
Logique des tests
Timing des tests dans un projet (Cycle V et Agile)
Tests statiques et dynamiques
Notion de preuve formelle
Tests et analyse fonctionnelle et non fonctionnelle
Tests et conditions nominales et dégradées
Terminologie pour le code source
Condition
Décision
Code
Branche
Combinatoire des typages
Combinatoire booléen
Combinatoire entier
Combinatoire flottant
Réduction des ensembles de test
Calcul des partitions
Analyse limite et analyse uniforme
Pairwise testing
TD sur les différents chapitres en langage C
JOUR 2 :
Stratégie de tests black box
Introduction
Organisation des tests
Tests fonctionnels et non fonctionnels
Test d’intégration
Rédiger un plan de tests
Classe d’équivalence
Analyse des valeurs limites
Table de décision
Graphique de cause à effet
Erreur de supposition
Tests de recette
TD sur les différents chapitres
Stratégie de test white box
Introduction
Rédiger un plan de tests
Revue de code
Complexité cyclomatique
Couverture de fonction
Analyse des branches
Couverture de décision/condition (DC)
Couverture de décision
Couverture de condition
Couverture de conditions multiples
Couverture MC/DC
TD sur les différents chapitres
JOUR 3 :
Outils de test
Principe des Mocks
Principe des assertions
Framework Unity
Framework Frama-C / PathCrawler
Code coverage - gcov
Présentation de Sonarqube
Présentation de SCADE
Principe des fonctions weak
TD sur les différents chapitres
Questions/réponses
Tour de table
ORGANISATION
Moyens pédagogiques : Support de cours numérique et Travaux pratiques Dirigés - Assistance pédagogique assurée par le formateur 1 mois après la formation.
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 à chaud à l’issue de la formation, puis d’un questionnaire à froid quelques semaines après la formation.
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
Darlane COUTURIER, couturier@captronic.fr - 06 37 46 07 65
Pour toute question y compris les conditions d’accès pour les publics en situation de handicap.
Pré inscription en ligne
Maitriser le test du logiciel embarqué - du 28 au 30 avril 2025 à distance
Les informations recueillies sur ce formulaire sont enregistrées dans un fichier informatisé par JESSICA France à des fins de communication via emailing. Elles sont conservées jusqu’à votre demande de désinscription et sont destinées aux équipes de JESSICA France localisées en France. Conformément à la loi « informatique et libertés », vous pouvez exercer votre droit d’accès aux données vous concernant et les faire rectifier en contactant contact@captronic.fr
Informations mises à jour le 30/10/2024