Skip to Main content Skip to Navigation
Conference papers

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 Nancy - Grand Est, LORIA - FM - Department of Formal Methods
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 metadata

Cited literature [22 references]  Display  Hide  Download
Contributor : Frédéric Dadeau Connect in order to contact the contributor
Submitted on : Friday, November 11, 2011 - 12:25:31 PM
Last modification on : Saturday, October 16, 2021 - 11:26:06 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads