- •Вп нуБіП україни
- •Тема 1. Життєвий цикл програмних продуктів та архітектура, теорія і методи програмування. 7
- •Тема 7. Corba - технологія . 70
- •Тема 12. Тестування та налагодження програмних застосувань. 120
- •Поняття життєвого циклу програмного продукту.
- •Основні процеси життєвого циклу програмного продукту.
- •1.3. Допоміжні основні процеси (що підтримують) процеси життєвого циклу програмного продукту
- •1.4. Організаційні процеси життєвого циклу програмного продукту
- •1.5. Взаємозв'язок між процесами життєвого циклу програмного продукту
- •Лекція № 2
- •2.2. Визначення вимог до програмних продуктів.
- •2.3. Функціональні вимоги. Експлуатаційні вимоги.
- •2.3. Функціональна специфікація програмного засобу.
- •2.4. Вибір архітектури програмного забезпечення. Структура і формат даних.
- •2.5. Вертифікація -статичні, напівстатичні і динамічні структури. Класифікація структур даних.
- •2.6. Прості структури даних.
- •2.7. Статичні структури даних. Напівстатичні структури даних.
- •2.8. Динамічні структури даних
- •Лекція № 3
- •3.1. Загальна характеристика і компоненти проектування.
- •3.2. Еволюція розробки програмного продукту.
- •3.3. Структурне програмування. Об'єктно-орієнтоване проектування.
- •3.4. Збирані метрики, використовувані методи, стандарти і шаблони.
- •Лекція № 4
- •Зародження об' єктної моделі.
- •4.2. Об' єктно - орієнтований аналіз, дизайн і проектування.
- •4.3. Парадигми програмування.
- •4.4. Нові концепції програмування.
- •4.5. Об'єктно-орієнтоване програмування.
- •4.6. Уніфікована мова моделювання. Мови і платформи розробки.
- •4.7. Засоби розробки програмного забезпечення. Оптимальний порядок вивчення топ.
- •4.8. Об'єктно-орієнтований підхід. Характеристики об'єктно-орієнтованих мов
- •Лекція № 5
- •5.1. Особливості моделі клієнт сервер в sql Server.
- •5.2. Архітектура sql Server. Огляд компонентів і можливостей sql Server 7.0
- •5.3. Transact - sql. Додатки командного рядка. Додатки з графічним інтерфейсом
- •5.4. Архітектура баз даних. Реляційні особливості sql Server
- •Лекція № 6
- •План лекції
- •Самостійна робота
- •Зміст лекції
- •6.1. Вступ до компонентного програмування.
- •6.2. Основні поняття com технологій.
- •6.3. Інтерфейс com - об' єктів.
- •6.4. Ідентифікатори, використовувані в сом технології
- •Лекція № 7
- •7.1. Технологія corba.
- •7.2. Середовище Delphi. (смирнов 67)
- •7.3. Corba технології при програмуванні в середовищі Delphi.
- •7.4. Елементи ActiveX, що управляють.
- •Лекція № 8
- •8.1. Деякі теоретичні відомості про uml - уніфіковану мову моделювання.
- •8.2. Призначення мови uml.
- •8.3. Загальна структура мови uml.
- •8.4. Загальні відомості про пакети в мові uml. Основні пакети метамоделі мови uml.
- •8.5. Специфіка опису метамоделі мови uml.
- •8.6. Особливості зображення діаграм мови uml
- •Лекція № 9
- •9.1. Саsе - технології та саsе -засоби проектування.
- •9.2.Класифікація case -засобів.
- •9.3.Етапи створення інформаційних систем.
- •9.4.Моделі життєвого циклу програмного забезпечення іс
- •9.5.Особливості проектування інформаційних систем
- •Лекція № 10
- •10.1.Основні поняття про надійність програмних продуктів і методи її забезпечення.
- •10.2. Методи забезпечення надійності на різних етапах життєвого циклу розробки програмного продукту.
- •10.3. Інструменти, що забезпечують надійність програмних продуктів. План забезпечення надійності.
- •10.4. Основні поняття і показники надійності програмних засобів.
- •10.5. Дестабілізуючі чинники і методи забезпечення надійності функціонування програмних засобів.
- •Лекція № 11
- •11.1. Нормативні документи по стандартизації і відіа стандартів.
- •11.2. Стандарти в області програмного забезпечення.
- •11.3. Загальна характеристика стану в області документування програмних засобів.
- •11.4. Єдина система програмної документації гост 19.101-77 еспд.
- •11.5. Види програм і програмних документів.
- •11.6.Стадії розробки. Загальні вимоги до програмних документів. Технічне завдання.
- •11.7.Опис програми. Записка пояснення.
- •11.8.Керівництво системного програміста. Вимоги до змісту і оформлення.
- •11.9.Керівництво програміста. Керівництво оператора. Опис мови.
- •Лекція № 12
- •12.1. Основні визначення. Економіка тестування.
- •12.2. Тестування програми як "чорного ящика". Тестування програми як "білого ящика".
- •12.3. Аксіоми (принципи) тестування.
- •12.4. Філософія тестування.
- •12.5. Тестування модулів.
- •12.6.Покрокове тестування. Висхідне тестування. Низхідне тестування.
- •12.7.Метод "великого стрибка". Метод сандвіча. Модифікований метод сандвіча.
- •12.8.Комплексне тестування. Проектування комплексного тіста. Виконання комплексного тіста.
- •Лекція № 13
- •13.2. Серия стандартов isо 9000
- •13.4. Процес сертифікації програм на базі інформації про їх використання.
- •13.5. Супровід програм.
- •13.6.Види програмних документів. Записка пояснення.
- •13.7.Посібник користувача.
- •13.8.Керівництво системного програміста.
- •13.9. Атестація програмних засобів.
10.3. Інструменти, що забезпечують надійність програмних продуктів. План забезпечення надійності.
Досвід створення і застосування складних інформаційних сис-тем (ІС) в останні десятиліття виявив безліч ситуацій, при яких збої і відмови їх функціонування були обус-ловлены дефектами комплексів програм, що призводило до боль-шому економічному збитку. Внаслідок помилок в програмах автоматичного управління загинуло декілька вітчизняних, американських і французьких супутників, відбувалися відмови і катастрофи в складних адміністративних, банківських і техно-логических інформаційних системах.
В результаті близько двадцяти років тому з'явилися перші узагальнювальні роботи, в яких були сформульовані концеп-ция і основні положення теорії надійності програмних засобів для інформаційних систем. В цей час були заложе-ны основи методології і технології створення високонадійних складних комплексів програм. Стало ясно, що для забезпечення високої надійності функціонування і безпеки приме-нения створюваних складних комплексів програм потрібні чітка організація і висока кваліфікація усього колективу фахівців, що беруть участь в такому проекті. У колективі раз-работчиков доцільно виділяти фахівців, ответствен-ных за дотримання технології створення і розвитку програм, за забезпечення і контроль якості, а також за надійність і бе-зопасность проекту ПС і його компонентів.
Забезпечення надійності повинне реалізовуватися специали-стами в життєвому циклі програмних засобів на основі исполь-зования сучасної методології, технологічного инструмен-тария, стандартів і нормативних документів.
Для забезпечення надійності програмних засобів необхо-димы розробка і застосування ефективних методів і засобів, застережливих і таких, що виявляють дефекти, а також удостоверя-ющих надійність програм і що оперативно захищають функ-ционирование ПС при їх проявах. Для систематичної,
координованої боротьби з погрозами надійності повинні про-водиться дослідження конкретних чинників, що впливають на ка-чество функціонування і безпеку застосування програм з боку реально існуючих і потенційно можливих дефектів в створюваних комплексах програм. У кожному проекті повинен цілеспрямовано розроблятися скоординированный комплекс методів і засобів забезпечення заданої надійності функціонування ПС при реально досяжному зниженні уров-ня дефектів і помилок розробки. Облік чинників, що впливають на витрати ресурсів при створенні конкретного ПС, повинен позво-лять раціоналізувати їх використання і домагатися задан-ной надійності функціонування ПС при мінімальних або допустимих витратах.
Для забезпечення надійності програмних засобів в конкрет-ных проектах мають бути організовані і стимулюють раз-робітка, освоєння і застосування сучасних автоматизирован-ных технологій і інструментальних засобів, що забезпечують попередження або виключення більшості видів дефектів і помилок при створенні і модифікації ПС і їх компонентів. Ог-раниченные ресурси на розробку призводять до необхідності впорядкованого застосування методів і раціонального исполь-зования засобів автоматизації проектування. Тому про-цесс розробки повинен плануватися і послідовно про-ходить етапи, що охоплюють усі компоненти ПС. Контроль на-дежности і безпеці створюваних програм, що модифікуються, повинен супроводжувати увесь життєвий цикл ПС посред-ством спеціальної, досить ефективної технологічної системи забезпечення їх якості. Розробка і супровід складних ПС на базі САSЕ -технологий дозволяють попереджати і усувати найбільш небезпечні системні і алгоритмічні ошиб-ки на ранніх стадіях проектування, а також використовувати нео-днократно перевірені в інших проектах програмні і ин-формационные компоненти високої якості. Попередження помилок повинне підтримуватися високоякісною докумен-тацией в процесі створення ПС в цілому і їх компонентів.
Одним з ефективних шляхів підвищення надійності ПС яв-ляется стандартизація технологічних процесів і об'єктів проектування, розробки і супроводу програм. У стан-дартах життєвого циклу ПС узагальнюються досвід і результати досліджень безлічі фахівців і рекомендуються найбільш ефективні сучасні методи і процеси. В результаті таких узагальнень відпрацьовуються технологічні процеси і прийоми розробки, а також методична база для їх автомати-зации. Стандарти ЖЦ ПС можуть використовуватися як непосред-ственно директивні, керівні або як рекомендаційні документи, а також як організаційна база при створенні засобів автоматизації відповідних технологічних етапів або процесів. Подібна стандартизація процесів відбивається не лише на їх техніко-економічних показниках, але і, що особливо важливо, на якості створюваних ПС. Надійність про-грамм тісно пов'язана з методами і технологією їх розробки, тому важливою групою стандартів в цій області є стандарти по забезпеченню якості ПС.