Praspel: A Specification Language for Contract-Based Testing in PHP

Ivan Enderlin 1, 2 Frédéric Dadeau 2, 1 Alain Giorgetti 2, 1 Abdallah Ben Othman 2
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We introduce in this paper a new specification language named Praspel, for PHP Realistic Annotation and SPEcification Language. This language is based on the Design-by-Contract paradigm. Praspel clauses annotate methods of a PHP class in order to both specify their contracts, using pre- and postconditions, and assign realistic domains to the method parameters. A realistic domains describes a set of concrete, and hopefully relevant, values that can be assigned to the data of a program (class attributes and method parameters). Praspel is implemented into a unit test generator for PHP that offers a random test data generator, which computes test data, coupled with a runtime assertion checker, which decides whether a test passes or fails by checking the satisfaction of the contracts at run-time.
Type de document :
Communication dans un congrès
Burkhartt Wolff; Fatiha Zaïdi. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. Springer-Verlag, Lecture Notes in Computer Science, LNCS-7019, pp.64-79, 2011, Testing Software and Systems. 〈10.1007/978-3-642-24580-0_6〉
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00640279
Contributeur : Frédéric Dadeau <>
Soumis le : vendredi 11 novembre 2011 - 12:25:31
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Fichier

978-3-642-24580-0_6_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman. Praspel: A Specification Language for Contract-Based Testing in PHP. Burkhartt Wolff; Fatiha Zaïdi. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. Springer-Verlag, Lecture Notes in Computer Science, LNCS-7019, pp.64-79, 2011, Testing Software and Systems. 〈10.1007/978-3-642-24580-0_6〉. 〈hal-00640279〉

Partager

Métriques

Consultations de la notice

688

Téléchargements de fichiers

30