Praspel

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

• Эндерлин, Иван; Дадо, Фредерик; Джорджетти, Ален; Букет, Фабрис (апрель 2012 г.). «Тестирование на основе грамматики с использованием реалистичных доменов в PHP». IEEE. doi : 10.1109 / 978-0-7695-4670-4.
• Эндерлин, Иван; Дадо, Фредерик; Джорджетти, Ален; Бен Осман, Абдалла (октябрь 2011 г.). «Praspel: язык спецификаций для контрактного тестирования в PHP». LNCS. С. 64–79. DOI : 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 (ссылка )

• Бесплатно и портал программного обеспечения с открытым исходным кодом

.