Praspel
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.
| Praspel | |
| Paradigme | programmation par contrat |
|---|---|
| Auteur | Ivan Enderlin, Frédéric Dadeau, Abdallah Ben Othman, Alain Giorgetti, Fabrice Bouquet |
| Développeur | Hoa |
| Influencé par | JML, ACSL |
| Implémentations | PHP |
| Système d'exploitation | tous |
| Licence | New BSD License |
| Site web | http://hoa-project.net |
Bibliographie
- (en) Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti et Fabrice Bouquet, « Grammar-based Testing using Realistic Domains in PHP », IEEE, (DOI 10.1109/978-0-7695-4670-4)
- (en) Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti et Abdallah Ben Othman, « Praspel: A Specification Language for Contract-Driven Testing in PHP », LNCS, vol. 7019, , p. 64-79 (DOI 10.1007/978-3-642-24580-0_6)
- (en) Ivan Enderlin, Abdallah Ben Othman, Frédéric Dadeau et Alain Giorgetti, « Realistic Domains for Unit Tests Generation », DISC, (lire en ligne [PDF])
Portail des logiciels libres
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.