Vous êtes ici

  1. Accueil
  2. Spécification formelle, contrat pour la génération de test et la preuve

Spécification formelle, contrat pour la génération de test et la preuve

Spécification formelle, contrat pour la génération de test et la preuve

En pratique :

Langue principale : français

Description du contenu de l'enseignement

  • sensibilisation à la persistance des bugs même après une phase de tests poussée, dans les logiciels complexes ;
  • déterminer les propriétés de sécurité (notion de complétude : « on ne fait pas ce qu’on n’est pas censé faire ») ;
  • modélisation des logiciels et propriétés ;
  • utilisation d’outils automatiques pour la recherche de bugs ;
  • programmation défensive par contrats.