Программная инженерия

1. Программная инженерия Зарецкий Дмитрий Викторович Email: dmitryzar@stbpwr.com

2. Программа курса • Программное обеспечение: природа и качество. Классификация ПО. Требования и показательные качества ПО. Виды систем. Принципы инженерии ПО. • Основные понятия объектно-ориентированного программирования.Объекты, сообщения, интерфейсы, классы, полиморфизм.

3. Обзор языков, платформ, технологий и средств разработки. .NET Framework и J2EE – сравнительный анализ. Основы CORBA, DCOM, EJB, .NET Remoting. Реляционные и объектно-ориентированные базы данных. Интернет приложения, веб сервисы. Средства управления исходным кодом (CVS, Subversion, SourceSafe) • Стратегии распределенных вычислений. Связи. Процессы. Синхронизация. Репликация. Отказоустойчивость. Распределенные системы объектов, файлов, документов. Распределенные системы согласования.

4. Проектирование, спецификация. Составление технических заданий. Методы сбора информации. UML. Use case диаграммы. Диаграммы классов, объектов, компонентов, состояний, последовательностей, действий. ORM. CASE инструменты. Спецификации асинхронных систем. Логические, алгебраические спецификации. Концептуальный, логический и физический дизайн. Прототипирование. Паттерны проектирования. • Процесс разработки программного обеспечения. Структура проектной группы. Стадии проекта. Нотации оформления кода. cамодокументированность кода. Рефакторинг. Экстремальное программирование. Безопасность кода. Принципы построения GUI. Ведение параллельных версий. Компиляция и отладка ПО. Оптимизация.

5. Тестирование. Верификация. Методы тестирования (методы “черного и белого ящика”) Планы тестирования проекта, компонентов. Модели анализа. Автоматизированные регрессивные тесты. Тестирование классов и иерархий классов. Тестирование распределенных объектов. Тестирование интернет приложений. • Внедрение продукта. Разработка пользовательской документации. Создание программы установки. Обучение пользователей, поддержка ПО. Повторное использование и переносимость ПО, реинженерия.

6. Управление. • Планирование проекта. Анализ рисков. Оценка затрат. Внутренняя проектная документация. Командная работа, распределение ролей и ответственности (централизованный, децентрализованный и смешанный тип управления). Диаграммы Ганта. Графики PERT. Контроль качества. Анализ текущего состояния проекта. Стабильность/нестабильность проекта, построение графиков интенсивности возникновения и устранения ошибок. Средства поддержки управления проектом. Модель развития функциональных возможностей CMM.

7. Литература • Мартин Фаулер Архитектура корпоративных программых приложений. Москва. Изд. Вильямс 2004. • Карло Гецци, Мехди Джазайери, Дино Мандриоли. Основы инженерии программного обеспечения. Санкт-Петербург БХВ 2005. • Э. Таненбаум, М. ван Стеен. Распределенные системы. Принципы и парадигмы. Изд. Питер 2004. • Джон Макгрегор, Девид Сайкс Тестирование объектно-ориентированного программного обеспечения. 2002 • Beck. Test-Driven Development: By Example. Addison-Wisley, 2003. • Эд Салливан. Время-деньги. Microsoft Press, Русская редакция. Москва 2002. • Бек, К. Экстремальное программирование. Библиотека программиста. СПб.: Питер, 2002.

8. Ссылки • Microsoft Solution Framework White Paper June 2002, http://www.microsoft.com/msf/ • Object Management Group’s Unified Modeling Language http://www.omg.org/uml/ • Русскоязычный сайт программистов http://www.rsdn.ru • Сайт посвященный вопросам программирования под .NET http://www.gotdotnet.ru

9. Жизненный цикл программного обеспечения. • Envisioning. Анализ и спецификация требований. • Planning. Проектирование. • Developing. Кодирование. • Stabilizing. Тестирование. • Deploying. Сборка. Поставка и эксплуатация.

10. Качества программного обеспечения • Внутренние и внешние качества, связь между ними. • Оценка продукта. • Оценка процесса создания ПО.

11. Корректность (correctness) – соответствие требованиям функциональной спецификации • Надежность (reliability) – вероятность того, что программное обеспечение будет работать как ожидалось в течении определенного интервала времени. Надежность Корректность • Устойчивость(stability) – правильное поведение программы даже в обстоятельствах не предусмотренных в спецификации

12. Производительность (productivity). • Эффективность (performance). Подходы к расчету производительности системы: • Измерение • Анализ • Имитационное моделирование. • Удобство. Дружественный интерфейс. • Верифицируемость.

13. Упражнение • Рассмотреть влияние пользовательского интерфейса (GUI) на надежность.

14. Сопровождаемость В среднем затраты на сопровождение превышают 60% от общей стоимости программного обеспечения. Категории сопровождения • Корректирующее – устранение ошибок. • Настраивающее – адаптация приложения к изменениям среды. • Усовершенствующее – изменение ПО с целью улучшения некоторых из его качеств Проблема унаследованного ПО. Необходимость проведение обратного инжиниринга и реинженеринга.

