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

Інформація × Реєстраційний номер 0407U003923, Кандидатська дисертація На здобуття к.т.н. Дата захисту 20-09-2007 Статус Запланована Назва роботи Мережні моделі і методи побудови функціональних тестів апаратно-програмних засобів у складі автоматизованих систем управління Здобувач Мартинюк Олександр Миколайович, Керівник Полін Євгеній Леонідович Опонент Крісілов Віктор Анатолійович Опонент Скобцов Вадим Юрійович Опис Дисертація присвячена розробці інформаційної технології й методів побудови функціональних тестів (ФТ). У роботі проведений аналіз сучасного стану аналітичних моделей і декомпозиційних методів побудови ФТ АПЗ, показане існу-вання невирішених задач. Для рішення даних задач використо-вується підхід до синтезу ФТ на рівні композицій компонент-них автоматів (КА). Запропоновано аналітичні мережну й ієрархічну моделі АПЗ у вигляді систем моделей поведінки, що дозволяють визначити тести у вузлах мереж і переходах ієрархій. На основі моделей розроблені декомпозиційні методи побудови ФТ у вигляді систем експериментних примітивів. Для практичної реалізації прикладної інформаційної технології синтезу ФТ розроблені програми, використовані у системах контролю працездатності АПЗ. Проведено апробацію розроб-лених програмних засобів у рамках госпдоговірних і дослідно-конструкторських робіт, а також у рамках навчального процесу кафедри комп'ютерних інтелектуальних систем і мереж ОНПУ. Дата реєстрації 2007-09-20 Додано в НРАТ 2020-04-04 Закрити