ISSN 0021-3454 (печатная версия)
ISSN 2500-0381 (онлайн версия)
Меню

11
Содержание
том 60 / НОЯБРЬ, 2017
СТАТЬЯ
УДК 004.41

ТЕСТИРОВАНИЕ ПРОЦЕССА ТРАНСФОРМАЦИИ ФУНКЦИОНАЛЬНЫХ МОДЕЛЕЙ НА ОСНОВЕ ГИБРИДНЫХ МЕТОДОВ

Подъячев А. Ю.
;


Атисков А. Ю.
;


Перминов С. В.
;


Аннотация. Обсуждается задача трансформации формальных моделей IDEF0 в диаграммы классов UML с использованием гибридных методов, включающих онтологическое проектирование правил трансляции. Рассматривается механизм создания правил трансформации и тестирования на соответствие полученной и исходной моделей.
Ключевые слова:

оценка качества, модельное тестирование, трансляция моделей, онтологические правила.