Praspel: A Specification Language for Contract-Based Testing in PHP - Archive ouverte HAL Access content directly
Conference Papers Year : 2011

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

(1, 2) , (2, 1) , (2, 1) , (2)
1
2

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.
Fichier principal
Vignette du fichier
978-3-642-24580-0_6_Chapter.pdf (375.12 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00640279 , version 1 (11-11-2011)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

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⟩
265 View
153 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More