Praspel
| Paradigm | avtal |
|---|---|
| Utvecklare | Ivan Enderlin, Frédéric Dadeau, Abdallah Ben Othman, Alain Giorgetti, Fabrice Bouquet |
| OS | Allt |
| Licens | Ny BSD-licens |
| Hemsida | |
| Stora implementeringar | |
| PHP | |
| Influerad av | |
| JML , ACSL | |
Praspel (PHP Realistic Annotation and Specification Language) är ett formellt specifikationsspråk för PHP . Den är baserad på design-by-contract- paradigmet och använder preconditions , postconditions , invarianter etc. Specifikationer skrivs i kommentarerna till PHP-koden (alltid tillgänglig). Praspel används för manuell eller automatisk mjukvaruvalidering och verifiering, tack vare realistiska domäner.
Bibliografi
- Enderlin, Ivan; Dadeau, Frédéric; Giorgetti, Alain; Bukett, Fabrice (2012). "Grammatikbaserad testning med realistiska domäner i PHP". I Antoniol, Giuliano; Bertolino, Antonia; Labiche, Yvan (red.). Femte IEEE internationella konferens om mjukvarutestning, verifiering och validering, ICST 2012, Montreal, QC, Kanada, 17-21 april 2012 . IEEE Data Society. s. 509–518. doi : 10.1109/ICST.2012.136 .
- Enderlin, Ivan; Dadeau, Frédéric; Giorgetti, Alain; Othman, Abdallah Ben (2011). "Praspel: Ett specifikationsspråk för kontraktsbaserad testning i PHP". I Wolff, Burkhart; Zaïdi, Fatiha (red.). Testa programvara och system: 23:e IFIP WG 6.1 International Conference, ICTSS 2011, Paris, Frankrike, 7-10 november 2011, Proceedings . Föreläsningsanteckningar i datavetenskap. Vol. 7019. Springer. s. 64–79. doi : 10.1007/978-3-642-24580-0_6 .
- Enderlin, Ivan; Ben Othman, Abdallah; Dadeau, Frédéric; Giorgetti, Alain (september 2010). "Realistiska domäner för generering av enhetstester" (PDF) .
Kategorier: