Close search
Hoa

PHPTour 2014

AFUP Lyon The PHPTour is a brand new cycle of the AFUP conferences. The , at the Manufacture des Tabacs at Lyon (FR), the forum has gently welcomed Ivan Enderlin and Julien Bianchi for a conference.

Praspel, un langage de spécification par contrats

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.

Présentation, démonstrations et enregistrement

La présentation est disponible. Les démonstrations sont accessibles dans le dossier Demonstration (voir le dépôt Keynote.git). L'enregistrement de la conférence est également disponible.

menu