10.5. Дестабілізуючі чинники і методи забезпечення надійності функціонування програмних засобів.
Модель чинників, що визначають надійність програмних засобів. При будь-якому виді діяльності людям властиво неумисно помилятися, результати чого проявляються в процесі створення або застосування виробів або систем. У загальному випадку під помилкою мається на увазі дефект, погрішність або ненавмисне спотворення об'єкту або процесу. При цьому передбачається, що відомий правильний, еталонний стан об'єкту, по відношенню до якого може бути визначена наявність відхилення, - дефекту або помилки. Для систематичної, координованої боротьби з ними потрібні дослідження чинників, що впливають на надійність ПС з боку випадкових, існуючих і потенційно можливих дефектів в конкретних програмах. Це дозволить цілеспрямовано розробляти комплекси методів і засобів забезпечення надійності складних ПС різного призначення при реально досяжному зниженні рівня дефектів проектування.
При строго фіксованих початкових даних програми виконуються по певних маршрутах і видають абсолютно певні результати. Численні варіанти виконання програм при різноманітних початкових даних представляються для зовнішнього спостерігача як випадкові. У зв'язку з цим дефекти функціонування програмних засобів, що не мають зловмисних джерел, проявляються зовні як випадкові, мають різну природу і наслідки. Зокрема, вони можуть призводити до наслідків, відповідних порушень працездатності, і до відмов при використанні ПС.
Наступний аналіз надійності ПС базується на моделі взаємодії основних компонентів, представлених на мал. 4.2. Об'єктами уразливості, що впливають на надійність ПС, є:
динамічний обчислювальний процес обробки даних, автоматизованої підготовки рішень і вироблення дій, що управляють;
інформація, накопичена в базах даних, відбиває об'єкти зовнішнього середовища, і процеси її обробки;
об'єктний код програм, що виконуються обчислювальними засобами в процесі функціонування ПС;
інформація, що видається споживачам і на старанні механізми, є результатом обробки початкових даних і інформації, накопиченої в базі даних.
На ці об'єкти впливають різні дестабілізуючі чинники, які можна розділити на внутрішні, властиві самим об'єктам уразливості, і зовнішні, обумовлені середовищем, в якому ці об'єкти функціонують. Внутрішніми источникоми погроз надійності функціонування складних ПС можна рахувати наступні дефекти програм :
системні помилки при постановці цілей і завдань створення ПС, при формулюванні вимог до функцій і характеристик рішення завдань, визначенні умов і параметрів зовнішнього середовища, в якому належить застосовувати ПС;
алгоритмічні помилки розробки при безпосередній специфікації функцій програмних засобів, при визначенні структури і взаємодії компонентів комплексів програм, а також при використанні інформації баз даних;
помилки програмування в текстах програм і описах даних, а також в початковій і результуючій документації на компоненти і ПС в цілому;
недостатню ефективність використовуваних методів і засобів оперативного захисту програм і даних від збоїв і відмов і забезпечення надійності функціонування ПС в умовах випадкових негативних дій.
Рис.4.2. Схема моделі аналізу надійності програмных засобів
Література
Зелковиц М., Шоу А., Гэннон Дж. Принципы разработки программного обеспечения: Пер. с англ.— М.: Мир, 1982 — 368 с., ил.
Іващук В.В. Курс лекцій «Засоби мультимедіа в нових інформаційних технологіях» Національний університет харчових технологій.-К.: НУХТ, 2011. – 77 с.
Когутяк М.І., Дранчук М.М., Когуч Я.Р., Шавранський М.В., Лещій Р.М. Автоматизація неперервних технологічних процесів в нафтовій та газовій промисловості: Навчальний посібник.–Івано-Франківськ: Факел, 2006.–385с.
Конспект лекцій з дисципліни “Системи технологій” : к. т. н., доц. Фесенко М.С. Алчевськ ДонДТУ 2006, 70 стр.
Кухнюк Н.В., викладач Технічного коледжу. Інтерактивний комплекс. з дисципліни “Автоматизація технологічних процесів”. 2008, 227 ст.
Ларман Крэг. Применение UML и шаблонов проектирования. 2-е издание.: Пер. с англ. – М. Вильямс, 2004-624 с.:ил.
Проць, О.А. Данилюк, Т.Б. Лобур. Автоматизація неперервних технологічних процесів. Навчальний посібник для технічних спеціальностей вищих навчальних закладів. – Тернопіль: ТДТУ ім. І.Пулюя, 2008. – 239 с.
С.В.Шаповал, Н.Г.Морковська. Конспект лекцій з курсу „Системи технологій” Харків. ХНАМГ, 2005.- 70 с.
Microsoft Corporation Принципы проектирования и разработки программного обеспечения. Учебный курс MCSD/Пер. с англ. -2-е издание. Русская Редакция, 2002 – 736 стр., ил.
Гагарина Л. Г., Кокорева Е. В., Виснадул Б. Д. Технология разработки программного обеспечения: учебное пособие / под ред. Л. Г Гагариной. — М.: ИД «ФОРУМ»: ИНФРА-М, 2008. — 400 с.: ил. — (Высшее образование).
Галіцин В.К., Сидоренко Ю.Т., Потапенко С.Д. Технологія програмування і створення програмних продуктів: Навч. посіб. — К.: КНЕУ, 2009. — 372 с.
Гужва В. М. Інформаційні системи і технології на підприємствах: Навч. посібник. — К.: КНЕУ, 2001. — 400 c.
Лекція № 11
|
Скачать 14.87 Mb.