Персональные инструменты
 

Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели (Алексей Алексеев и Николай Гребнев на ADD-2010) — различия между версиями

Материал из CustisWiki

Перейти к: навигация, поиск
м (1 версия)
Строка 1: Строка 1:
== Аннотация ==
+
{{ActualBanner2}}
 +
 
 +
== Аннотация ==
 
<blockquote>
 
<blockquote>
 
[http://alekseev-aleksey1.moikrug.ru/ Алексей Алексеев] и Николай Гребнев рассказали, как при разработке бизнес-приложений в модели [http://en.wikipedia.org/wiki/Domain-driven_design Domain-driven design] они предупреждают ошибки программиста с помощью статического анализа кода и доменной модели. А именно: возможности ORM-платформы по статическому анализу, преимущества широкого использования <tt>Linq</tt>, декларативных ограничений, модель состояний и формальной верификации элементов доменной модели.
 
[http://alekseev-aleksey1.moikrug.ru/ Алексей Алексеев] и Николай Гребнев рассказали, как при разработке бизнес-приложений в модели [http://en.wikipedia.org/wiki/Domain-driven_design Domain-driven design] они предупреждают ошибки программиста с помощью статического анализа кода и доменной модели. А именно: возможности ORM-платформы по статическому анализу, преимущества широкого использования <tt>Linq</tt>, декларативных ограничений, модель состояний и формальной верификации элементов доменной модели.

Версия 18:11, 21 февраля 2011


Аннотация

Алексей Алексеев и Николай Гребнев рассказали, как при разработке бизнес-приложений в модели Domain-driven design они предупреждают ошибки программиста с помощью статического анализа кода и доменной модели. А именно: возможности ORM-платформы по статическому анализу, преимущества широкого использования Linq, декларативных ограничений, модель состояний и формальной верификации элементов доменной модели.

  • В чем заключается удобство разработчика по использованию статического анализа и простота применения механизмов для задания формальных ограничений на модель предметной области. Интеграция средств статического анализа ORM в среду разработки, невозможность игнорирования ошибок, гарантия прохождения всех статических проверок до первого запуска программы.
  • Ограниченные возможности запросов Linq к модели предметной области по сравнению с Linq to Objects и пути их преодоления.
  • Как обстоят дела с аналогичными механизмами в других ORM-системах и почему они решили реализовать собственную платформу для поддержки разработки в рамках DDD.

Видео


Подкаст

Презентация

Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf


Примечания



Любые правки этой статьи будут перезаписаны при следующем сеансе репликации. Если у вас есть серьезное замечание по тексту статьи, запишите его в раздел «discussion».

Репликация: База Знаний «Заказных Информ Систем» → «Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели (Алексей Алексеев и Николай Гребнев на ADD-2010)»