Praspel

Praspel
Paradigma	szerződéses programozás
Szerző	Ivan Enderlin, Frédéric Dadeau, Abdallah Ben Othman, Alain Giorgetti, Fabrice Bouquet
Fejlesztő	Hoa
Befolyásolta	JML , ACSL
Végrehajtások	PHP
Operációs rendszer	minden
Engedély	Új BSD licenc
Weboldal	http://hoa-project.net

A Praspel ( PHP Realistic Annotation and Specification Language ) a PHP specifikációs nyelve . Ez alapján a szerződésben programozási paradigma és felhasználási feltétele , utófeltételek , invariáns,  stb A specifikációkat a PHP-kód megjegyzései tartalmazzák (mindig elérhetőek). A Praspelt a kézi vagy automatikus szoftverellenőrzésre és -ellenőrzésre használják, reális tartományok felhasználásával.

Bibliográfia

• en) Ivan Enderlin , Frédéric Dadeau , Alain Giorgetti és Fabrice Bouquet , „  Nyelvtani alapú tesztelés reális domainek felhasználásával a PHP-ben  ” , IEEE ,2012. április( DOI  10.1109 / 978-0-7695-4670-4 )
• (en) Ivan Enderlin , Frédéric Dadeau , Alain Giorgetti és Abdallah Ben Othman , „  Praspel: A szerződés által vezérelt tesztelés specifikációs nyelve a PHP-ben  ” , LNCS , vol.  7019,2011. október, P.  64–79 ( DOI  10.1007 / 978-3-642-24580-0_6 )
• en) Ivan Enderlin , Abdallah Ben Othman , Frédéric Dadeau és Alain Giorgetti , „  Reális tartományok az egységtesztek létrehozásához  ” , DISC ,2010. szeptember( olvasható online [PDF] )