дження, може бути описано сукупністю розглянутих вище векторних показників.
Кожен етап системної налагодження (крім аналізу ефективності комплексу програм) з використанням наведених груп показників якості може бути представлений як ітераційний процес, що складається на кожній ітерації з оцінки фактичних значень показників якості, порівняння їх з вимогами специфікацій, вибору дій по встановленню причин виявлених невідповідностей, їх локалізації та усуненню (рис. 1).
Оцінка значень показників якості проводиться на підставі аналізу тексту комплексу програм і його різних графових моделей і на підставі результатів тестування.
Специфікації на комплекс програм служать основним еталоном для визначення достатності проведених налагоджувальних робіт та повинні містити необхідну інформацію про необхідних значеннях показників якості, які необхідно забезпечити в процесі системної налагодження. У специфікаціях на комплекс програм повинні бути сформульовані наступні вимоги: допустимі значення компонентів векторів складності та надмірності, характеристики виконуваних функцій в термінах їх входів і виходів, максимально допустимий обсяг оперативної пам'яті, який може бути відведений досліджуваного комплексу в процесі його функціонування, максимально допустимі обсяги зовнішньої пам'яті для розміщення інформаційних елементів комплексу, максимально допустимі часи функціонування комплексу програм та його структурних елементів, основні послідовності реалізації програмних модулів, характеристики зв'язків за інформацією, характеристики надійності, системи захисту та засобів відновлення, ефективність комплексу програм. Невідповідність будь-якого компонента показників якості вимогам специфікацій є або наслідком недоліків проектування або програмування, або наслідком наявності помилок.
У процесі дослідження можливих варіантів підвищення значень показників якості комплексу програм може бути виявлено, що жоден з них не дозволяє забезпечити відповідність показника вимогам специфікацій. У такому випадку слід провести коригування вимог специфікацій з урахуванням реальних можливостей вирішення досліджуваної задачі.
На підставі порівняння значень компонентів і показників якості з вимогами специфікацій може бути оцінена загальна налагодженість комплексу програм:
В
де n i - кількість компонентів i-го показника якості; I - кількість розглянутих показників якості;
В
Вибір дій щодо локалізації та усунення невідповідностей вимогам специфікацій полягає у виборі безлічі показників якості, для яких буде проведена локалізація і усунення відповідних помилок, а також вибір для цього безлічі послідовності дій, яка забезпечить локалізацію і усунення помилок з мінімальними витратами часу і коштів.
Після виконання дій щодо локалізації та усунення невідповідностей значень показників якості вимогам специфікацій здійснюється перехід до нової ітерації системної налагодження з досліджуваної групи показників якості.
Таким чином, процес виявлення помилок в комплексі програм (у тому числі і складних алгоритмічних) з використанням системи показників якості може бути в достатньою мірою формалізований, а його основні операції - автоматизовані.
У Відповідно до вище викладеним - процес налагодження складних комплексів програм повинен включати таку послідовність дій.
1. Програмна налагодження: використання можливостей трансляторів і компіляторів для автоматичного виявлення синтаксичних та інших програмних помилок.
2. Складання плану налагодження (вибір стратегії). p> 3. Автономна налагодження програмних модулів відповідно до обраної стратегії налагоджувальних робіт.
3.1. Перевірка фізичної реалізованості досліджуваної сукупності програмних модулів:
а) оцінка обсягів оперативної і зовнішньої пам'яті, необхідної для розміщення комплексу програм (фізичної реалізованості);
б) дослідження можливостей скорочення обсягу оперативної пам'яті на розміщення комплексу програм при перевищенні ним допустимої величини (перерозподіл пам'яті комплексу програм за рахунок використання спільних областей для розміщення інформаційних елементів, скорочення блоків обміну із зовнішньою пам'яттю, організація оверлейної структури і т.п.);
в) перевірка реєнтерабельним (самовосстанавліваемості) програмних модулів шляхом перевірки отримання стійких результатів при багаторазовому до них зверненні; г) локалізація і виправлення помилок, пов'язаних з використанням ресурсів обчислювальної системи по пам'яті.
3.2. Перевірка часу функціонування:
а) оцінка часу функціонування методами тестування;
б) дослідження можливостей скорочення часу функціонування при перевищенні допустимих значень (розпаралелювання процесу обчислень, організація паралельного виконання операцій введення - виведення і обчислювальних операцій і тощо);
в) локалізація і усунення виявлених помило...
