DOI:
Автор:
Литвинов В.В., Чернігівський національний технологічний університет, м. Чернігів, Україна
Богдан І.В., Чернігівський національний технологічний університет, м. Чернігів, Україна
Слівко К.С., Чернігівський національний технологічний університет, м. Чернігів, Україна
Мова статті: російська
Анотація:
Обґрунтовано необхідність перевірки правильності діаграм на етапі проектування програмного забезпечення. Розглянуто найбільш відомі засоби, що дозволяють проводити верифікацію UML-діаграм. Проведене порівняльне оцінювання існуючих засобів. Основними критеріями оцінювання є відкритість коду, точність перевірки, кількість задіяних методів верифікації.
Ключові слова:
верифікація, діаграма, UML, відкрите програмне забезпечення
Використана література:
1. Режим доступа: http://argouml.tigris.org/.
2. Режим доступа: http://www.visual-paradigm.com/.
3. Макгрегор Дж. Тестирование объектно-ориентированного программного обеспечения : практическое пособие / Дж. Макгрегор, Д. Сайкс ; пер. с англ. – К. : ООО «ТИД ”ДС“», 2002. – 432 с.
4. Хоар Ч. Взаимодействующие последовательные процессы / Ч. Хоар ; пер. с англ. – М. : Мир, 1989. – 264 с.