Праспель
| Парадигма | договор |
|---|---|
| Разработчик | Иван Эндерлин, Фредерик Дадо, Абдалла Бен Отман, Ален Джорджетти, Фабрис Буке |
| ТЫ | все |
| Лицензия | Новая лицензия BSD |
| Веб-сайт | ТСЖ-проект |
| Основные реализации | |
| PHP | |
| Под влиянием | |
| ЖМЛ , АКСЛ | |
Praspel (Реалистичный язык аннотаций и спецификаций PHP) — это спецификаций формальный язык PHP . Он основан на парадигме проектирования по контракту и использует предусловия , постусловия , инварианты и т. д. Спецификации пишутся в комментариях к PHP-коду (всегда доступны). Praspel используется для ручной или автоматической проверки и проверки программного обеспечения благодаря реалистичным доменам.
Библиография
[ редактировать ]- Эндерлин, Иван; Дадо, Фредерик; Джорджетти, Ален; Букет, Фабрис (2012). «Грамматическое тестирование с использованием реалистичных доменов в PHP». В Антониоле, Джулиано; Бертолино, Антония; Лабиш, Иван (ред.). Пятая международная конференция IEEE по тестированию, верификации и валидации программного обеспечения, ICST 2012, Монреаль, Квебек, Канада, 17–21 апреля 2012 г. Компьютерное общество IEEE. стр. 509–518. дои : 10.1109/ICST.2012.136 .
- Эндерлин, Иван; Дадо, Фредерик; Джорджетти, Ален; Осман, Абдалла Бен (2011). «Праспел: язык спецификации для контрактного тестирования в PHP». У Вольфа, Буркхарта; Заиди, Фатиха (ред.). Тестирование программного обеспечения и систем: 23-я Международная конференция IFIP WG 6.1, ICTSS 2011, Париж, Франция, 7-10 ноября 2011 г., Материалы . Конспекты лекций по информатике. Том. 7019. Спрингер. стр. 64–79. дои : 10.1007/978-3-642-24580-0_6 .
- Эндерлин, Иван; Бен Отман, Абдалла; Дадо, Фредерик; Джорджетти, Ален (сентябрь 2010 г.). «Реалистичные домены для создания модульных тестов» (PDF) .
 | Эта языкам программирования, статья, посвященная является незавершенной . Вы можете помочь Википедии, расширив ее . |