Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели (Алексей Алексеев и Николай Гребнев на ADD-2010) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Batch edit: replace PCRE (\n\n)+(\n) with \2) |
||
== Примечания == * [http://addconf.ru/event.sdf/ru/add_2010/authors/123/161 страничка доклада на сайте конференции] <references/> * {{libcustis-review|ADD 2010: Отчет Алексеева Алексея/Алексеев Алексей, Николай Гребнев. Статический анализ кода (на примере DDD-фреймворка)}} * {{libcustis-review|ADD 2010: Отчет Николая Гребнева/Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели}} * {{libcustis-review|ADD 2010: Отчет Глеба Тарасова/Леша и Коля}} * {{libcustis-review|ADD-2010: отчет Игоря Беспальчука/Статические проверки кода в DDD-фреймворке}} * {{libcustis-review|ADD 2010: Отчёт Русецкого Георгия/Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели}} * {{libcustis-review|Отчет о конференции ADD-2010 - Владислав Иофе/Предупреждение ошибок программиста}} * {{libcustis-review|ADD 2010: Отчет Титаренко Константина/Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели}} [[Категория:ADD-2010]] [[Категория:Статический анализ кода]] [[Категория:DDD]] {{stats|disqus_comments=0|refresh_time=2021-08-31T17:58:48.656448|vimeo_comments=0|vimeo_plays=211|youtube_comments=0|youtube_plays=26}} |
Текущая версия на 12:22, 4 сентября 2021
Содержание
Аннотация
Алексей Алексеев™ и Николай Гребнев рассказали, как при разработке бизнес-приложений в модели Domain-driven design они предупреждают ошибки программиста с помощью статического анализа кода и доменной модели. А именно: возможности ORM-платформы по статическому анализу, преимущества широкого использования Linq, декларативных ограничений, модель состояний и формальной верификации элементов доменной модели.
- В чем заключается удобство разработчика по использованию статического анализа и простота применения механизмов для задания формальных ограничений на модель предметной области. Интеграция средств статического анализа ORM в среду разработки, невозможность игнорирования ошибок, гарантия прохождения всех статических проверок до первого запуска программы.
- Ограниченные возможности запросов Linq к модели предметной области по сравнению с Linq to Objects и пути их преодоления.
- Как обстоят дела с аналогичными механизмами в других ORM-системах и почему они решили реализовать собственную платформу для поддержки разработки в рамках DDD.
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Подкаст
Презентация
Примечания
Plays:237 Comments:0