UA RU EN
ISSN 2225-7551

DOI:

Автор:

Литвинов В.В., Чернігівський національний технологічний університет, м. Чернігів, Україна

Богдан І.В., Чернігівський національний технологічний університет, м. Чернігів, Україна

Мова статті: російська

Анотація:

Обґрунтовано необхідність створення інструментального засобу верифікації моделей об’єктно-орієнтованого програмного забезпечення, який би максимально точно виконував оцінювання коректності UML-діаграм. Запропоновано автоматизовану систему верифікації моделей об’єктно-орієнтованого програмного забезпечення, яка дозволяє виконувати верифікацію кожної з UML-діаграми, що входить до складу моделі, декількома методами.

Ключові слова:

верифікація, діаграма, UML, метод

Використана література:

  1. The Economic Impacts of Inadequate Infrastructure for Software Testing. NIST Report, May 2002.

  2. Литвинов В. В. Инструментальные средства верификации моделей программного обеспечения / В. В. Литвинов, И. В. Богдан, К. С. Сливко // Вісник Чернігівського державного технологічного університету. – 2013. – № 2. – С. 120–125.

  3. Стандарт ЮМЛ2 [Электронный ресурс]. – Режим доступа: http://www.omg.org/spec/UML/2.5/Beta2/.

  4. Литвинов В. В. Формальная верификация диаграммы классов / В. В. Литвинов, И. В. Богдан // Математичні машини і системи. – 2013. – № 2. – С. 41–47.

  5. 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 р.

  6. Thalheim, B. Fundamentals of Entity-Relationship Modeling / Hartmann, Lenzerini, Nobili, Thalheim // Annals Mathematics and Artificial Intelligence. – 1993. – № 7. – Р. 197–256.

  7. 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.

  8. Formal verification of the sequence diagram / Vitaliy Lytvynov, Irina Bogdan // International journal “Information content & processing”. – 2014. – № 1. – С. 79–86.

  9. Макгрегор Дж. Тестирование объектно-ориентированного программного обеспечения : прак­тическое пособие : пер. с англ. / Дж. Макгрегор, Д. Сайкс. – К., 2002. – 432 с.

  10. Прикладная теория цифровых автоматов / К. Г. Самофалов, А. М. Романкевич, В. Н. Валуйский, Ю. С. Каневский, М. М. Пиневич. – К. : Вища школа, 1987. – 374 с.

  11. Литвинов В. В. Тестирование моделей объектно-ориентированного программного обеспечения / В. В. Литвинов, И. В. Богдан // Математичні машини і системи. – 2012. – № 2. – С. 117–125.

Переглянути статтю    Завантажити pdf