Верификация моделей объектно-ориентированных программ: проверка на непротиворечивость и согласованность

Abstract

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

Постановка проблемы. Верификации подлежит как само программное обеспечение, так и его модель, которая в случае с объектно-ориентированным программным обеспечением представлена множеством UML-диаграмм.

Анализ последних исследований и публикаций. Практически все из существующих на данный момент методов верификации моделей объектно-ориентированных программ позволяют выполнить верификацию исключительно отдельных диаграмм, не проверяя при этом всю модель в целом на непротиворечивость ее составляющих.

Выделение нерешенных ранее частей общей проблемы. Таким образом, актуальной является задача проверки на непротиворечивость и согласованность всех UML-диаграмм, входящих в состав создаваемого объектно-ориентированного программного обеспечения.

Постановка задачи. Главной целью данной статьи является описание условий и ограничений, выполнение которых позволит обеспечить согласованность и непротиворечивость между UML-диаграммами внутри модели объектно-ориентированного программного обеспечения.

Изложение основного материала. Так как диаграмма вариантов использования описывает требования к программному обеспечению, то непротиворечивость перехода от данной диаграммы к диаграмме классов проверить нельзя. Диаграммы взаимодействия и поведения строятся на основе диаграммы классов, поэтому необходимо проверить согласованность и непротиворечивость перехода от диаграммы классов к данным диаграммам. Диаграмма компонентов также создается на основании диаграммы классов, таким образом следует проверить корректность перехода от диаграммы классов к диаграмме компонентов, а потом – от диаграммы компонентов к диаграмме развертывания.

Выводы. В статье предложены условия и ограничения, проверка и выполнение которых позволит обеспечить согласованность и непротиворечивость между UML-диаграммами внутри конкретной модели объектно-ориентированного программного обеспечения.