Доклад “Проектирование по контракту”.
Длительность: 1 час
Проектирование по контракту не просто доброе слово, а очень нужное дело. Его основы, заложенные Бертраном Мейером в далеком 1986, актуальны по сей день.
Вашему вниманию представлен доклад о том, как проектирование по контракту поможет избежать многих ошибок и гарантировать корректность разрабатываемого кода. Сам по себе код не может быть корректным либо некорректным. Корректность кода можно проверить, лишь проверив его на соответствие спецификации. А самые надежные спецификации – это модульные тесты и контракты. Модульные тесты затронуты лишь поверхностно в данном докладе, так как не являются его темой.
Внимание сконцентрировано на проектировании по контракту и его практическом применении. Примеры кода приведены на С#. Для поддержки проектирования по контракту используется библиотека Code Contracts из .Net Framework 4. Знание C# приветствуется, но не является обязательным.
