- •Перелік термінів та позначень
- •Передмова
- •Частина 1. Початок програмування в срср. Витоки розвитку
- •1.1. Поява і розвиток технології програмування (1952–2012)
- •1.2. Формування технологічних напрямів (1965–1975)
- •1.3. Становленья технології програмування (1975–1982)
- •1.4. Розвиток інтерфейсу в технології програмування (1976–1992)
- •1.5. Розвиток об’єктної технології програмування (1992–2002)
- •1.6. Індустріальні основи технології програмування (2002–2012)
- •1.7. Навчання тп у кну Тараса Шевченко (1965–2012) та філії мфті (2000–2012)
- •Контрольні питання і завдання до частини 1
- •Список літератури до частини 1
- •Частина 2. Парадигми технології програмування
- •2.1. Модульне програмування та збиральний підхід
- •2.1.1. Інтерфейс в програмуванні
- •2.1.2. Зборка модулів по а.П.Єршову
- •2.1.3. Метод зборки готових програмних елементів
- •2.1.4. Формальне подання методу збирання різномовних модулів
- •2.2. Парадигма об’єктно-орієнтованого програмування
- •2.2.1. Базові концепції ооп
- •2.2.2. Чотирьох рівневе проектування ом
- •2.2.3. Концепції об’єктного аналізу
- •2.2.4. Функції, алгебра та операції об’єктного аналізу
- •2.2.5. Моделювання моделі ПрО
- •2.2.6. Опис параметрів інтерфейсу ом
- •2.3. Парадигма uml-метода моделювання
- •2.3.1 Основні діаграми методу
- •2.3.2. Моделювання поведінки системи
- •2.3.3. Побудова пс засобами uml
- •2.4. Парадигма компонентного програмування
- •2.4.1. Теоретичні аспекти компонентного програмування
- •2.4.2. Моделі компонентного програмування
- •2.4.3. Графове подання компонентної моделі ПрО
- •2.4.4. Об’єднання компонентів. Модель середовища
- •2.4.5. Компонентна алгебра
- •2.4.6. Іінструментальні засоби кп
- •2.4.7. Технологія компонентної розробки пс
- •2.4.8. Типізація і класифікація програмних компонентів
- •2.4.9. Жц проектування пс із типових компонентів та кпв
- •Розробка вимог до пс – це формування та опис функціональних, технологічних, організаційних та ін. Властивостей програмної системи, які необхідні чи бажані з точки зору кінцевого користувача.
- •Розгортання рпс. У випадку, коли рпс створюється для конкретного замовника, який є і користувачем, то деякі завдання розгортання виконуються на попередніх етапах. До них, зокрема, відносяться:
- •Супровід рпс компонентній пс характеризується наступними особливостями.
- •2.5. Парадигма аспектно-орієнтованого програмування
- •2.5.1.Основні елементи парадигми аоп
- •2.5.2. Засоби аоп
- •2.5.3. Підтримка аоп впродовж життєвого циклу пс
- •2.5.5. Методичні аспекти аоп
- •2.6. Парадигма генерувального програмування
- •2.6.1 Предметно-орієнтована мова – dsl
- •2.6.2. Простір проблем і рішень ПрО
- •2.6.3. Інженерія ПрО і кпв
- •2.7. Сервісно-орієнтоване програмування
- •2.7.1 Базові понятті сервісу Інтернет
- •2.7.2. Сервіси wcf мs.Net з контрактами
- •2.8. Парадигми теоретичного програмування
- •2.8.1 Алгебраїчне та інсерційне програмування
- •2.8.2. Реалізація агентних програм
- •2.8.3. Експлікативне, номінативне програмування
- •2.8.4. Алгоритмічні алгебри
- •Контрольні питання і завдання до частини 2
- •Список літератури до частини 2
- •Частина 3. Моделі і засоби проектування предметних областей
- •3.1. Моделі проектування ПрО предметних областей
- •3.1.1. Концептуальні моделі пс, спс за компонентами
- •3.1.2. Моделі взаємозв’язку об’єктів
- •3.1.3. Модель інтеграції (зборка) компонентів
- •3.1.4. Тестування прикладних і інтерфейсних об'єктів
- •3.1.5. Моделі взаємодії і варіабельності пс для організації обчислень
- •3.1.6. Підхід до виконання пс в сучасних розподілених середовищах
- •3.2. Онтологічний підхід до подання знань про проблемні області
- •3.2.1. Онтологічне моделювання проблемної області
- •3.2.2. Мовний опис онтології домену чи спс
- •3.2.3. Підхід до реалізація онтології ПрО
- •3.3. Типи даних та засоби їх генерації для використання в збиральному прогрмуванні
- •3.3.1. Проблема забезпечення сумісності типів даних при зборки кпв
- •3.3.2. Аксіоматика простих типів даних
- •3.3.3. Аксіоматика структурних і складних типів даних. Структурні типи даних.
- •3.3.4. Семантичні аспекти взаємодії різнорідних програм
- •3.3.5. Характеристика типів даних для зборки програм
- •3.3.6. Фундаментальні і загальні типи даних
- •3.3.6. Баові поняття стандарту з типів даних
- •3.3.7. Перебудова загальних типів даних до фундаментальних для мп
- •3.4. Підходи і методи доказу програм
- •3.4.1. Мови специфікації програм –vdm, raise, Concept
- •3.4.2. Концепторна мова специфікації
- •3.4.3. Методи доведення правильності програм
- •3.4.4. Модель доказу програми за твердженнями
- •З.5. Проектування пс засобами жц з реалізації доменів
- •3.4.1. За загальна характеристика стандарту жц iso/iec 12207:2002
- •3.4.2. Формування конкретних моделей життєвого циклу
- •3.4.3. Підходи до моделювання ПрО мовними засобами dsl
- •3.6. Модель якості пс
- •3.6.1. Структура моделі якості
- •3.6.2. Модель витрат сосомо Боєма
- •3.6.3. Інтегрована модель витрат на спс
- •Контрольні питання і завдання до частини 3
- •Список літератури до частини 3
- •4.1.1. Моделі взаємодії компонентів у пс
- •Частина 4. Методи індустрії виробицтва програм і систем
- •4.1. Загальні основи методології виробництва пс і спс
- •4.1.2 Методологічні аспекти виробництва спс з готових ресурсів
- •4.2. Мова опису моделей взаємодії на основі xml
- •4.2.1 Подання та обмін даними в компонентних моделях
- •4.2.3 Модель конфігурації компонентів на основі xml
- •4.3. Графове подання пс і спс
- •4.3.1 Графове визначення моделі взаємодії об'єктів
- •4.3.2 Типи зв’язків об’єктів у графової моделі ПрО
- •4.4. Розробка методів побудови проблемно-орієнтованих технологій
- •4.4.1. Аналіз динаміки розвитку фабрик програм
- •4.3.2. Базисні ресурси фабрики програм
- •4.5. Загальні лінії виробництва програм з кпв
- •4.4.1. М етодологія побудови тл
- •4.4.2. Нові дисципліни індустрії наукового совтвера
- •4.4.3. Новітні засоби Grid і Cloud для обчислення задач e–sciences
- •4.4.4. Сучасні системи побудови рпс з сервісних ресурсів
- •4.4.5. Методологія розроблення тл
- •4.4.6. Принципи проектування іс
- •4.5. Методи при оцінюванні економічних характеристик проектів
- •4.5.2. Формальний апарат експертно-аналітичного оцінювання об’єктів і процесів у спс
- •4.5.3. Методи оцінки розміру
- •4.6. Створення Windows застосувань
- •4.6.1. Створення нової програми.
- •4.6.2. Властивості і дизайн програм
- •4.6.3. Компіляція програм
- •2.5. Запуск застосунка
- •4.6.4. Розширення функціональності програм
- •4.7. Інженерії тестування програмних систем
- •4.7.1. Основні поняття інженерії тестування
- •4.7.2 Становлення інженерії тестування
- •4.7.3. Методи тестування. Метрики і критерії
- •4.7.4. Інструменти тестування та оцінювання
- •4.7.5. Тестування веб-застосувань
- •Контрольні питання і завдання до частини 4
- •Список літератури до частини 4
- •5.2. Фабрика програм в кну
- •5.2.3. Створення фабрики студентів
- •5.2.4. Лінії продуктів фабрики на головної сторінки
- •5.2.5. Принципи роботи з репозиторієм програм і артефактів
- •5.2.6. Навчання дисципліні “Програмна інженерія” на фабрики
- •5.3. Репозиторій кпв
- •5.3.1. Загальний опис репозиторію
- •5.3.2. Технологія обслуговування репозиторію кпв
- •5.4. Розробка кпв
- •5.4.1. Опис моделей кпв, інтерфейсу і операцій розробки кпв
- •5.4.2. Реалізація побудови компонентної системи
- •5.4.3. Процеси технології оброблення кпв
- •5.4.4. Зборка різномовних програм у середовищі Visual Studio
- •5.5. Конфігурація кпв
- •5.5.1. Конфігурування кпв з урахуванням варіабельності
- •5.5.2. Опис прикладу використання конфігуратору програм
- •5.6. Генерація систем мовою dsl
- •5.6.1. Лінія опису та генерації доменів dsl
- •5.6.2. Опис життєвого циклу пз та його реалізації на мові dsl
- •2.7. Онтологія – обчислювальна геометрія
- •5.7.1. Онтологія домену – Обчислювальна геометрія
- •5.7.3. Опис моделі онтології ПрО «Обчислювальна геометрія»
- •5.7.4. Опис програми домену «Обчислювальна геометрія» мовою owl
- •5.8. Оцінка якості пс
- •5.8.2. Оцінка витрат на продукт
- •5.8.3. Опис модуля прогнозування трудовитрат на розробку пс
- •5.8.4. Приклад оцінювання затрат на розробку пс ас
- •5.9.1. Опис веб-технології Java ee
- •5.9.3. Приклад взаємодії Java і ms.Net через веб-сервіси
- •5.9.4. Інструкція по використанню графічного інтерфейсу прикладу
- •5.10. Генерація тд
- •5.10.1. Відображення типів даних у середовищі ітк
- •5.10.2. Система генерації загальних типів даних до фундаментальних
- •5.11. Інструментальні засоби сайта ітк
- •5. 12. Розділ сайта «Технологія навчання»
- •Контрольні питання і завдання до частини 5
- •Список літератури до частини 5
- •Післямова
- •Додаток 1. Парадигма структурного програмування
- •Додаток 2. Приклад створення служб wcf у ms Visual Studio 2010
- •Додаток 3. Онтологічний підхід з подання тестування кпв та пс
- •Додаток 4. Оцінка застосування метода сосомо на конкретних даних
- •Додаток 5. Програма курсу «Технологія програмування іс»
З.5. Проектування пс засобами жц з реалізації доменів
Життєвий цикл (ЖЦ) стандарту ISO/IEC 12207 – 2007. До наступного часу для виробництва ПП різного напрямку розроблено багата стандартів, які регламентують порядок розроблення різних ПС. Розглядаєтся процес проектування ПС і іх сімейств. Кожний член сімейства відображає деяке завдання предметної області , яка автоматизуються з використанням сучасних методів програмування. Головним об’єктом деякого члена сімейства є різні готові ресурси, а саме, компоненти, сервіси, аспекти, КПВ, одиночні компонентні програми, програмні або прикладні системи ПС тощо.
Кожний член сімейства може розроблятися відповідно діючих моделей ЖЦ даного стандарту або похідного від нього відомчого стандарту, який може будуватися на його основі. Тобто, пропонується концепція сімейства процесів ЖЦ, відповідно якої кожний член сімейства може мати свій ЖЦ для його виготовлення. Серед підпроцесів ЖЦ можуть бути однак, але адаптовані до потреб завдань членів сімейства, що автоматизують. Крім того, постулюється, що такі відомі процеси стандарту, як тестування, оцінювання та інтеграції можуть мати свій специфічний ЖЦ, який може задовольняти по суті усім різноманітним програмним засобам.
Далі даеться аналіз стандарту ISO/IEC 12207 – 2007, підхід до побудови нових ЖЦ, потрібних для розроблення деякого спеціального елемента сімейства, прикладів діючих моделей ЖЦ та пропонується опис деякого ЖЦ сімейства процесів для використання в технології збирального програмування, прикладних методів проектування доменів та методології побудови технологічних процесів для використання на фабриках програм.
3.4.1. За загальна характеристика стандарту жц iso/iec 12207:2002
Даний стандарт визначає загальну структуру і зміст ЖЦ ПС, починаючи з розробки концепції до утилізації системи [1]. Структурно він складається з опису багатьох процесів (43), взаємозв'язків між ними, а також сформульованих дій і задач, що будуть виконуватися у цих процесах. Іншими словами, стандартний ЖЦ визначає лише схему робіт за процесами розробки ПС, а не те, як саме виконувати ті або інші процеси (табл.1).
Таблиця 3.1 – Перелік процесів ЖЦ стандарту ISO/IEC 12207
№ п/п |
Процес (під процес) |
|||
|
1. Категорія «Основні процеси» |
|||
1.1 |
Замовлення (договір) |
|||
|
1.1.1 |
|
Підготовка замовлення, вибір постачальника |
|
|
1.1.2 |
|
Моніторинг діяльності постачальника, приймання споживачем |
|
1.2 |
Постачання (придбання) |
|||
1.3 |
Розробка |
|||
|
1.3.1 |
|
Виявлення вимог |
|
|
1.3.2 |
|
Аналіз вимог до системи |
|
|
1.3.3 |
|
Проектування архітектури системи |
|
|
1.3.4 |
|
Аналіз вимог до ПЗ системи |
|
|
1.3.5 |
|
Проектування ПЗ |
|
|
1.3.6 |
|
Конструювання (кодування) ПЗ |
|
|
1.3.7 |
|
Інтеграція ПЗ |
|
|
1.3.8 |
|
Тестування ПЗ |
|
|
1.3.9 |
|
Системна інтеграція |
|
|
1.3.10 |
|
Системне тестування |
|
|
1.3.11 |
|
Інсталяція ПЗ |
|
1.4 |
Експлуатація |
|||
|
1.4.1 |
|
Функціональне використання |
|
|
1.4.2 |
|
Підтримка споживача |
|
1.5 |
Супровід |
|||
|
2. Категорія «Процеси підтримки» |
|||
2.1 |
Документування |
|||
2.2 |
Керування конфігурацією |
|||
2.3 |
Забезпечення гарантії якості |
|||
2.4 |
Верифікація |
|||
2.5 |
Валідація |
|||
2.6 |
Загальний огляд |
|||
2.7 |
Аудит |
|||
2.8 |
Вирішення проблем |
|||
2.9 |
Забезпечення застосовності продукту |
|||
2.10 |
Оцінювання продукту |
|||
|
3. Категорія «Організаційні процеси» |
|||
3.1 |
Керування |
|||
|
3.1.1 |
|
Керування на рівні організації |
|
|
3.1.2 |
|
Керування проектом |
|
|
3.1.3 |
|
Керування якістю |
|
|
3.1.4 |
|
Керування ризиком |
|
|
3.1.5 |
|
Організаційне забезпечення |
|
|
3.1.6 |
|
Вимір |
|
|
3.1.7 |
|
Керування знаннями |
|
3.2 |
Удосконалення |
|||
|
3.2.1 |
|
Упровадження процесів |
|
|
3.2.2 |
|
Оцінювання процесів |
|
|
3.2.3 |
|
Удосконалення процесів |
|
Стандарт не зобов'язує використовувати всі процеси ЖЦ одночасно і не ставить особливих вимог до формату і змісту розроблення відповідних документів. Тому організація-користувач стандарту під час розробки конкретного програмного продукту може створити стандарти підприємства, методики і процедури, що деталізуватимуть вибрані для конкретних потреб процеси ЖЦ. Так, міжнародна організація зі стандартизації ISO (International Organization for Standardization) випускає також посібники і настанови, що доповнюють стандарт ISO/IEC 12207.
Як видно з табл.3.1, усі процеси в даному стандарті поділяються на три категорії:
– основні процеси;
– процеси підтримки;
– організаційні процеси.
Для кожного з процесів визначені види діяльності (дії – activity), задачі, сукупність результатів (виходів) діяльності і вирішення задач, а також деякі специфічні вимоги. У стандарті наведено перелік робіт для основних, організаційних процесів і процесів підтримки, але не спосіб їх виконання і не форма подання результатів.
До основних процесів стандарту належать:
– процес придбання, який ініціює ЖЦ ПС і визначає дії організації-покупця (або замовника), що отримує автоматизовану систему, програмний продукт або сервіс. Цей процес містить у собі такі види діяльності: ініціювання і підготовка запиту, оформлення контракту і його актуалізація; моніторинг користувачів, приймання і завершення;
– процес постачання, який визначає дії з передачі покупцю програмного продукту або сервісу і містить у собі такі види діяльності: підготовку пропозицій (відповідей на запити); оформлення контракту; планування, виконання і контроль продукту, що постачається; аналіз і оцінку продукту; постачання і завершення робіт з постачання. Процес постачання починається тоді, коли встановлені договірні відношення між замовником і постачальником. Залежно від умов договору процес постачання може містити у собі процес розробки ПЗ, процес експлуатації і супроводу для виправлення і поліпшення ПС;
– процес розробки, який визначає дії підприємства-розробника програмного продукту: аналіз вимог до системи; проектування архітектури системи, детальне проектування компонентів ПС, кодування і тестування ПС, інтеграцію системи, кваліфікаційне тестування, установку ПС і забезпечення приймання ПС.
– процес експлуатації, який визначає дії підприємства-оператора, що забезпечує обслуговування системи в ході її експлуатації користувачами (консультування користувачів, вивчення потреб операторів, задоволеності споживачів системою тощо). Цей процес регламентує задачі і дії з функціонального тестування, перевірки правильності експлуатації системи; дотримання інструкцій і настанов з її запуску;
– процес супроводу, який визначає дії організації, що виконує супровід програмного продукту (керування модифікаціями, підтримку поточного стану і функціональної придатності, інсталяцію програмного продукту на обчислювальній системі користувача та її вилучення при списанні). Даний процес містить у собі завдання і дії щодо аналізу питань супроводу і модифікації, розробки планів і реалізації модифікації системи, аналізу результатів супроводу після змін системи, міграції ПС в інше середовище або її виведення з експлуатації.
До категорії основних процесів належать також «первинні» процеси, що визначають порядок підготовки договору на розробку ПС, моніторинг діяльності постачальників ПС тощо (див. табл.1).
Стандарт містить опис допоміжних процесів, що регламентують додаткові дії з перевірки продукту, керування проектом та його якістю ЖЦ ПС
До процесів підтримки розробки ПС належать: документування, керування версіями, верифікація і валідація, перегляди, аудити, оцінювання продукту та ін. Процес керування версіями за змістом відповідає керуванню конфігурацією системи, що так само, як і продукти процесів, повинні перевірятися на правильність реалізації цілей проекту і відповідність вимогам замовника. Завдання з перевірки рекомендується виконувати спеціальним контролерам, які знаються на методах і процесах проектування ПС.
До організаційних процесів належать: керування проектом (менеджмент розробки), якістю, ризиками тощо. Ці процеси виконуються спеціальними службами, що здійснюють планування робіт у проекті, контроль процесів, визначення метрик для вимірювання продуктів, перевірку показників якості, дотримання стандартних положень та ін.
Процеси, дії і задачі наведені в стандарті в найбільш загальній природній послідовності. Залежно від цілей конкретного проекту головний розробник і менеджер вибирають процеси, дії і задачі, вибудовують визначену схему ЖЦ для застосування у конкретному проекті.
Процеси керування в стандарті структуровані за рівнями і напрямками, вони жодним чином не зв’язані з існуючими методами програмування і засобами програмної інженерії, Вони адекватні до деяких методів програмування з розроблення ПС. Це дає можливість при їх виборі для застосування у ЖЦ конкретного призначення зіставляти їм звичні парадигми і методи розроблення (об'єктні, компонентні, сервісні, генераційні й ін.) та засоби ядра знань SWEBOK.
Природно, що в невеликих програмних проектах завжди можна буде застосовувати творчі і неформальні підходи, запропоновані фахівцями для створення різного роду унікальних продуктів, процес розробки яких не завжди відповідає загальному стандарту.
