Praspel, un langage de spécification par contrats

Description

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.

Informations complémentaires

• Slides
• Fiche joind.in
• Audio : français

Doctorant en Informatique (spécialisé dans la sûreté et sécurité du logiciel), contributeur PHP, Mozilla et autres logiciels libre, expert invité au W3C, et surtout créateur et fondateur de Hoa : un ensemble de bibliothèques PHP.

Julien Bianchi, développeur PHP (entre autres) depuis plus de 10, j'ai travaillé dans diverses sociétés, de la petite agence web à l'éditeur de logiciel. J'occupe aujourd'hui le poste de responsable qualité dans la société PMSIpilot. Durant mon parcours, j'ai travaillé dans des équipes de typologies diverse et me suis spécialisé dans 3 domaines en particulier : qualité logicielle, tests logiciels et l'automatisation/outillage. J'ai également contribué à divers projets open-source en PHP, en particulier, atoum et Hoa.