ТЕСТИРОВАНИЕ ПРОЦЕССА ТРАНСФОРМАЦИИ ФУНКЦИОНАЛЬНЫХ МОДЕЛЕЙ НА ОСНОВЕ ГИБРИДНЫХ МЕТОДОВ
;
Атисков А. Ю.
;
Перминов С. В.
;
Аннотация. Обсуждается задача трансформации формальных моделей IDEF0 в диаграммы классов UML с использованием гибридных методов, включающих онтологическое проектирование правил трансляции. Рассматривается механизм создания правил трансформации и тестирования на соответствие полученной и исходной моделей.
Ключевые слова:
оценка качества, модельное тестирование, трансляция моделей, онтологические правила.
