На основі положень об'єктно-орієнтованої методології, імітаційного моделювання та теорії мереж Петрі розроблено процедуру формалізованого представлення моделі кооперації програмних об'єктів у термінах формального апарату Е-мереж, алгоритм функціонування переходу Е-мережної тестової MUT-моделі взаємодії програмних об'єктів та процедура реєстрації результатів функціонування тестової моделі. За результатами дослідження запропоновано метод синтезу тестових структур взаємодії програмних об'єктів об'єктно-орієнтованого програмного забезпечення, який є основою для автоматизації процесу тестування взаємодії програмних об'єктів із метою виявлення системних й алгоритмічних помилок, а також одержання показників якості, які характеризують такі властивості складних програмних систем, як точність, безвідмовність, функціональна повнота.

  Повний текст PDF - 146.166 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"