Search academic texts

Information × Registration Number 0418U000971, Candidate dissertation Status к.т.н. Date 07-09-2018 popup.evolution o Title Models and methods of information technology for automated systems of medical data analysis Author Kovalenko Yan Pavlovich, popup.head Skarha-Bandurova Inna Serhiivna popup.head Skarha-Bandurova Inna Serhiivna popup.opponent Каргін Анатолій Олексійович popup.opponent Каргін Анатолій Олексійович popup.opponent Медзатий Дмитро Миколайович popup.opponent Медзатий Дмитро Миколайович Description Дисертацію присвячено вирішенню актуального науково-прикладного завдання розроблення моделей та методів інформаційної технології автономного тестування програмних компонент систем критичного застосування. Проведено дослідження сучасного стану розвитку інформаційних технологій, проаналізовані методи і проведено аналіз стандартів і вимог, що висуваються до розробки програмних засобів систем критичного застосування. Проаналізовано методи та особливості інформаційних технологій тестування систем залізничної автоматизації, функціонального програмного забезпечення. Виконано розроблення моделей автономного тестування ФПЗ МПЦ-У, що засновані на методі статичного тестування програмного забезпечення. Розроблено метод автономного тестування що використовує метод статичного тестування для спеціалізованої мови технологічного програмування ФПЗ МПЦ-У. Запропоновано інформаційна технологія автономного тестування програмних компонент систем критичного застосування, яка забезпечує можливість проведення тестування типових програмних компонентів систем мікропроцесорної централізації за рахунок використання методів статичного тестування. Наведено результати функціонування інтерпретатора вихідного коду з використанням запропонованої інформаційної технології і перевірка його ефективності. Registration Date 2018-09-12 popup.nrat_date 2021-03-17 Close