Descriptif
voir la version en Anglais
Objectifs pédagogiques
Acquis d'apprentissageÀ l'issue de l'UE, 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é.
24 heures en présentiel (16 blocs ou créneaux)
réparties en:
- Travaux Pratiques : 15
- Leçon : 9
Diplôme(s) concerné(s)
Parcours de rattachement
Format des notes
Numérique sur 20Littérale/grade européenPour les étudiants du diplôme Diplôme d'ingénieur
Vos modalités d'acquisition :
L'évaluation est basée sur deux TPs notés pour vérifier la compréhension des méthodes de test et de vérification et pour évaluer leur capacité à les mettre en pratique.
L'UE est acquise si Note finale >= 10- Crédits ECTS acquis : 2.5 ECTS
- Crédit d'UE électives acquis : 2.5
La note obtenue rentre dans le calcul de votre GPA.
L'UE est évaluée par les étudiants.
Pour les étudiants du diplôme Echange international non diplomant
Vos modalités d'acquisition :
L'évaluation est basée sur deux TPs notés pour vérifier la compréhension des méthodes de test et de vérification et pour évaluer leur capacité à les mettre en pratique.
La note obtenue rentre dans le calcul de votre GPA.
Programme détaillé