Praspel

Praspel
Paradigma	sözleşme programlama
Yazar	Ivan Enderlin, Frédéric Dadeau, Abdallah Ben Othman, Alain Giorgetti, Fabrice Buket
Geliştirici	Hoa
Tarafından etkilenmiş	JML , ACSL
Uygulamalar	PHP
İşletim sistemi	herşey
Lisans	Yeni BSD Lisansı
İnternet sitesi	http://hoa-project.net

Praspel ( PHP Gerçekçi Ek Açıklama ve Belirtim Dili ), PHP için bir belirtim dilidir . Sözleşme programlama paradigmasına dayanır ve ön koşulları , son koşulları , değişmezleri  vb. Kullanır . Spesifikasyonlar , PHP kodunun yorumlarına eklenir (her zaman erişilebilir). Praspel, gerçekçi etki alanları kullanarak manuel veya otomatik yazılım doğrulama ve doğrulama için kullanılır.

Kaynakça

• (en) Ivan Enderlin , Frédéric Dadeau , Alain Giorgetti ve Fabrice Bouquet , "  PHP'de Gerçekçi Etki Alanları Kullanarak Dilbilgisine Dayalı Test  " , IEEE ,Nisan 2012( DOI  10.1109 / 978-0-7695-4670-4 )
• (en) Ivan Enderlin , Frédéric Dadeau , Alain Giorgetti ve Abdallah Ben Othman , "  Praspel: PHP'de Sözleşmeye Dayalı Test için Bir Spesifikasyon Dili  " , LNCS , cilt.  7019,Ekim 2011, s.  64-79 ( DOI 10.1007 / 978-3-642-24580-0_6 ) 
• (en) Ivan Enderlin , Abdallah Ben Othman , Frédéric Dadeau ve Alain Giorgetti , "  Birim Testleri Üretimi için Gerçekçi Alanlar  " , DISC ,Eylül 2010( çevrimiçi okuyun [PDF] )