Коваленко Я. П. Інформаційна технологія автономного тестування програмних компонент систем критичного застосування

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