Praspel

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Praspel
Auteur Ivan Enderlin, Frédéric Dadeau, Abdallah Ben Othman, Alain Giorgetti, Fabrice Bouquet
Développeur Hoa
Paradigme programmation par contrat
Influencé par JML, ACSL
Implémentations PHP
Système d'exploitation tous
Licence New BSD License
Site web http://hoa-project.net

Praspel (PHP Realistic Annotation and Specification Language) est un langage de spécification pour PHP. Il est basé sur le paradigme de la programmation par contrat et utilise les préconditions, les postconditions, les invariants, etc. Les spécifications sont ajoutées dans les commentaires du code PHP (toujours accessible). Praspel est utilisé pour de la validation et de la vérification logiciel manuelle ou automatique, grâce aux domaines réalistes.

Bibliographie[modifier | modifier le code]

  • (en) Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti et Fabrice Bouquet, avril 2012 : Grammar-based Testing using Realistic Domains in PHP. IEEE lien DOI ] 
  • (en) Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti et Abdallah Ben Othman, octobre 2011 : Praspel: A Specification Language for Contract-Driven Testing in PHP. LNCS, vol. 7019, p. 64-79 lien DOI ] 
  • (en) Ivan Enderlin, Abdallah Ben Othman, Frédéric Dadeau et Alain Giorgetti, septembre 2010 : Realistic Domains for Unit Tests Generation. [[1]]