Search academic texts

Information × Registration Number 0407U003923, Candidate dissertation Status к.т.н. Date 20-09-2007 popup.evolution o Title Network model and methods of functional tests construction of hadware-software device in composition of the automated control systems Author Martynyuk Alexandr Nikolaevich, popup.head Polin Eugeniy Leonidovich popup.opponent Крісілов Віктор Анатолійович popup.opponent Скобцов Вадим Юрійович Description Дисертація присвячена розробці інформаційної технології й методів побудови функціональних тестів (ФТ). У роботі проведений аналіз сучасного стану аналітичних моделей і декомпозиційних методів побудови ФТ АПЗ, показане існу-вання невирішених задач. Для рішення даних задач використо-вується підхід до синтезу ФТ на рівні композицій компонент-них автоматів (КА). Запропоновано аналітичні мережну й ієрархічну моделі АПЗ у вигляді систем моделей поведінки, що дозволяють визначити тести у вузлах мереж і переходах ієрархій. На основі моделей розроблені декомпозиційні методи побудови ФТ у вигляді систем експериментних примітивів. Для практичної реалізації прикладної інформаційної технології синтезу ФТ розроблені програми, використовані у системах контролю працездатності АПЗ. Проведено апробацію розроб-лених програмних засобів у рамках госпдоговірних і дослідно-конструкторських робіт, а також у рамках навчального процесу кафедри комп'ютерних інтелектуальних систем і мереж ОНПУ. Registration Date 2007-09-20 popup.nrat_date 2020-04-04 Close