15. Ремонтопригодность (repairability) – возможность устранения дефектов приемлемыми усилиями. • Способность к эволюции. • Повторная применимость. • Переносимость (portability) – возможность работать в различных системах. • Понятность. • Интероперабельность (interoperability) – возможность ПО сотрудничать с другими системами. • Продуктивность.

16. Упражнение • Как повторная применимость может влиять на надежность продуктов? • Как можно использовать наследование для увеличения повторной применимости? • Какова связь повторной применимости и переносимости? • Как можно применить переносимость для web страниц? • Что можно сказать о способности к эволюции открытых систем? • Можно ли использовать подсчет количества строк для измерения продуктивности.

17. Своевременность ПО Функциональность Требования пользователя Реальные возможности системы T1 T0 T2 T3 Наиболее часто встречающиеся проблемы в разработке ПО.

18. Классификация ПО. • Информационные системы. Хранение, поиск, извлечение данных. • Системы реального времени. Должны реагировать на событие в течении строго предопределенного периода времени. • Распределенные системы.Располагаются на нескольких независимых или частично независимых компьютерах. • Встроенные системы. ПО является одним из множества компонентов, часто не имеют GUI.

19. Упражнение • Охарактеризуйте такие качества как тестируемость, целостность, легкость в использовании, изучаемость. Приведите примеры. • Оценить преимущества и недостатки повторной используемости методов в применении к программному процессу. • Какова роль протоколов TCP/IP в интероперабельности? • Можно ли оценивать процесс создания ПО с точки зрения интероперабельности?

20. Принципы создания ПО.

21. Строгость и формальность. • Разделение задач. Преимущества и недостатки (избыточность, взаимоблокировки). • Модульность. Проектирование снизу вверх и сверху вниз.

22. Преимущества модульности • Разложимость – возможность разложить систему на простые части. • Компонуемость – возможность собрать систему из готовых модулей. • Возможность интерпретировать систему как состоящую из простых частей. • Возможность модифицировать систему путем модификации небольшого количества частей.

23. Внутримодульная и межмодульная связность. А Б

24. Упражнения • Какие могут быть причины низкой внутримодульной связности? Как их устранить? • Какие могут быть причины высокой межмодульной связности? Как их устранить?

25. Абстракция Выделяем существенные аспекты явления и игнорируем его подробности. • Переменные в языках программирования можно рассматривать как абстракции адресов ячеек памяти. От каких подробностей абстрагируются переменные языков программирования? Каковы преимущества и недостатки использования такой абстракции? • Модель жизненного цикла ПО является абстракцией программного процесса. Почему? • Какие абстракции полезны конечному пользователю, проектировщику и специалисту по поддержке приложений?

26. Предусмотрение изменений. Принцип позднего связывания. • Общность. Каждый раз, когда надо решить какую-либо проблему, постарайтесь сосредоточится на решении более общей проблемы, которая может быть скрыта за рассматриваемой задачей. • Инкрементность. Итерационный процесс разработки. Способ получения раннего отклика от клиента.

27. Упражнения • Какое взаимоотношение между обобщением и предусмотрением изменений? • Какое взаимоотношение между общностью и абстракцией? • Какое взаимоотношение между формальностью и предусмотрением изменений?

28. Парадигмы программирования • Будем говорить, что язык поддерживает данный стиль программирования, если он предоставляет средства, которые делают использование стиля удобным (достаточно простым, надежным и эффективным) • Язык не поддерживает технику программирования, если для написания соответсвующей программы требуются чрезмерные усилия или мастерство.

29. Литература • Бьерн Страуструп Язык программирования С++. Москва. Binom 2000. • Джеффри Рихтер Программирование на платформе .NET Framework. • Брюс Эккель Философия JAVA.СПб. Питер, 2000.

