Вісники та науково-технічні збірники, журнали
Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/12
Browse
2 results
Search Results
Item Система підтримки ситуаційної обізнаності у процесі тестування програмного забезпечення(Видавництво Львівської політехніки, 2020-02-24) Буров, Євген; Микіч, Христина; Верес, Олег; Burov, Yevhen; Mykich, Khrystyna; Veres, Oleh; Національний університет “Львівська політехніка”; Lviv Polytechnic National UniversityДля практичного застосування розроблених методів ідентифікації критичних ситуацій обрано галузь тестування програмного забезпечення, що пов’язано із складністю процесів під час розроблення програмного забезпеченян та високою ціною помилки. Системи тестування програмного забезпечення відіграють центральну роль під час його розроблення, адже використовуються для можливості виправляти помилки на ранньому етапі та впроваджувати нові функції, а також для контролю якості та управління проектами, для відстеження історії помилок. Якісний результат проектування базується на високих вимогах, а не тільки на навичках та знаннях розробника. Для прийняття високоякісних та правильних рішень програміст має мати високий рівень ситуаційної обізнаності. Проаналізовано найвідоміші сучасні методи використання ситуаційної обізнаності, щоб пояснити ключові моменти в усвідомленні ситуації та правильності подання самої ситуації та прийняття рішення. У результаті аналізу було виділено основні критерії, за якими і здійснювалося порівняння. Результати дослідження було зведено у порівняльну таблицю, що дасть змогу чітко визначити, який із методів потрібно використовувати, враховуючи цілі проектування програмного забезпечення. Недоліком проаналізованих методів є те, що вони не дають змоги використовувати в межах поточної системи різні типи ситуацій, що виникають у сучасному середовищі. Сьогодні за стрімкого розвитку інформаціних технологій та великої кількості даних це вкрай необхідно. Саме тому розроблена у роботі система була націлена на розв’язання цієї наукової задачі. Розроблений прототип інформаційної системи дасть змогу розробникам програмного забезпечення співпрацювати, одночасно покращуючи загальну обізнаність про поточний стан системи та взаємодію між розвитком та операціями протягом усього процесу розробки. Подані у роботі методи, на яких базується розроблений протип системи, дають змогу зберігати та використовувати знання про предметну область галузі тестування програмного забезпечення, а також дають можливість використовувати різні типи ситуацій у цілісній формі з врахуванням взаємозалежностей між об’єктами та ситуаціями, поданими у формі відношень. Крім того, застосування онтологій для ідентифікації ситуацій надає додаткові можливості для задання та опрацювання інформації про ситуації шляхом використання структурних особливостей та механізмів логічного виведення онтології. Результати роботи доцільно використовувати для розв’язання задач виявлення критичних ситуацій під тестування програмного забезпечення, що дасть змогу зменшити похибку ідентифікації порівняно із традиційними методами ідентифікації.Item Система ідентифікації проблемних ситуацій тестування програмного забезпечення(Видавництво Львівської політехніки, 2019-02-26) Буров, Є. В.; Микіч, Х. І.; Верес, О. М.; Литвин, В. В.; Burov, Eugene; Mykich, Khrystyna; Veres, Oleh; Lytvyn, Vasyl; Національний університет “Львівська політехніка”; Lviv Polytechnic National UniversityДосліджено та розроблено методи та засоби ідентифікації проблемних ситуацій на базі онтологій із використанням механізмів логічного виведення, які застосовано в інтелектуальних системах підтримки прийняття рішень для завдань тестування програмного забезпечення. Розглянуто актуальну проблему тестування програмного забезпечення із використанням онтологічного моделювання для своєчасного виявлення помилок та поліпшення якості розроблюваного програмного продукту. Використання онтологічного моделювання для подання та ідентифікації ситуацій створює додаткові можливості для розв’язання задачі ідентифікації та обмеження. Перевагою є здатність застосування логічного виведення та використання аксіом під час міркувань про ситуації. Це забезпечує перспективу розроблення методів ідентифікації ситуацій, що ґрунтуються на логічному виведенні на основі інформації про поточний стан предметної області та знань про цю область. Використана модель завдань дає змогу не лише автоматизувати виконання деяких простих завдань, але й на основі наявних знань про ситуації здійснювати логічне міркування у системах тестування. Онтологічне подання знань про предметну область дало змогу формалізувати знання про проблемні ситуації, що виникають у проєкті, а застосування розроблених методів ідентифікації ситуацій у системі забезпечило вчасне виявлення загрозливих ситуацій та формування рекомендацій щодо їх уникнення. Всі ці фактори сприяють поліпшенню якості програмного продукту під час його розроблення. У роботі подано онтологію галузі тестування програмного забезпечення, а також наведено алгоритм роботи системи та здійснено моделювання на базі UML. Розроблено архітектуру системи ідентифікації ситуацій та програмний комплекс для аналізу і моделювання проблемних ситуацій на прикладі систем підтримки прийняття рішень галузі тестування, центральним компонентом яких є інструментальний засіб для онтологічного моделювання – Protégé. Для розширення функціональних можливостей редактора Protégé використано два плагіни, за допомогою яких здійснено моделювання за допомогою мов SWRL, SQWRL. Результати роботи доцільно використовувати для розв’язування задач виявлення критичних ситуацій під час розроблення та тестування програмного забезпечення, повторного використання інформації в базах знань організацій з розроблення програмного забезпечення, що поліпшить якість створюваного програмного забезпечення.