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