Praspel

Praspel
Paradigmacontrato
DesenvolvedorIvan Enderlin, Frédéric Dadeau, Abdallah Ben Othman, Alain Giorgetti, Fabrice Bouquet
SOtodos
LicençaNova licença BSD
Local na rede Internethoa-project.net
Principais implementações
PHP
Influenciado por
JML , ACSL

Praspel (PHP Realistic Annotation and Specification Language) é uma linguagem de especificação formal para PHP . É baseado no paradigma design-by-contract e utiliza pré-condições , pós-condições , invariantes etc. As especificações estão escritas nos comentários do código PHP (sempre acessíveis). Praspel é usado para validação e verificação manual ou automática de software, graças a domínios realistas.

Bibliografia

  • Enderlin, Ivan; Dadeau, Frédéric; Giorgetti, Alain; Buquê, Fabrice (2012). "Testes baseados em gramática usando domínios realistas em PHP". Em Antoniol, Giuliano; Bertolino, Antônia; Labiche, Yvan (eds.). Quinta Conferência Internacional IEEE sobre Teste, Verificação e Validação de Software, ICST 2012, Montreal, QC, Canadá, 17 a 21 de abril de 2012 . Sociedade de Computação IEEE. páginas 509–518. doi :10.1109/ICST.2012.136.
  • Enderlin, Ivan; Dadeau, Frédéric; Giorgetti, Alain; Othman, Abdallah Ben (2011). "Praspel: uma linguagem de especificação para testes baseados em contratos em PHP". Em Wolff, Burkhart; Zaïdi, Fatiha (eds.). Teste de software e sistemas: 23ª Conferência Internacional IFIP WG 6.1, ICTSS 2011, Paris, França, 7 a 10 de novembro de 2011, Anais . Notas de aula em Ciência da Computação. Vol. 7019. Springer. pp. 64–79. doi : 10.1007/978-3-642-24580-0_6 .
  • Enderlin, Ivan; Ben Othman, Abdallah; Dadeau, Frédéric; Giorgetti, Alain (setembro de 2010). "Domínios realistas para geração de testes unitários" (PDF) .


Obtido em "https://en.wikipedia.org/w/index.php?title=Praspel&oldid=1176242944"