Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели (Алексей Алексеев и Николай Гребнев на ADD-2010) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
| (не показано 7 промежуточных версий этого же участника) | |||
== Видео ==
{{vimeoembed|17774985|800|450}}
{{youtubelink|Pkwg55yjRqE}}{{letscomment}}
== Подкаст ==
{{podfmembed|belonesox.podfm.ru/addconf/35}}
== Презентация ==
[[Файл:Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf|256px|page=-]]
<!-- == Стенограмма ==
<blockquote>
Стенограмму по видеозаписи записал [[User:StasFomin|Стас Фомин]].
</blockquote>
-->
== Примечания ==
* [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=2020-01-22T18:49:332021-08-31T17:58:48.876652656448|vimeo_comments=0|vimeo_plays=209211|youtube_comments=0|youtube_plays=24}}6}} | |||
Текущая версия на 08:00, 20 октября 2025
Содержание
Аннотация
Алексей Алексеев™ и Николай Гребнев рассказали, как при разработке бизнес-приложений в модели Domain-driven design они предупреждают ошибки программиста с помощью статического анализа кода и доменной модели. А именно: возможности ORM-платформы по статическому анализу, преимущества широкого использования Linq, декларативных ограничений, модель состояний и формальной верификации элементов доменной модели.
- В чем заключается удобство разработчика по использованию статического анализа и простота применения механизмов для задания формальных ограничений на модель предметной области. Интеграция средств статического анализа ORM в среду разработки, невозможность игнорирования ошибок, гарантия прохождения всех статических проверок до первого запуска программы.
- Ограниченные возможности запросов Linq к модели предметной области по сравнению с Linq to Objects и пути их преодоления.
- Как обстоят дела с аналогичными механизмами в других ORM-системах и почему они решили реализовать собственную платформу для поддержки разработки в рамках DDD.
Видео
Подкаст
Презентация
Примечания
Plays:237 Comments:0

