атора. Можна показати і інші достоїнства застосування остаточних програм і залишків для налагодження. Зокрема, можна зменшити обсяг тестування. h4> Технології підвищення завадостійкості програм
Перешкодою будемо називати некоректне значення зовнішнього впливу або вхідної величини. Раніше ми вже визначили, що таке коректне зовнішній вплив: його значення повинне належати ареалу і чинити воно в програму має в обумовлений час (можна, мабуть, розглядати зовнішній вплив як пару - значення і час появи; тоді й ареал має складатися з двох компонентів, один з яких обумовлює допустимі значення, розміри впливу, а інший - допустимі моменти часу).
Рівень завадостійкості визначається здатністю програми не допустити впливу перешкод на кінцевий результат рішення завдання. Звичайно, більш високий рівень завадостійкості вимагає великих витрат часу, обсягу пам'яті і т.п. p> Перешкодостійкість програми може бути підвищена при використанні різних видів резервування, тобто введенням надмірності.
Надмірність вводиться для виявлення, ізоляції та усунення перешкод. Надмірність, як і резервування, може бути тимчасовою, інформаційної, програмної (Алгоритмічної), ергатичної. p> Тимчасова надмірність передбачає планування функціонування програми, при якому створюється резерв часу для виконання заданих функцій. Цей резерв дозволяє в разі потреби повторювати виконання тих чи інших фрагментів програми, включати додатковий контроль, поліпшити сервіс при експлуатації програм.
Інформаційна надмірність реалізується введенням додаткової інформації, що супроводжує основну при передачах, при обробці, при відображенні. Це можуть бити контрольні суми, коригувальні коду і т.д. Мета введення надлишкової інформації - виявлення перешкод, а якщо вдасться, то й усунення виявлених помилок.
Програмна надмірність є засобом для захисту від перешкод, виявлення та усунення помилок. Засіб це реалізується програмним шляхом, введенням додаткових алгоритмів контролю в програмі вирішення завдання.
ерготична надмірність передбачає видачу повідомлень, які дозволяють людині вплинути на хід розв'язання задачі з метою усунення всіляких перешкод.
Найбільш поширені методи підвищення завадостійкості програм використовують різні види надлишковості:
В· тимчасову, оскільки для реалізацій методів потрібні додаткове машинний час;
В· інформаційну, оскільки для проведення контролю необхідна додаткова інформація;
В· програмну, оскільки реалізація методів програмна;
В· ерготична, оскільки не завжди вдається усунути перешкоду автоматично, у цих випадках може допомогти тільки втручання людини.
Перешкодостійкість програми можна підвищити застосовуючи способи повторення виконання фрагментів програм та організації захисту від проникнення перешкод в програму.
Повторення виконання
Найчастіше застосовуються програмістами такі два способи повторення виконання фрагментів - подвійний рах...