30. Процедурное программирование Реши, какие требуются процедуры; используй наилучшие доступные алгоритмы. Пример. double sqrt(double arg) { //text } void f() { double root2 = sqrt(2); }

31. Модульное программирование Реши, какие требуются модули; разбей программу так, чтобы скрыть данные в модулях. Пример. Реализовать стек, удовлетворяющий следующим требованиям: • Предоставить пользовательский интерфейс для стека (например, функции push() и pop(), помещающий данные в стек и извлекающий их оттуда) • Гарантировать, что представление стека доступно только через этот пользовательский интерфейс. • Обеспечить инициализацию стека до первого использования.

32. namespace Stack { //интерфейс void push(char); char pop(); } void f() { Stack::push(‘c’); if(Stack::pop()!=‘c’) error (“Такое невозможно”); } namespace Stack{ //реализация const int max_size = 200; char v[max_size]; int top = 0; void push(char c){/*Поместить в стек.*/} char pop() {/*Извлечь из стека.*/} }

33. Раздельная компиляция stack.h Интерфейс стека user.cpp stack.cpp #include “stack.h” Использование стека #include “stack.h” Использование стека

34. Модули, определяющие типы namespace Stack { struct Rep; typedef Rep& stack; stack create(); void destroy(stack s); void push(stack s, char с); char pop(stack s); } void f() { Stack::stack s1 = Stack::create();//Создать новый стек Stack::stack s2 = Stack::create();//и еще один

35. Stack::push(s1,’c’); Stack::push(s2,’k’); If(Stack::pop(s1)!=‘c’) throw BadPop(); If(Stack::pop(s2)!=‘k’) throw BadPop(); Stack::destroy(s1); Stack::destroy(s2); } namespace Stack{ struct Rep{ char v[max_size]; int top; }; const int max = 16; Rep stacks[max]; … }

36. Объектно-ориентированное программирование Реши, какие требуются классы; обеспечь полный набор операций для каждого класса; явно вырази общность через наследование. • Инкапсуляция – объединение в единое целое данных и алгоритмов обработки этих данных. • Наследование – свойство объектов порождать своих потомков. • Полиморфизм – свойство родственных объектов (имеющих общего родителя) решать схожие по смыслу проблемы разными способами.

37. Классический пример для случая отображения различных фигур: А. Диаграмма классов. В. Объединение классов в единый пакет.

38. Определение наследников class Circle extends Shape {…} // java class Circle: Shape {…} // C# Пример создания общих методов для всех наследников: void rotate(Shape s, int angle) { s.rotate(angle); s.draw(); } Circle c = new Circle(); Polygon p = new Polygon(); rotate(c,60); rotate(p,40);

39. Упражнения • Можно ли при создании класса Circle воспользоваться реализацией из класса Shape не применяя наследование? Если возможно, то как? • Всегда ли использование наследования несет только преимущества? • Приведите примеры возможного использования наследования.

40. Более сложный пример использования наследования.

41. Множественное наследование В отличии от C++ для Java и .NET множественное наследование от обычных классов не поддерживается. Оно заменяется на одиночное наследование от обычного класса и множественное от интерфейсов. Реfлизация серверного класса в NET Remoting.

42. Модификаторы доступа • Private – доступен только методам в определяющем типе и вложенных в него типах. • Protected – доступен только методам в этом типе или одном из производных типов. • Public – доступен всем методам. Нестандартные модификаторы доступа и атрибутыв разных языках: internal, friend, abstract, sealed, final, readonly Атрибут static (Shared) – означает, что поле частично определяет состояние типа, а не объекта.

43. Члены класса • Константа – идентификатор, определяющий некую постоянную величину. public const Int32 MaxEntiriesInList = 50; • Поле – неизменяемое или изменяемое значение, определяющее состояние типа или объекта (статическое или нестатическое) public static readonly Random = new Random(); static Int32 numberOfWrites = 0; public readonly String pathName =“Untitled”; public FileStream fs;

44. Конструктор экземпляра – метод, используемый для установки в корректное начальное состояние экземпляров полей нового объекта. class SomeType{ Int32 x; String s; public SomeType(){/* Общая часть */} public SomeType(Int32 x):this(){ this.x = x; } public SomeType(String s):this(){ this.s = s; } }

45. Конструктор типа (статический конструктор, конструктор класса, инициализатор типа) – метод, используемый для установки в корректное начальное состояние статических полей типа. class SomeType { static Int32 x = 5; static SomeType() { x = 10; } } Чему будет равна переменнная x после обращения к классу SomeType?

46. Метод – функция, выполняющая операции, которые изменяют или опрашивают состояние типа(статический метод) или объекта (экземплярный метод). public static Boolean ReferenceEquals(Object, objAObject objB) static void SetVal(out Int32 v) {…} void AddVal(ref Int32 v) {…} static Int32 Add(params Int32[] values) {…} • Перегрузка оператора – метод, определяющий, что нужно проделать с объектом, при применении к нему оператора. Class Complex { public static Complex operator+(Complex c1, Complex c2) {…} }

47. Class Rational { public Rational(Int32 numerator) {…} public Rational(Single value) {…} public Int32 ToInt32() {…} public Single ToSingle() {…} //Неявно создает Rational из Int32 и Single public static implicit operator Rational(Int32 numerator) { return new Rational(numerator); } public static implicit operator Rational(Single value) { return new Rational(value); } • Оператор преобразования – метод, определяющий как неявно/явно привести объект из одного типа в другой.

48. //Явно возвращает объет типа Int32, полученный из Rational public static explicit operator Int32(Rational r) { return r.ToInt32(); } //Явно возвращает объет типа Single, полученный из Rational public static explicit operator Single(Rational r) { return r.ToSingle(); } } Пример использования: Rational r1 = 5; //Неявное приведение Int32 к Rational Rational r2 = 1.202e18; //Неявное приведение Single к Rational Int32 x = (Int32) r1; //Явное приведение Rational к Int32 Single s = (Single) r1; //Явное приведение Rational к Single

49. Свойство – метод, который позволяет применить простой синтаксис для установки или получения части логического состояния типа или объекта, не нарушая это состояние. public class Employee { private String _Name; private Int32 _Age; //Ключевое слово value идентифицирует //новое значение public String Name { get { return _Name; } set { _Name = value; } }

50. public Int32 Age { get { return _Age; } set { if (value < 0) throw new OutOfRageException(); _Age = value; } } }