DSpace JSPUI
DSpace зберігає і дозволяє легкий і відкритий доступ до всіх видів цифрового контенту, включаючи текст, зображення, анімовані зображення, MPEG і набори даних
Дізнатися більше
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://ir.stu.cn.ua/123456789/15262Повний запис метаданих
| Поле DC | Значення | Мова |
|---|---|---|
| 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 |
| Розташовується у зібраннях: | Богдан І. В.: наукові статті Богдан І. В.: наукові статті Богдан І. В.: наукові статті №2 (8) | |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| 271.pdf | стаття | 1,05 MB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.