Показано, що для підвищення ефективності функціонування, зниження вартості розробки та експлуатації АСУ СТК, обробка інформації в яких відбувається в режимі реального часу, особливу увагу необхідно приділяти розробці керуючих алгоритмів з урахуванням часових обмежень. Показано, що на сучасному етапі розвитку АСУ СТК потрібні нові підходи до розробки програмного забезпечення, що реалізує керуючий алгоритм технологічного процесу випробувань, які підвищать ефективність контролю та управління оператора за ходом виконання керуючого алгоритму, а також забезпечать можливість аналізу його результатів. У роботі запропоновано підхід, заснований на застосуванні комп'ютерної візуалізації. Показана важливість використання метафор візуалізації для точного і ясного подання інформації про хід виконання керуючого алгоритму. При розробці візуального подання в якості основного підходу використовується представлення керуючого алгоритму на основі графових моделей, що відображають потік управління. Спираючись на теорію множин, розроблена семантика керуючого алгоритму реального часу (КА РЧ), яка стала основою для синтезу таких графових моделей, як багатовходова і багатоваріантна моделі керуючого алгоритму реального часу. Показано, що візуалізація програмного забезпечення, що реалізує керуючий алгоритм, спирається на ряд стандартних шаблонів візуалізації, що задовольняють вимогам системи і здатних відобразити поведінку керуючих алгоритмів. Теорія графів пропонує свої рішення для задачі формального синтезу, аналізу та верифікації моделі керуючого алгоритму. Проблема коректного візуального представлення КА ТП випробувань вирішується за допомогою формальної специфікації візуальних мов. У цій роботі застосовується текстовий метод специфікації синтаксису, заснований на розширеній формі Бекуса-Наура (EBNF). Ключові слова АСУ СТК; реальний час; керуючий алгоритм; програмне забезпечення; візуалізація; графові моделі; розширена форма Бекуса-Наура
