Cours de Spécification & Validation, INSA Centre - Val de Loire

Le but du cours est de faire découvrir d'une part les bases et les bonnes pratiques du test logiciel, et d'autre part les méthodes "formelles" de validation de programme.

Organisation

Lieu et horaires : semaine du 19 février 2018, 21h de cours

Contrôle continu : non.

Planning et Contenu

Introduction aux méthodes formelles cours, TD
Introduction au test logiciel cours, TD, TP JUnit
Exécution symbolique cours, TP PathCrawler (TP2, readme, bsearch1.c, bsearch2.c, oracle)]

Liste des devoirs maison

pas de devoir maison

Back