Проверка модели на наличие/отсутствие ошибок в создании модели

Проверка модели на наличие/отсутствие ошибок поможет выявить ее неточности и недостатки, нежелательные с точки зрения последующей генерации программ.

В StarUML существует не зависящее от языка средство проверки моделей, применяемое для обеспечения корректности модели перед генерацией программного кода.

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

Для проверки модели следует выполнить операцию главного меню: Model VerifyModel. Результаты верификации разработанной модели отображаются в окне (рисунок 5):

Рисунок 5- Окно верификации

Результаты проверки разработанной модели на наличие ошибок отображаются в окне журнала. Прежде чем приступить к генерации текста программного кода разработчику следует добиться устранения всех ошибок и предупреждений, о чем должно свидетельствовать чистое окно журнала (рисунок 6).

Рисунок 6- Вид журнала при отсутствии ошибок по результатам проверки модели

К наиболее распространенным ошибкам относятся, например, сообщения на диаграмме последовательности или кооперативной диаграмме, не отображенные на операцию, либо объекты этих диаграмм, не отображенные на класс.