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.
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/hal-00640279
Contributor : Frédéric Dadeau <>
Submitted on : Friday, November 11, 2011 - 12:25:31 PM
Last modification on : Friday, July 6, 2018 - 3:06:10 PM

File

978-3-642-24580-0_6_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman. Praspel: A Specification Language for Contract-Based Testing in PHP. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.64-79, ⟨10.1007/978-3-642-24580-0_6⟩. ⟨hal-00640279⟩

Share

Metrics

Record views

846

Files downloads

108