Праспель - Википедия - Praspel

Praspel
Парадигмадоговор
РазработчикHoa
Операционные системывсе
ЛицензияНовая лицензия BSD
Интернет сайтhttp://hoa-project.net
Основной реализации
PHP
Под влиянием
JML, ACSL

Praspel (Реалистичный язык аннотаций и спецификаций PHP) - это формальная спецификация язык для PHP. Он основан на разработка по контракту парадигма и использование предварительные условия, постусловия, инварианты и т. д. Технические характеристики указаны в Комментарии кода PHP (всегда доступен). Praspel используется для ручной или автоматической проверки и проверки программного обеспечения благодаря реалистичным доменам.

Библиография

  • Эндерлин, Иван; Дадо, Фредерик; Джорджетти, Ален; Букет, Фабрис (апрель 2012 г.). «Тестирование на основе грамматики с использованием реалистичных доменов в PHP». IEEE. Дои:10.1109/978-0-7695-4670-4.
  • Эндерлин, Иван; Дадо, Фредерик; Джорджетти, Ален; Бен Осман, Абдалла (октябрь 2011 г.). "Praspel: язык спецификаций для контрактного тестирования в PHP". LNCS. С. 64–79. Дои:10.1007/978-3-642-24580-0_6. 7019.
  • Эндерлин, Иван; Бен Осман, Абдаллах; Дадо, Фредерик; Джорджетти, Ален (сентябрь 2010 г.). «Реалистичные домены для генерации модульных тестов». http://disc.univ-fcomte.fr/~publis/papers/pub/2010/RR2010-01.pdf.CS1 maint: location (связь)