Мартинюк О. М. Мережні моделі і методи побудови функціональних тестів апаратно-програмних засобів у складі автоматизованих систем управління

English version

Дисертація на здобуття ступеня кандидата наук

Державний реєстраційний номер

0407U003923

Облікова картка дисертації

0407U003923.pdf

Здобувач

Спеціальність

  • 05.13.06 - Інформаційні технології

20-09-2007

Спеціалізована вчена рада

Д 41.052.01

Одеський національний політехнічний університет

Анотація

Дисертація присвячена розробці інформаційної технології й методів побудови функціональних тестів (ФТ). У роботі проведений аналіз сучасного стану аналітичних моделей і декомпозиційних методів побудови ФТ АПЗ, показане існу-вання невирішених задач. Для рішення даних задач використо-вується підхід до синтезу ФТ на рівні композицій компонент-них автоматів (КА). Запропоновано аналітичні мережну й ієрархічну моделі АПЗ у вигляді систем моделей поведінки, що дозволяють визначити тести у вузлах мереж і переходах ієрархій. На основі моделей розроблені декомпозиційні методи побудови ФТ у вигляді систем експериментних примітивів. Для практичної реалізації прикладної інформаційної технології синтезу ФТ розроблені програми, використовані у системах контролю працездатності АПЗ. Проведено апробацію розроб-лених програмних засобів у рамках госпдоговірних і дослідно-конструкторських робіт, а також у рамках навчального процесу кафедри комп'ютерних інтелектуальних систем і мереж ОНПУ.

Читати повністю

Файли

aref.doc

aref.doc

dissertation--DissertationA.doc

dissertation--MartinyukLIKAct.jpg

dissertation--MartynyukONPUSpravka.jpg

dissertation--MartynyukRTIAct.jpg

dissertation--MartyukTelecardSpravka.jpg

Схожі дисертації

0424U000107

Ковирьова Олександра Валеріївна

Моделі і інструментальні засоби експресної діагностики для застосування в біології та медицині

0524U000111

Гончаренко Тетяна Андріївна

Методологічні основи формування єдиного інформаційного середовища для автоматизації об’єктно-просторових систем в проектах будівництва

0524U000108

Лях Ігор Михайлович

Методологічні основи інформаційної технології обробки даних експресії генів та її застосування в галузі біоінформатики

0524U000074

Шишацький Андрій Володимирович

Інтелектуальні методи управління засобами завадозахисту систем радіозв'язку в умовах дестабілізуючих впливів

0524U000069

Гнатчук Єлизавета Геннадіївна

Теоретичні та прикладні засади інформаційної технології підтримки прийняття медичних рішень з врахуванням цивільно-правових підстав