ИСТИНА

Программа сопоставления каталога требований Requality с полуформальной моделью требований получает на вход каталога требований Requality и полуформальную модель на языке моделирования Reka и генерирует отчёт о составе и деталях отличий между каталогом требований и спецификацией требований, полученной из полуформальной модели. Данный отчёт позволяет отслеживать как изменения, вносимые в полуформальную модель, повлияют на уже зафиксированные части каталога требований, находящиеся под управлением системы управления требованиями Requality.