працював свій термін і не відповідний нових умов.
1.4 Методи прогнозування програмних відмов і тестування програм
Попередження помилок - кращий шлях підвищення надійності програмного забезпечення. Для його реалізації було розроблено методику проектування систем управління, відповідна спіральної моделі життєвого циклу програмного забезпечення. Методика передбачає послідовне зниження складності на всіх етапах аналізу об'єкта. При декомпозиції АСОИУ були виділені рівні управління системи, потім підсистеми, комплекси задач і так далі, аж до окремих автоматизуються функцій і процедур.
Методи прогнозування та тестування програмного забезпечення дозволяють попередити, мінімізувати або виключити появу помилок.
Методи прогнозування та тестування програмного забезпечення включають в себе:
. Методи, що дозволяють впоратися зі складністю системи.
Складність системи є однією з головних причин низької надійності програмного забезпечення. У загальному випадку, складність об'єкта є функцією взаємодії між його компонентами. У боротьбі зі складністю програмного забезпечення використовуються дві концепції: [Л.1]
Ієрархічна структура. Ієрархія дозволяє розбити систему за рівнями розуміння. Концепція рівнів дозволяє аналізувати систему, приховуючи несуттєві для даного рівня деталі реалізації інших рівнів. Ієрархія дозволяє розуміти, проектувати і описувати складні системи.
Незалежність. Відповідно до цієї концепції, для мінімізації складності, необхідно максимально посилити незалежність елементів системи.
. Методи досягнення більшої точності при перекладі інформації.
Методи поліпшення обміну інформацією базуються на введенні в програмне забезпечення системи різних видів надмірності:
Тимчасова надмірність. Використання частини продуктивності ЕОМ для контролю виконання та відновлення працездатності програмного забезпечення після збою.
Інформаційна надмірність. Дублювання частини даних інформаційної системи для забезпечення надійності та контролю достовірності даних.
Програмна надмірність включає в себе:
взаємна недовіра - компоненти системи проектуються, виходячи з припущення, що інші компоненти і вихідні дані містять помилки, і повинні намагатися їх виявити;
негайне виявлення і реєстрацію помилок;
виконання однакових функцій різними модулями системи і зіставлення результатів обробки;
контроль і відновлення даних з використанням інших видів надмірності.
Кожен з методів дозволяє підвищити надійність програмного забезпечення і стійкість до помилок. Який з даних методів краще визначити не можна, так як кожен метод заснований на своїх принципах і концепціях. Тому можна використовувати обидва методи.
Важливим етапом життєвого циклу програмного забезпечення, що визначає якість і надійність системи, є тестування. Тестування - процес виконання програм з наміром знайти помилки. Етапи тестування: контроль окремого програмного модуля окремо від інших модулів системи; контроль сполучень (зв'язків) між частинами системи (модулями, компонентами, пі...
