Praspel
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.
| Paradigm | contract |
|---|---|
| Developer | Hoa |
| OS | all |
| License | New BSD License |
| Website | http://hoa-project.net |
| Major implementations | |
| PHP | |
| Influenced by | |
| JML, ACSL | |
Bibliography
- Enderlin, Ivan; Dadeau, Frédéric; Giorgetti, Alain; Bouquet, Fabrice (April 2012). "Grammar-based Testing using Realistic Domains in PHP". IEEE. 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. 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". http://disc.univ-fcomte.fr/~publis/papers/pub/2010/RR2010-01.pdf.CS1 maint: location (link)
gollark: I would *like* it to, it's just implausible.
gollark: Most people don't care and tight integration simplifies things.
gollark: Your hope is wrong, then.
gollark: Never outside of really niche things.
gollark: Hmm. This G7 is apparently not really available cheaply locally, has an overly large screen with a notch, and does not have a replaceable battery.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.