их контурів управління для досягнення цієї мети.
Зауважимо, що для розглянутої схеми управління можна знехтувати різницею між вхідними величинами і зовнішніми впливами, так як і ті, і інші представляються для програми деякою інформацією, підлягає аналізу та/або обробці (випадок, коли зовнішні впливи спотворюють саму програму, тут не розглядаємо). Тому, для зручності викладу ми іноді будемо говорити про вхідних значеннях, маючи на увазі і ті, і інші.
Розглянемо керуючі кошти контуру. Вони здійснюють управління програмою, уособлюючи і зворотні зв'язки в програмі.
М - модель результату. Тут перевіряється, чи відповідає результат роботи засобів R спланованою раніше моделі, наприклад, чи задовольняє він умові 0 ВЈ Y ВЈ 1.
Для того, щоб модель могла функціонувати, в програмі повинні бути засоби вимірювання результату, забезпечують зворотний зв'язок, і кошти порівняння.
А - блок вибору реакції. Залежно від результату, що видається моделлю, вибирається той чи інший метод впливу на хід виконання програми.
Реалізація обраного методу керуючого впливу показана блоками С1, С2. Таких блоків в складних випадках може бути більше, але в кожний конкретний момент може виконуватися тільки один з них.
Керуючийвплив може полягати в передачі управління тієї або іншої ділянки програми (інакше кажучи, до зміни значень лічильника адреси команд), у зміні значення якийсь змінної величини (найчастіше - логічної), у формуванні тієї чи іншої конструкції. В окремих випадках це може бути і повідомлення оператору. p> Найпростішим прикладом керуючого засобу може служити оператор 1F. Наприклад, 1F (Х = 1) ТНЕN Gо ТО А, ЕLSЕ В: = 1
Тут роль блоку М грає обчислення предиката (Х = 1), блок А визначає, який із шляхів THEN або ЕLSЕ вибрати, а керуючі впливу: GO TO A і B: = 1. Як вже говорилося, метою програми, як системи управління може бути підвищення достовірності результату або, принаймні, досягнення прийнятного рівня достовірності. Для цього програма повинна мати досить потужні керуючі засоби, що забезпечують крім вимірювання потрібних характеристик, вибору та реалізації керуючих впливів, ще й підвищення надійності програм.
Сам вираз "Підвищення надійності" передбачає знання того, що таке надійність і як її виміряти (щоб переконатися, що надійність підвищилася). На жаль, єдиної точки зору на надійність програми і способи її вимірювання поки немає.
Надійність програм. Різні підходи
Питання визначення і підвищення надійності програм набуває останнім часом особливої вЂ‹вЂ‹важливості у зв'язку із збільшеним рівнем складності застосування ЕОМ. p> У підході до проблеми надійності програм іноді орієнтуються на застосування основних положень теорії надійності апаратури до програм. Вводиться поняття відмови програми - це помилка в програмі, що викликає неправильне функціонування програми в будь-яких умовах. Відповідно може розглядатися напрацювання на від...
