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

Богдан, І. В.

Головна сторінка IRChNUT
→
ПЕРІОДИЧНІ ВИДАННЯ НУ «Чернігівська політехніка»
→
Технічні науки та технології: науковий журнал
→
2017
→
№2 (8)
→
Перегляд матеріалів

dc.contributor.author	Богдан, І. В.
dc.date.accessioned	2015-09-22T12:38:53Z
dc.date.accessioned	2017-10-29T19:46:29Z
dc.date.available	2015-09-22T12:38:53Z
dc.date.available	2017-10-29T19:46:29Z
dc.date.issued	2017
dc.identifier.uri	http://ir.stu.cn.ua/123456789/15262
dc.description	Богдан, И. В. Верификация моделей объектно-ориентированных программ: проверка на непротиворечивость и согласованность / И. В. Богдан // Технічні науки та технології. – 2017. – № 2 (8). – C. 110-115.	en_US
dc.description.abstract	Актуальность темы исследования. Качество является важнейшей характеристикой любого программного обеспечения. Для обеспечения высокого качества создаваемой программы необходимо выполнение ряда процедур, одной из основных среди которых является верификация. Постановка проблемы. Верификации подлежит как само программное обеспечение, так и его модель, которая в случае с объектно-ориентированным программным обеспечением представлена множеством UML-диаграмм. Анализ последних исследований и публикаций. Практически все из существующих на данный момент методов верификации моделей объектно-ориентированных программ позволяют выполнить верификацию исключительно отдельных диаграмм, не проверяя при этом всю модель в целом на непротиворечивость ее составляющих. Выделение нерешенных ранее частей общей проблемы. Таким образом, актуальной является задача проверки на непротиворечивость и согласованность всех UML-диаграмм, входящих в состав создаваемого объектно-ориентированного программного обеспечения. Постановка задачи. Главной целью данной статьи является описание условий и ограничений, выполнение которых позволит обеспечить согласованность и непротиворечивость между UML-диаграммами внутри модели объектно-ориентированного программного обеспечения. Изложение основного материала. Так как диаграмма вариантов использования описывает требования к программному обеспечению, то непротиворечивость перехода от данной диаграммы к диаграмме классов проверить нельзя. Диаграммы взаимодействия и поведения строятся на основе диаграммы классов, поэтому необходимо проверить согласованность и непротиворечивость перехода от диаграммы классов к данным диаграммам. Диаграмма компонентов также создается на основании диаграммы классов, таким образом следует проверить корректность перехода от диаграммы классов к диаграмме компонентов, а потом – от диаграммы компонентов к диаграмме развертывания. Выводы. В статье предложены условия и ограничения, проверка и выполнение которых позволит обеспечить согласованность и непротиворечивость между UML-диаграммами внутри конкретной модели объектно-ориентированного программного обеспечения.	en_US
dc.language.iso	ru	en_US
dc.publisher	Чернігів: ЧНТУ	en_US
dc.relation.ispartofseries	Технічні науки та технології; № 2 (8)
dc.subject	об’єктно-орієнтоване програмне забезпечення	en_US
dc.subject	верифікація	en_US
dc.subject	модель	en_US
dc.subject	узгодженість	en_US
dc.subject	несуперечливість	en_US
dc.subject	UML-діаграма	en_US
dc.subject	diagram	en_US
dc.subject	verification	en_US
dc.subject	model	en_US
dc.subject	объектно-ориентированное программное обеспечение	en_US
dc.subject	верификация	en_US
dc.subject	модель	en_US
dc.subject	согласованность	en_US
dc.subject	непротиворечивость	en_US
dc.subject	UML-диаграмма	en_US
dc.title	Верификация моделей объектно-ориентированных программ: проверка на непротиворечивость и согласованность	en_US
dc.title.alternative	Верифікація моделей об’єктно-орієнтованих програм: перевірка на несуперечливість та узгодженість	en_US
dc.title.alternative	Verification of models of object-oriented programs: checking for non-opinionity and consistency	en_US
dc.type	Article	en_US
dc.description.abstractalt1	Верифікація є однією з основних процедур забезпечення якості програмного забезпечення. У випадку з об’єктно-орієнтованим програмним забезпеченням верифікації підлягає як сама програма, так і її модель, що представлена множиною UML-діаграм. Існує досить багато різних методів верифікації UML-діаграм, однак жоден з них не перевіряє на несуперечливість та узгодженість діаграми, що входять до складу тієї ж самої моделі. Стаття присвячена опису умов та обмежень, виконання яких дозволить забезпечити узгодженість та несуперечливість між UML-діаграмами всередині моделі об’єктно-орієнтованого програмного забезпечення.	en_US
dc.description.abstractalt2	Urgency of the research. Quality is an essential characteristic of any software. To ensure the high quality of the created program, it is necessary to perform a number of procedures, one of the main among which is verification. Target setting. Verification is performed to both the software itself and its model, which in the case of object-oriented software is represented by a variety of UML diagrams. Actual scientific researches and issues analysis. Nearly all of the existing methods of verification of models of object-oriented programs allow you to verify only individual diagrams without checking the entire model as a whole for the consistency of its components. Uninvestigated parts of general matters defining. Accordingly, the problem of checking for consistency of all UML diagrams that are a part of the created object-oriented software is actual. The research objective. The main purpose of this article is to describe the conditions and constraints, the implementation of which will ensure the consistency between UML diagrams within the object-oriented software model. The statement of basic materials. Since the use case diagram describes the software requirements, the consistency of the transition from a given diagram to a class diagram can not be verified. Diagrams of interaction and behavior are built on the basis of a class diagram, so it is important to check the consistency of the transition from the class diagram to these diagrams. The component diagram is also created based on the class diagram, so it is compulsory to check the correctness of the transition from the class diagram to the component diagram, and then - from the component diagram to the deployment diagram. Conclusions. The article represents conditions and limitations, the verification and the implementation of which will ensure consistency between UML diagrams within a particular model of object-oriented software.	en_US