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

Інформація × Реєстраційний номер 0214U003652, 0111U002294 , Науково-дослідна робота Назва роботи Методологія інтелектуального автоматизованого оцінювання відповідності програмного забезпечення систем критичного застосування вимогам Назва етапу роботи Керівник роботи Поморова Оксана Вiкторiвна, Дата реєстрації 11-02-2014 Організація виконавець Хмельницький національний університет Опис етапу Науково-дослідна робота присвячена розробці методології інтелектуального автоматизованого оцінювання відповідності програмного забезпечення систем критичного застосування вимогам. Об'єктом дослідження є автоматизований процес оцінювання відповідності вимогам програмного забезпечення систем критичного застосування. Предметом дослідження є теоретичні основи, моделі, методи та засоби інтелектуального оцінювання програмного забезпечення систем критичного застосування на предмет врахування вимог. Метою науково-дослідної роботи є вирішення актуальної наукової проблеми розроблення методології інтелектуального автоматизованого оцінювання відповідності програмного забезпечення систем критичного застосування вимогам для підвищення його якості і надійності. Для досягнення мети використовувались теоретичні основи проектування ПЗ, теорія решіток, теорія інваріантів, теорія діагностування КС, теорія штучного інтелекту, методи системного аналізу, теорія баз знань, методи теорії надійності технічних систем, теорія систем підтримки прийняття рішень. У результаті досліджень розроблено теоретичні основи автоматизованого оцінювання повноти вимог ПЗ критичного застосування, ряд алгоритмів інтелектуального автоматизованого оцінювання відповідності ПЗ систем критичного застосування вимогам. Розроблено методи: аналізу повноти даних, що регламентують вимоги; аналізу повноти нефункційних вимог до ПЗ систем критичного застосування; формування профайлу вимог до програмного забезпечення критичного застосування; верифікації профайлу вимог; формування профайлу результатів аналізу ПЗ; верифікації профайлу результатів аналізу ПЗ. Розроблено: автоматизований метод пошуку відповідності елементів профайлів; інтелектуальний метод оцінювання відповідності профайлів вимог; методику оцінки ефективності системи інтелектуального автоматизованого оцінювання відповідності вимогам програмного забезпечення систем критичного застосування. Результати наукових досліджень впроваджені у навчальному процесі на кафедрі системного програмування Хмельницького національного університету та на підприємстві ТОВ "ІТТ" (м. Хмельницький). Розроблені моделі та методи рекомендуються до впровадження на підприємствах, що розробляють засоби технічного діагностування та використовують програмне забезпечення систем критичного застосування. Результати досліджень рекомендовані до застосування у галузі технічної діагностики спеціалізованих КС. Практична значимість проекту - розроблення програмних засобів для незалежної верифікації ПЗ, що у сукупності забезпечить підвищення якості ПЗ критичного застосування. Опис продукції Розроблено теоретичні основи автоматизованого оцінювання повноти вимог програмного забезпечення критичного застосування, інтелектуальний метод аналізу повноти даних, що регламентують вимоги, нейромережний метод формування інверсних вимог до ПЗ в залежності від специфіки предметної галузі, модель відображення повноти нефункційних вимог до ПЗ систем критичного застосування, зокрема вимог безвідмовності та безпеки ПЗ систем критичного застосування, критерії оцінки вимог та інтелектуальну модель представлення вимог до ПЗ. Розроблено методи та засоби оцінки ефективності системи інтелектуального автоматизованого оцінювання програмного забезпечення систем критичного застосування. Система побудована у вигляді web-сервісу Автори роботи Іванчишин Дмитро Олександрович Гнатчук Єлизавета Геннадіївна Говорущенко Тетяна Олександрівна Кльоц Юрій Павлович Крищук Андрій Федорович Лисенко Сергій Миколайович Мостовий Сергій Володимирович Поморова Оксана Вікторівна Тітова Віра Юріївна Додано в НРАТ 2020-04-02 Закрити