Design by Contracts in PHP
3 likes1,913 views
Документ описывает концепцию контрактного программирования, которая включает автоматическую проверку спецификаций программных интерфейсов. Основными элементами являются роли клиента и поставщика, а также использование логики Хоара для формулировки условий и инвариантов. Кроме того, упоминаются инструменты для реализации контрактного программирования на PHP.
Design by Contracts in PHP
- 1. Design by Contracts (DbC) Sergey Khaletskiy
- 2. Контрактное программирование Контрактное программирование — это возможность автоматической проверки «формальных, точных и верифицируемых спецификаций программных интерфейсов»
- 3. ● обязанности сторон: – клиент: корректные входные данные – поставщик: корректная работа и результат ● соблюдение контракта Контрактное программирование
- 4. Контрактное программирование ● Основная идея – объединить программный код и спецификации ● Спецификации (контракты) встраиваются в программу ● В основе лежит логика Хоара Тройка Хоара: {P}С{Q} ● P и Q – утверждения ● С – часть программы
- 5. ● Документация – предусловия + посусловия + интерфейс - документирование методов – инварианты + интерфейс класса – документирование классов ● Тестирование – предусловия и инварианты - ограничения на генерируемые тесты Решение проблем
- 6. Контракт – сугубо декларативное описание требовний. Задает: ● Типы данных ● Предусловие (precondition) ● Инвариант (invariant) ● Постусловие (postcondition) Контракт
- 7. ● Предусловие ● Инвариант ● Вызов функции ● Инвариант ● Постусловие Последовательность проверки
- 8. DcP в PHP
- 9. ● PhpDeal https://github.com/lisachenko/php-deal DcP в PHP ● PHP-Contract https://github.com/axiom82/PHP-Contract
- 10. PHP-Contract
- 13. Вопросы