Вибір Засобу Моделювання Обчислювальних Процесів Для Підвищення Якості Програмного Забезпечення

Abstract

Актуальною проблемою у сфері IT є отримання програмних продуктів (ПП) належної якості. Важливу роль вирішенні цієї проблеми грають інструменти моделювання ПП. Найбільше поширення отримали такі інструменти: технології проектування ПП на основі автоматних моделей, побудованих на кінцевих автоматах (КА), мережі Петрі та уніфікована мова моделювання (UML). Метою даної є підвищення якості ПП за рахунок застосування найкращого зі згаданих інструментів на ранньому етапі проектування ПП. У роботі проводиться огляд та аналіз сучасних засобів (підходів, методів та інструментів), моделювання ПП з метою підвищення його якості, при цьому аналізуються 30 джерел за останні 25 років. Показується, що за ці роки сфера додатків цих інструментів розширилася, проте в теоретичному плані нового нічого не з'явилося. Згадані вище інструменти порівнюються між собою за критерієм найбільшої виразної потужності мови опису процесу моделювання. Показується, що найбільшою виразною потужністю мають мережі Петрі (МП). У той самий час нами пропонується використовувати МП на початку проектування ПП, тобто. на етапі алгоритмізації (розробки обчислювального процесу – ОП). Це дозволяє уникнути безлічі помилок, які усуваються на етапі налагодження програм тільки методом проб і помилок, що сильно подовжує процес налагодження. Для демонстрації можливостей розглянутих інструментів для кожного з них будується своя модель одного і того ж ОП сортування вставками.