Se connecter

Fiche Module

FISE

STI

Sécurité et Technologies Informatiques


Unité d'Enseignement :


Semestre : 8
Crédits ECTS : 6

EA Mobilité


Elément Constitutif :


Coefficient : 1

Spécification et test des applications


EA IoT




Volume horaire : 21:20

Type Nombre Durée
Cours 8 01:20
TD 8 01:20


Evaluations : 1

Type Coefficient
Examen Final 1


Enseignants : 3

Enseignant Type
Abdallah Ahmad Responsable
Blanchard Allan Responsable
Blanchard Allan Intervenant



Dans ce module, on s'intéresse aux applications qui sont déployées sur les systèmes de type carte à puce. Ces applications s'exécutent directement sur un système à mémoire et puissance limitées. Après avoir étudié la spécification d'un logiciel de ce type

Pré-requis :

UE Semestre Module
Principes de la programmation 5 Programmation Orientée Objet
Principes de la programmation 5 Initiation au Génie Logiciel
Principes de la programmation 5 Modélisation du logiciel


Ce module couvre les aspects suivants : - spécification de logiciels,

  • animation et test des spécifications ,
  • Graphe de flot de contrôle,
  • Sémantique de traces,
  • Analyse statique de programmes par interprétation abstraite,
  • Spécification formelle de programmes,
  • Vérification de programmes par méthodes déductives.






Compétences :

Ref. Verbe Description Niveau