Praspel, un langage de spécification par contrats - PHP Tour Lyon 2014 #phptour

Ivan Enderlin , Julien Bianchi Praspel est un langage de spécification basé sur la programmation par contrats. Utilisé en annotations du code, c'est un langage simple unifiant plusieurs théories avancéees de validation et de vérification de données. Praspel est entre autres utilisé pour de la génération automatique de tests unitaires. Dans cette conférence, nous verrons diverses stratégies pour assurer une certaine qualité de code, en revenant sur les tests unitaires et la programmation par contrats. Ensuite, nous verrons comment Praspel répond à ces problématiques. Et enfin, nous verrons de quelle manière Praspel s'intègre aux outils industriels, notamment en générant automatiquement des tests unitaires exécutables avec atoum. Notons que Praspel est élaboré au sein des laboratoires de recherche de l'INRIA et de Femto-ST. 3 articles internationaux, 1 journal et 1 thèse ont d'ores et déjà été publiés. https://joind.in/talk/view/11236 Slides : http://keynote.hoa-project.net/PHPTour14/PHPTour14.html

Praspel, un langage de spécification par contrats - PHP Tour Lyon 2014 #phptour

Related Talks

Du SSO via OAuth pour mieux découpler votre appli - Matthieu Moquet - PHP Tour Lyon 2014 #phptour

Nouveau socle pour une nouvelle vie, chez M6Web - Kenny Dits - PHP Tour Lyon 2014 #phptour

Comprendre et optimiser OPcache - Frederic Bouchery , Xavier Leune #forumphp

Comment grapher et visualiser vos data ? - Gregoire Pineau - PHP Tour Lyon 2014 #phptour