Прогнозування помилок

Прогнозування помилок означає передбачуваний підхід до розробки надійного Пп. Зрілі організації, що спеціалізуються на розробці ПП, виконують прогнозування помилок як складову частину оцінювання проекту/процесу ПП. Єдиний спосіб досягнення навіть невеликої міри точності для прогнозуючих моделей полягає в наданні доступу до відповідних історичних моделей забезпечення надійності даних. Аналіз історичних даних і збір даних про помилки є ключовими діями для цього методу. У таблиці. 13.2 (шаблон) мають бути відбиті результати прогнозування помилок.

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

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

Таблиця 13.2

Шаблон для обліку результатів прогнозування помилок на етапах планування і складання вимог

Основні дії при прогнозуванні помилок на етапах планування і складання вимог	Результати прогнозування помилок
Визначення функціонального профілю	(Перерахування результатів)
Визначення і класифікація помилок	Те ж
Визначення потреб замовників в забезпеченні необхідного рівня надійності ПП	»
Проведення альтернативних учбових курсів	»
Визначення цілей, пов'язаних із забезпеченням надійності	»

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

Визначення і класифікація помилок - друга дія при їх прогнозуванні. Як вказувалося в подразд. 13.1, помилки ПП є результатом дефектів або помилок проекту, дефектів або помилок кодування, організаційних помилок, неадекватної відладки і помилок тестування. Визначення помилок має на увазі встановлення їх джерела. Класифікація помилок виробляється по мірі їх серйозності. Класифікація, розроблена Борисом Бейцером, має відповідні рівні деталізації.

Слабкий - симптоми мають чисто естетичний прояв.

Помірний - вихідні дані некоректні або надмірні.

Дратівливий - некоректна поведінка системи.

Дуже серйозний - проблема в роботі системи, що зачіпає декількох користувачів (наприклад, замість того, щоб врахувати платіжний чек клієнта, система переводить гроші на чужий рахунок).

Екстремальний - проблема в роботі системи, що зачіпає широкий круг користувачів.

Нестерпний - база даних надовго і непоправно виходить з ладу.

Катастрофічний - рішення про припинення виконання програми виходить від користувача, система руйнується.

Інфекційний - система руйнує інші системи, навіть якщо її власна працездатність не порушена.

Завершивши складання матриці джерел помилок і їх класифікацію, необхідно відстежити метричні показники, що характеризують помилкові дані, як показано в таблиці. 13.3 (шаблон). Кожен елемент таблиці містить підсумкові відомості про помилки (підсумок) згідно історичної інформації, доступної для аналогічних проектів і продуктів.

Визначення потреб замовників в забезпеченні необхідного рівня надійності ПП є третьою дією при прогнозуванні помилок. Ці потреби заздалегідь визначені і задокументовані в первинних вимогах замовника. Потреби замовника в необхідному рівні надійності мають бути встановлені з тією точністю, яку забезпечують методи измерения.

Незважаючи на те що усі вимоги мають бути вимірними і забезпечувати можливість контролю, вимогам, пов'язаним із забезпеченням надійності, привласнюються певні номери. Нижче приведені відповідні номерам приклади тверджень, що стосуються надійності.

Надійність системи управління супутниками оцінюється як 0,999 від 95 % довіри на період, рівний 15 рокам з моменту розподілу корисного навантаження.

Для авіаційної системи характерно в середньому 500 льотних годин між критичними помилками.

Вбудована система самоконтролю визначить, що ракета несправна, з вірогідністю 60%.

Вбудована система самоконтролю порахує справну ракету за несправну з вірогідністю менше 1 %.

Середній час виправлення функціонуючого ПП складає 30 мін або менше.

Максимальний час завершення роботи вбудованої системи самоконтролю складає 20 с.

Середній час завантаження ПП в повному об'ємі і виконання повного внутрішнього самоконтролю складає 10 хв.

Середній час оновлення однієї інтерактивної сторінки документації складає 30 хв.

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

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

Дата добавления: 2014-01-04