Objectifs pédagogiques

Acquis d'apprentissage
À l'issue de ce module, l'élève sera capable de:
- Identifier différentes techniques de test et de vérification applicables au développement de logiciel embarqué.
- Faire le choix d'une technique de test ou de vérification adapté aux exigences de qualité d'un système à développer.
- Planifier le processus de test d'un logiciel embarqué.
- Utiliser la méthode du Test Driven Design afin de produire un ensemble de tests unitaires.
- Réaliser un outil de vérification statique pour un langage de programmation impératif simple.

Compétences de rattachement (et justification)
- BC8.4 – Déterminer les phases et procédures de tests techniques et fonctionnels des composants matériels et logiciels pour assurer la fiabilité, la sécurité et/ou la sûreté de fonctionnement des systèmes; Justification : L'UE amène les élèves à choisir les méthodes et outils de test et de vérification adaptés aux besoins et aux applications du système à concevoir.
- BC8.1 – Analyser les besoins d’un projet, établir les cahiers des charges fonctionnel et technique en tenant compte des contraintes technologiques (spécifiques aux systèmes à large échelle, systèmes interactifs, aux systèmes embarqués, …); Justification : Les élèves pratiquent des méthodes pour faire le lien entre les exigences logicielles d'un système embarqué et leur concrétisation dans un ensemble de tests fonctionnels.
- BC1.3 – Elaborer une ou plusieurs solutions technologiques, en s’appuyant sur la modélisation théorique et la méthode scientifique de manière à faire ressortir la pertinence desdites solutions permettant une prise de décision; Justification : Les élèves développent un outil de vérification formelle appliqué à du code embarqué.