Вісники та науково-технічні збірники, журнали
Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/12
Browse
4 results
Search Results
Item Система ідентифікації проблемних ситуацій тестування програмного забезпечення(Видавництво Львівської політехніки, 2019-02-26) Буров, Є. В.; Микіч, Х. І.; Верес, О. М.; Литвин, В. В.; Burov, Eugene; Mykich, Khrystyna; Veres, Oleh; Lytvyn, Vasyl; Національний університет “Львівська політехніка”; Lviv Polytechnic National UniversityДосліджено та розроблено методи та засоби ідентифікації проблемних ситуацій на базі онтологій із використанням механізмів логічного виведення, які застосовано в інтелектуальних системах підтримки прийняття рішень для завдань тестування програмного забезпечення. Розглянуто актуальну проблему тестування програмного забезпечення із використанням онтологічного моделювання для своєчасного виявлення помилок та поліпшення якості розроблюваного програмного продукту. Використання онтологічного моделювання для подання та ідентифікації ситуацій створює додаткові можливості для розв’язання задачі ідентифікації та обмеження. Перевагою є здатність застосування логічного виведення та використання аксіом під час міркувань про ситуації. Це забезпечує перспективу розроблення методів ідентифікації ситуацій, що ґрунтуються на логічному виведенні на основі інформації про поточний стан предметної області та знань про цю область. Використана модель завдань дає змогу не лише автоматизувати виконання деяких простих завдань, але й на основі наявних знань про ситуації здійснювати логічне міркування у системах тестування. Онтологічне подання знань про предметну область дало змогу формалізувати знання про проблемні ситуації, що виникають у проєкті, а застосування розроблених методів ідентифікації ситуацій у системі забезпечило вчасне виявлення загрозливих ситуацій та формування рекомендацій щодо їх уникнення. Всі ці фактори сприяють поліпшенню якості програмного продукту під час його розроблення. У роботі подано онтологію галузі тестування програмного забезпечення, а також наведено алгоритм роботи системи та здійснено моделювання на базі UML. Розроблено архітектуру системи ідентифікації ситуацій та програмний комплекс для аналізу і моделювання проблемних ситуацій на прикладі систем підтримки прийняття рішень галузі тестування, центральним компонентом яких є інструментальний засіб для онтологічного моделювання – Protégé. Для розширення функціональних можливостей редактора Protégé використано два плагіни, за допомогою яких здійснено моделювання за допомогою мов SWRL, SQWRL. Результати роботи доцільно використовувати для розв’язування задач виявлення критичних ситуацій під час розроблення та тестування програмного забезпечення, повторного використання інформації в базах знань організацій з розроблення програмного забезпечення, що поліпшить якість створюваного програмного забезпечення.Item Формальна модель опрацювання знань у системах із ситуаційною обізнаністю(Видавництво Львівської політехніки, 2017-03-28) Буров, Є. В.; Микіч, Х. І.; Національний університет “Львівська політехніка”Розглянуто моделі, методи формалізації та моделювання процесу прийняття рішень у системах із ситуаційною обізнаністю. Наведено математичну формалізацію понять ситуації. Подано алгебраїчну модель, яка дає змогу використовувати різні методи моделювання ситуаційної обізнаності, що ґрунтується на фреймворку “Алгебра систем”. Проаналізовано поняття дескриптивної логіки та її переваги і недоліки. Розроблено відображення між алгебраїчною моделлю, дескриптивною логікою та моделлю інтерпретованих систем.Item Методи подання та опрацювання знань у системах зі ситуаційною обізнаністю(Видавництво Національного університету «Львівська політехніка», 2015) Микіч, Х. І.; Буров, Є. В.Розглянуто методи подання та опрацювання знань у системах зі ситуаційною обізнаністю. Наведено визначення та математичну формалізацію понять ситуації та ситуаційної обізнаності. Також проаналізовано комп’ютерний процес отримання ситуаційної обізнаності з використанням онтологій. Описано базову онтологію та архітектурні фреймворки для систем онтологічного моделювання. In the article, the methods of representation and processing of knowledge in systems with situational awareness are described. The definitions of concepts and mathematical formalization of situation and situational awareness are discussed. Also, the process of getting situational awareness using ontologies is analyzed. We describe the core ontologies and ontological frameworks for modeling systems with situational awareness.Item Концептуальна модель інтелектуальної інформаційної cистеми малого підприємства(Видавництво Львівської політехніки, 2014) Верес, О. М.; Микіч, Х. І.Досліджено необхідність проектування управлінських систем та їхнього застосування в бізнесі. Подано визначення, історію розвитку, принципи та функції CRM-систем. Для побудови концептуальної моделі предметної області використано діаграми класів UML, а для моделювання поведінки об’єктів системи під час переходу з одного стану в інший використано діаграму станів. Розроблено множину продукційних правил інтелектуальної складової інформаційної системи управління підприємством. The article studies the need to design management systems and their application in business. Definitions, history of development, principles and functions of CRM-systems. To build a conceptual domain model class diagram UML was used, and to simulate the behavior of objects in the transition from one state to another state diagram was used. A set of production rules of intellectual component of information management system was worked out.