Главная страница

конспект лекцій (ТСПП). Конспект лекцій з дисципліни 07 технологія створення програмних продуктів напряму 050101 Компютерні науки


Скачать 14.87 Mb.
НазваниеКонспект лекцій з дисципліни 07 технологія створення програмних продуктів напряму 050101 Компютерні науки
Анкорконспект лекцій (ТСПП).docx
Дата15.12.2017
Размер14.87 Mb.
Формат файлаdocx
Имя файлаконспект лекцій (ТСПП).docx
ТипКонспект
#11579
страница42 из 62
1   ...   38   39   40   41   42   43   44   45   ...   62

10.4. Основні поняття і показники надійності програмних засобів.


Основні поняття надійності систем. За визначенням, встановленим в ГОСТ 13377-75, надійність - властивість об'єкту виконувати задані функції, зберігаючи в часі значення встановлених експлуатаційних показників в заданих межах, відповідних заданим режимам і умовам використання, технічного обслуговування, ремонту, зберігання і транспортування. Таким чином, надійність є внутрішньою властивістю системи, що закладеною при її створенні і проявляється в часі при функціонуванні і експлуатації.

Р. Гласс надійність визначає як рівень, при якому система програм задовольняє поставленим вимогам і придатна для експлуатації. При цьому слід відрізняти надійність від коректності, яка визначається як міра задоволення вимогам. Надійність є складовою частиною загальнішого поняття - якості. Якісна програма не лише надійна, але і компактна, сумісна з іншими програмами, ефективна, зручна в супроводі, портативна і цілком зрозуміла [46].

Властивості надійності виробів вивчаються теорією надежное- ти, яка є системою певних ідей, математичних моделей і методів, спрямованих на рішення проблем пророцтва, оцінки і оптимізації різних показників надійності. Надійність технічних систем визначається в основному двома чинниками: надійністю компонентів і дефектами в кон- струкции, допущеними при проектуванні йди виготовленні. Відносно невисока фізична надійність компонентів, їх здатність до руйнування, старіння або зниження надійності в процесі експлуатації привели до того, що цей чинник виявився домінуючим для більшості комплексів апаратури. Цьому сприяла також невисока складність багатьох технічних систем, внаслідок чого дефекти проектування проявлялися відносно рідко.

Надійність складних програмних засобів визначається цими ж чинниками, проте домінуючими є дефекти і помилки проектування, оскільки фізичне зберігання програм на магнітних носіях характеризується дуже високою надійністю. Програма будь-якої складності і призначення при строго фіксованих початкових даних і абсолютно надійній апаратурі виконується по однозначно певному маршруту і дає на виході строго певний результат. Проте випадкова зміна початкових даних і накопиченої при обробці інформації, а також безліч умовних переходів в програмі створюють величезне число різних маршрутів виконання кожного складного ПС. Джерелами ненадійності є неперевірені поєднання початкових даних, при яких функціонуюче ПС дає невірні результати або відмови. В результаті комплекс програм не відповідає вимогам функціональної придатності і працездатності.

Наведемо приклад, який опублікований в статті Юрія Батурина в журналі "Новий час" [57]. Автор приводить декілька чинників, які описують проблеми функціонування складних програмних засобів. Так, одним з чинників виступає чинник складності. "Існують фундаментальні причини, чому програмне забезпечення неможливо зробити досить надійним, щоб можна було не сумніватися в тому, що система "Зоряних воєн" дійсно спрацює", -г рахує Д. Парнас, найбільший авторитет по великомасштабному програмуванню. Він був призначений Організацією по здійсненню Стратегічної Оборонної Ініціативи (СОЇ) членом консультативного комітету з програмування управління бойовими операціями. "Мені обіцяли 1000 доларів в день плюс накладні витрати". Але, ознайомившись детальніше з тим, чого від нього чекають, Д. Парнас відхилив зроблену йому пропозицію, одночасно представивши вісім технічних документів, які пояснювали, чому програма не зможе працювати так, як вимагається. Як приклад приведемо ще один з чинників - чинник надійності. Про те, наскільки уразливе математичне забезпечення, можна судити по наступному прикладу. Коли в 1979 р. американський космічний зонд, запущений на Венеру, не досяг своєї мети, в космос вилетіло майже півмільярда доларів. Причина в тому, що в програмі корекції курсу зонду кома була сплутана з двокрапкою.

При застосуванні понять надійності до програмних засобів слід враховувати особливості і відмінності цих об'єктів від традиційних технічних систем, для яких спочатку розроблялася теорія надійності, :

  • не для усіх видів програм застосовні поняття і методи теорії надійності - їх можна використовувати тільки до програмних засобів, що функціонують в реальному часі і що безпосередньо взаємодіє із зовнішнім середовищем;

  • при оцінці якості програмних компонентів до них непридатні поняття надійності функціонування, якщо при обробці інформації вони не використовують значення реального часу і не взаємодіють безпосередньо із зовнішнім середовищем;

  • домінуючими чинниками, що визначають надійність програм, являються дефекти і помилки проектування і розробки, і другорядне значення має фізичне руйнування програмних компонентів при зовнішніх діях;

  • відносне рідкісне руйнування програмних компонентів і необхідність їх фізичної заміни призводять до принципової зміни понять збою і відмови програм і до розподілу їх по тривалості відновлення відносно деякого допустимого часу простою для функціонування інформаційної системи;

  • для підвищення надійності комплексів програм особливе значення мають методи автоматичного скорочення тривалості відновлення і перетворення відмов в короткочасні збої шляхом введення в програмні засоби тимчасової, програмної і інформаційної надмірності;

  • непередбачуваність місця, часу і вірогідності прояву дефектів і помилок, а також їх рідкісне виявлення при реальній експлуатації досить надійних програмних засобів, не дозволяють ефективно використовувати традиційні методи апріорного розрахунку показників надійності складних систем, орієнтовані на стабільні, вимірювані значення надійності складових компонентів;

  • традиційні методи форсованих випробувань надійності систем шляхом фізичної дії на їх компоненти непридатні для програмних засобів, і їх слід замінювати на методи форсованої дії інформаційних потоків зовнішнього середовища.


1   ...   38   39   40   41   42   43   44   45   ...   62


написать администратору сайта