DOI:
Автор:
Литвинов В.В., Чернігівський національний технологічний університет, м. Чернігів, Україна
Богдан І.В., Чернігівський національний технологічний університет, м. Чернігів, Україна
Мова статті: російська
Анотація:
Обґрунтовано необхідність створення інструментального засобу верифікації моделей об’єктно-орієнтованого програмного забезпечення, який би максимально точно виконував оцінювання коректності UML-діаграм. Запропоновано автоматизовану систему верифікації моделей об’єктно-орієнтованого програмного забезпечення, яка дозволяє виконувати верифікацію кожної з UML-діаграми, що входить до складу моделі, декількома методами.
Ключові слова:
верифікація, діаграма, UML, метод
Використана література:
The Economic Impacts of Inadequate Infrastructure for Software Testing. NIST Report, May 2002.
Литвинов В. В. Инструментальные средства верификации моделей программного обеспечения / В. В. Литвинов, И. В. Богдан, К. С. Сливко // Вісник Чернігівського державного технологічного університету. – 2013. – № 2. – С. 120–125.
Стандарт ЮМЛ2 [Электронный ресурс]. – Режим доступа: http://www.omg.org/spec/UML/2.5/Beta2/.
Литвинов В. В. Формальная верификация диаграммы классов / В. В. Литвинов, И. В. Богдан // Математичні машини і системи. – 2013. – № 2. – С. 41–47.
Balaban М. Management of Correctness Problems in UML Class Diagrams – Towards a Pattern-based Approach / Balaban М., Maraee А., Stur А. – Beer Sheva : Department of Computer Science, Ben-Gurion University of the Negev, 2002. – 33 р.
Thalheim, B. Fundamentals of Entity-Relationship Modeling / Hartmann, Lenzerini, Nobili, Thalheim // Annals Mathematics and Artificial Intelligence. – 1993. – № 7. – Р. 197–256.
Calvanese, D., Lenzerini, M. On the Interaction between ISA and Cardinality Constraints. In Proceedings of the 10th IEEE International Conference on Data Engineering, Houston, Texas, USA. IEEE Computer Society. – Washington, DC, USA, 1994. – Р. 204–213.
Formal verification of the sequence diagram / Vitaliy Lytvynov, Irina Bogdan // International journal “Information content & processing”. – 2014. – № 1. – С. 79–86.
Макгрегор Дж. Тестирование объектно-ориентированного программного обеспечения : практическое пособие : пер. с англ. / Дж. Макгрегор, Д. Сайкс. – К., 2002. – 432 с.
Прикладная теория цифровых автоматов / К. Г. Самофалов, А. М. Романкевич, В. Н. Валуйский, Ю. С. Каневский, М. М. Пиневич. – К. : Вища школа, 1987. – 374 с.
Литвинов В. В. Тестирование моделей объектно-ориентированного программного обеспечения / В. В. Литвинов, И. В. Богдан // Математичні машини і системи. – 2012. – № 2. – С. 117–125.