%0 Conference Proceedings
%T Praspel: A Specification Language for Contract-Based Testing in PHP
%+ Combination of approaches to the security of infinite states systems (CASSIS)
%+ Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST)
%A Enderlin, Ivan
%A Dadeau, Frédéric
%A Giorgetti, Alain
%A Ben Othman, Abdallah
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 23th International Conference on Testing Software and Systems (ICTSS)
%C Paris, France
%Y Burkhartt Wolff
%Y Fatiha Zaïdi
%I Springer-Verlag
%3 Testing Software and Systems
%V LNCS-7019
%P 64-79
%8 2011-11-07
%D 2011
%R 10.1007/978-3-642-24580-0_6
%K PHP
%K Design-by-Contract
%K annotation language
%K unit testing
%K formal specifications
%Z Computer Science [cs]/Software Engineering [cs.SE]
%Z Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-00640279/document
%2 https://inria.hal.science/hal-00640279/file/978-3-642-24580-0_6_Chapter.pdf
%L hal-00640279
%U https://inria.hal.science/hal-00640279
%~ CNRS
%~ INRIA
%~ UNIV-FCOMTE
%~ UNIV-BM
%~ ENSMM
%~ FEMTO-ST
%~ INRIA_TEST
%~ INRIA-LORRAINE
%~ LORIA2
%~ UNIV-BM-THESE
%~ INRIA-NANCY-GRAND-EST
%~ TESTALAIN1
%~ IFIP-LNCS
%~ IFIP
%~ UNIV-LORRAINE
%~ INRIA2
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ LORIA
%~ LORIA-FM
%~ IFIP-ICTSS
%~ IFIP-LNCS-7019