Praspel

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
Praspel
Paradigmcontract
DeveloperHoa
OSall
LicenseNew BSD License
Websitehttp://hoa-project.net
Major implementations
PHP
Influenced by
JML, ACSL

Praspel (PHP Realistic Annotation and Specification Language) is a formal specification language for PHP. It is based on the design-by-contract paradigm and uses preconditions, postconditions, invariants etc. Specifications are written in the comments of the PHP code (always accessible). Praspel is used for manual or automatic software validation and verification, thanks to realistic domains.

Bibliography[edit]

  • Enderlin, Ivan; Dadeau, Frédéric; Giorgetti, Alain; Bouquet, Fabrice (April 2012). "Grammar-based Testing using Realistic Domains in PHP". IEEE (pdf)|format= requires |url= (help). doi:10.1109/978-0-7695-4670-4.
  • Enderlin, Ivan; Dadeau, Frédéric; Giorgetti, Alain; Ben Othman, Abdallah (October 2011). "Praspel: A Specification Language for Contract-Driven Testing in PHP". LNCS (pdf)|format= requires |url= (help). pp. 64–79. doi:10.1007/978-3-642-24580-0_6. 7019.
  • Enderlin, Ivan; Ben Othman, Abdallah; Dadeau, Frédéric; Giorgetti, Alain (September 2010). "Realistic Domains for Unit Tests Generation" (pdf)|format= requires |url= (help). http://disc.univ-fcomte.fr/~publis/papers/pub/2010/RR2010-01.pdf.