Вісники та науково-технічні збірники, журнали
Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/12
Browse
3 results
Search Results
Item Система підтримки ситуаційної обізнаності у процесі тестування програмного забезпечення(Видавництво Львівської політехніки, 2020-02-24) Буров, Євген; Микіч, Христина; Верес, Олег; Burov, Yevhen; Mykich, Khrystyna; Veres, Oleh; Національний університет “Львівська політехніка”; Lviv Polytechnic National UniversityДля практичного застосування розроблених методів ідентифікації критичних ситуацій обрано галузь тестування програмного забезпечення, що пов’язано із складністю процесів під час розроблення програмного забезпеченян та високою ціною помилки. Системи тестування програмного забезпечення відіграють центральну роль під час його розроблення, адже використовуються для можливості виправляти помилки на ранньому етапі та впроваджувати нові функції, а також для контролю якості та управління проектами, для відстеження історії помилок. Якісний результат проектування базується на високих вимогах, а не тільки на навичках та знаннях розробника. Для прийняття високоякісних та правильних рішень програміст має мати високий рівень ситуаційної обізнаності. Проаналізовано найвідоміші сучасні методи використання ситуаційної обізнаності, щоб пояснити ключові моменти в усвідомленні ситуації та правильності подання самої ситуації та прийняття рішення. У результаті аналізу було виділено основні критерії, за якими і здійснювалося порівняння. Результати дослідження було зведено у порівняльну таблицю, що дасть змогу чітко визначити, який із методів потрібно використовувати, враховуючи цілі проектування програмного забезпечення. Недоліком проаналізованих методів є те, що вони не дають змоги використовувати в межах поточної системи різні типи ситуацій, що виникають у сучасному середовищі. Сьогодні за стрімкого розвитку інформаціних технологій та великої кількості даних це вкрай необхідно. Саме тому розроблена у роботі система була націлена на розв’язання цієї наукової задачі. Розроблений прототип інформаційної системи дасть змогу розробникам програмного забезпечення співпрацювати, одночасно покращуючи загальну обізнаність про поточний стан системи та взаємодію між розвитком та операціями протягом усього процесу розробки. Подані у роботі методи, на яких базується розроблений протип системи, дають змогу зберігати та використовувати знання про предметну область галузі тестування програмного забезпечення, а також дають можливість використовувати різні типи ситуацій у цілісній формі з врахуванням взаємозалежностей між об’єктами та ситуаціями, поданими у формі відношень. Крім того, застосування онтологій для ідентифікації ситуацій надає додаткові можливості для задання та опрацювання інформації про ситуації шляхом використання структурних особливостей та механізмів логічного виведення онтології. Результати роботи доцільно використовувати для розв’язання задач виявлення критичних ситуацій під тестування програмного забезпечення, що дасть змогу зменшити похибку ідентифікації порівняно із традиційними методами ідентифікації.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.