Пошук академічних текстів

Інформація × Реєстраційний номер 0418U000971, Кандидатська дисертація На здобуття к.т.н. Дата захисту 07-09-2018 Статус Запланована Назва роботи Інформаційна технологія автономного тестування програмних компонент систем критичного застосування Здобувач Коваленко Ян Павлович, Керівник Скарга-Бандурова Інна Сергіївна Керівник Скарга-Бандурова Інна Сергіївна Опонент Каргін Анатолій Олексійович Опонент Каргін Анатолій Олексійович Опонент Медзатий Дмитро Миколайович Опонент Медзатий Дмитро Миколайович Опис Дисертацію присвячено вирішенню актуального науково-прикладного завдання розроблення моделей та методів інформаційної технології автономного тестування програмних компонент систем критичного застосування. Проведено дослідження сучасного стану розвитку інформаційних технологій, проаналізовані методи і проведено аналіз стандартів і вимог, що висуваються до розробки програмних засобів систем критичного застосування. Проаналізовано методи та особливості інформаційних технологій тестування систем залізничної автоматизації, функціонального програмного забезпечення. Виконано розроблення моделей автономного тестування ФПЗ МПЦ-У, що засновані на методі статичного тестування програмного забезпечення. Розроблено метод автономного тестування що використовує метод статичного тестування для спеціалізованої мови технологічного програмування ФПЗ МПЦ-У. Запропоновано інформаційна технологія автономного тестування програмних компонент систем критичного застосування, яка забезпечує можливість проведення тестування типових програмних компонентів систем мікропроцесорної централізації за рахунок використання методів статичного тестування. Наведено результати функціонування інтерпретатора вихідного коду з використанням запропонованої інформаційної технології і перевірка його ефективності. Дата реєстрації 2018-09-12 Додано в НРАТ 2021-03-17 Закрити