В этом докладе мы постараемся рассказать о принципах разработки инструментов для написания бизнес-логики, позволяющих сократить количество ошибок. Речь пойдет о нескольких практиках, принятых в отделе технологического развития нашей компании. Принципы будут проиллюстрированы на примере инструментария компании для платформы Microsoft .NET. Максимум статических проверок. Под статическими проверками мы понимаем проверки времени компиляции. Этот принцип является важным, но, к сожалению, зачастую недооценивается разработчиками инструментария разработки. Проверки времени компиляции могут отлавливать большой спектр ошибок. Есть и другая особенность – это удобство. Ошибки времени исполнения сложнее воспринимаются, труднее найти причину ошибки. Разнообразие и декларативность проверок. Проверки общего назначения удобно задавать в декларативном виде. При этом сами проверки должен осуществлять фреймворк. За счет уменьшения дублирования и декларативности снижается вероятность ошибок. Проверки должны быть, как техническими, так и уровня доменной модели. Мы будем говорить о проверках уровня доменной модели. Возможность анализа декларативных проверок. Любые ограничения порождают некоторую модель. Эту модель (проверки) можно формально верифицировать. Вообще, проблема доказательства большинства свойств программы невозможна. Этот вопрос выходит далеко за рамки нашего доклада. Но существует возможность верификации более слабых (менее выразительных моделей). Во второй части мы обсудим функционал, который мы называем "состояния". Эти "состояния" образуют что-то вроде автомата, или структуру Крипке. Так вот, существуют алгоритмы проверки выполнимости темпоральных логик на таких структурах.

1. Уменьшение влияния человеческого фактора при разработке бизнес-приложений ( на примере CustIS Universal ) Алексеев Алексей [email_address] [email_address] Николай Гребнев [email_address] [email_address]

3. ЧЕЛОВЕЧЕСКИЙ ФАКТОР В РАЗРАБОТКЕ ПО

5. Человеческий фактор

7. Средства разработки

8. МЕТОДЫ СНИЖЕНИЯ ЧЕЛОВЕЧЕСКОГО ФАКТОРА

9. Стоимость ошибки Код Сборка Unit- тесты Code Review Тестирование Эксплуатация

10. Стоимость ошибки Unit- тесты Code Review Тестирование Эксплуатация

13. CUSTIS UNIVERSAL

14. ?

19. LINQ КАК ИНСТРУМЕНТ ПОВЫШЕНИЯ КАЧЕСТВА

21. До LINQ new SimpleQuery < Post >( @“from Post p where p.Blog.Author = ?&quot; , author);

22. LINQ from Post p in Session.Posts where p.Blog.Author == author select p;

24. Стоимость ошибки Сборка Код Unit- тесты Code Review Тестирование Эксплуатация

28. LINQ к доменной модели невозможно или не имеет смысла использовать

30. Свойства, используемые в запросах from Employee e in Session select e.IsManager from Employee e in Session select Subordinates.Count() > 0

33. Стоимость ошибки Код Unit- тесты Code Review Тестирование Эксплуатация Сборка

35. МОДЕЛЬ СОСТОЯНИЙ

40. ВЕРИФИКАЦИЯ МОДЕЛИ СОСТОЯНИЙ

41. Структура Крипке

42. Структура Крипке

45. CTL

50. В ЗАКЛЮЧЕНИЕ

52. С ustIS Universal

53. Вопросы ? Следите за http://team.custis.ru