Spécification et test des applicationsEA Internet Of Things (STI)

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

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.