Публікація: Дослідження методів тестування програмного забезпечення на основі моделей
Завантаження...
Дата
2020
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
Анотація
Метою роботи є дослідження проблем у галузі тестування на основі
моделей, що перешкоджає поширеною цієї техніки, і створення методу
моделювання, який не вимогливим, інтуїтивним способом допомагає дозволяє ефективно працювати зі складністю моделей. Методологією дослідження є наука проєктування, значною частиною якої є систематичний огляд літератури — спосіб навмисного та цілеспрямованого пошуку, відбору, оцінки та узагальнення наукових доказів та рішень для відповіді на конкретне дослідницьке питання таким чином, що є прозорим і відтворюваним. Витяги із літератури слугують складовими блоками створюваного методу моделювання.
Опис
Ключові слова
тестування на основі моделей, формальні методи, опанування складності, мережа Петрі, кластеризація, проєктування моделей, метод моделювання
Бібліографічний опис
Кащенко Ю. Р. Дослідження методів тестування програмного забезпечення на основі моделей : пояснювальна записка до атестаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 121- Інженерія програмного забезпечення / Ю. Р. Кащенко ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2020. – 47 с.