Богдан Ірина Валентинівнакандидат технічних наук, доцентhttp://ir.stu.cn.ua/123456789/235612024-03-29T05:45:42Z2024-03-29T05:45:42ZJava технології прикладного програмування : методичні вказівки до виконання лабораторних,розрахунково-графічних робіт та самостійної роботи здобувачів вищої освіти з дисциплін «Java та С# технології прикладного програмування» та «Технології прикладного програмування» для здобувачів вищої освіти першого (бакалаврського) рівня вищої освіти спеціальностей 121 «Інженерія програмного забезпечення» та 123 «Комп’ютерна інженерія»Задорожній, А. О.Богдан, І. В.Войцеховська, М. М.Дружинін, О. О.http://ir.stu.cn.ua/123456789/197052020-08-03T13:52:20Z2020-01-01T00:00:00ZJava технології прикладного програмування : методичні вказівки до виконання лабораторних,розрахунково-графічних робіт та самостійної роботи здобувачів вищої освіти з дисциплін «Java та С# технології прикладного програмування» та «Технології прикладного програмування» для здобувачів вищої освіти першого (бакалаврського) рівня вищої освіти спеціальностей 121 «Інженерія програмного забезпечення» та 123 «Комп’ютерна інженерія»
Задорожній, А. О.; Богдан, І. В.; Войцеховська, М. М.; Дружинін, О. О.
Дані методичні вказівки створені, щоб допомогти отримати практичний досвід по роботі з базовим технологіями Java, технологіями взаємодії з базами даних, web-технологіями, технологіями інтеграції застосунків та технологіями створення web-сервісів так REST-сервісів.
Java технології прикладного програмування : метод. вказівки до виконання лаб., розрах.-граф. робіт та самост. роботи здобувачів вищ. освіти з дисциплін «Java та С# технології прикладного програмування» та «Технології прикладного програмування» для здобувачів вищ. освіти першого (бакалавр.) рівня вищ. освіти спец. 121 «Інженерія програмного забезпечення» та 123 «Комп’ютерна інженерія» / уклад.: А. О. Задорожній, І. В. Богдан, М. М. Войцеховська, О. О. Дружинін. – Чернігів : ЧНТУ, 2020. - 145 с.
2020-01-01T00:00:00ZКласифікація помилок на uml-діаграмах, що виникають в ході розробки it-проектівБогдан, І. В.Задорожній, А. О.http://ir.stu.cn.ua/123456789/176442019-05-27T11:58:56Z2018-01-01T00:00:00ZКласифікація помилок на uml-діаграмах, що виникають в ході розробки it-проектів
Богдан, І. В.; Задорожній, А. О.
Актуальность темы исследования. Одной из самых популярных парадигм при создании программного обеспечения является объектно-ориентированная. Создание качественного объектно-ориентированного программного обеспечения начинается с создания его модели, представленной в виде множества UML-диаграмм, и дальнейшей верификации данной модели. Постановка проблемы. Существует множество различных методов верификации: одни позволяют находить отдельные группы ошибок, другие же выполняют верификацию модели в целом. Однако, для эффективного исследования этих методов необходимо прежде всего определить, какие ошибки позволяют найти те или иные методы. Наличие классификации ошибок, которые могут присутствовать на диаграммах, существенно ускорит процесс идентификации ошибок. Анализ последних исследований и публикаций. Для дальнейшего использования классификации при создании и анализе методов верификации моделей программного обеспечения, классифицировать ошибки лучше всего в зависимости от их сути. На данный момент не существует единой классификации ошибок на всех базовых UML-диаграммах. Выделение неисследованных частей общей проблемы. Таким образом, актуальной является задача создания классификации ошибок на UML-диаграммах, которая основана на анализе сути ошибки. Постановка задачи. Главной целью данной статьи является описание классификации, основанной на анализе сути ошибок, которая бы позволила классифицировать ошибки на базовых диаграммах, к которым принадлежит диаграмма вариантов использования, диаграмма классов, диаграмма последовательности, диаграмма деятельности, диаграмма кооперации, диаграмма состояний и диаграмма компонентов. Изложение основного материала. Представленная классификация ошибок на семи базовых UML-диаграммах дает возможность существенно ускорить процесс идентификации ошибок и, как результат, повысить качество создаваемого объектно-ориентированного программного обеспечения еще на этапе его проектирования. Выводы в соответствии со статьей. В статье предложена классификация ошибок на UML-диаграммах, которая позволяет эффективно исследовать, а также оценивать достоинства и недостатки существующих методов верификации моделей объектно-ориентированного программного обеспечения, тем самым повышая качество создаваемой программы.
Богдан, І. В. Класифікація помилок на uml-діаграмах, що виникають в ході розробки it-проектів / І. В. Богдан, А. О. Задорожний // Технічні науки та технології. – 2018. – № 1 (11). – С. 68-78.
2018-01-01T00:00:00ZЗастосування uml для моделювання та проектування інформаційних систем : методичні вказівки до лабораторного практикуму з дисципліни „Об’єктно-орієнтований аналіз та проектування‖ для студентів напряму підготовки 123 "Комп’ютерна інженерія"Акименко, А. М.Богдан, І. В.Посадська, А. С.http://ir.stu.cn.ua/123456789/169302018-09-21T10:48:29Z2018-01-01T00:00:00ZЗастосування uml для моделювання та проектування інформаційних систем : методичні вказівки до лабораторного практикуму з дисципліни „Об’єктно-орієнтований аналіз та проектування‖ для студентів напряму підготовки 123 "Комп’ютерна інженерія"
Акименко, А. М.; Богдан, І. В.; Посадська, А. С.
Проектування інформаційних систем завжди починається з визначення мети проекту. Основне завдання будь-якого успішного проекту полягає в тому, щоб на момент запуску системи і протягом всього часу її експлуатації можна було забезпечити:
необхідну функціональність системи і ступінь адаптації до умов її функціонування, що постійно змінюються; необхідну пропускну здатність системи; необхідний час реакції системи на запит; безвідмовну роботу системи; простоту експлуатації і підтримки системи; необхідну безпеку. Проектування інформаційних систем охоплює три основні області: проектування об'єктів даних, які будуть реалізовані в базі даних; проектування програм, екранних форм, звітів, які будуть забезпечувати виконання запитів до даних; облік конкретного середовища або технології, а саме: топології ме-
режі, конфігурації апаратних засобів, використовуваної архітектури (файл-сервер або клієнт-сервер), паралельної обробки, розподіленої обробки даних і т.ін.
В реальних умовах проектування - це пошук способу, який задовольняє вимогам функціональності системи засобами наявних технологій з урахуванням заданих обмежень.
Застосування uml для моделювання та проектування інформаційних систем : метод. вказівки до лаб. практикуму з дисципліни „Об’єктно-орієнтований аналіз та проектування" для студентів напряму підгот. 123 "Комп’ютерна інженерія / уклад.: А. М. Акименко, І. В. Богдан, А. С. Посадська. - Чернігів : ЧНТУ, 2018. - 37 с.
2018-01-01T00:00:00ZРазработка методов и инструментальных средств верификации моделей объектно-ориентированных программБогдан, І. В.http://ir.stu.cn.ua/123456789/155112017-12-07T10:01:44Z2015-01-01T00:00:00ZРазработка методов и инструментальных средств верификации моделей объектно-ориентированных программ
Богдан, І. В.
В работе сформулирована проблема нахождения ошибок в объектно-
ориентированном программном обеспечении на максимально ранних этапах его
создания и необходимости повышения качества программ в целом, что достигается
прежде всего за счет выполнения верификации еще на этапе создания модели
программного обеспечения. Так как в большинстве случаев модель объектно-
ориентированного программного обеспечения представляется в виде множества
UML-диаграмм, то были проанализированы существующие методы верификации
UML-диаграмм, а также проведены исследования существующих
инструментальных средств верификации, которые показали, что не существует ни
инструментальных средств, ни методов верификации, которые бы позволили
выявить все группы ошибок на UML-диаграммах.
В результате была предложена собственная классификация ошибок на UML-
диаграммах, что дало возможность определить какие именно группы ошибок не
находят существующие методы и инструменты верификации, и модифицировать
существующие или же предложить собственные методы.
Предложен метод верификации диаграммы последовательности, который
основан на представлении данной диаграммы в виде абстрактного цифрового автомата, и, в отличие от существующих методов верификации данной диаграммы,
позволяет находить ошибки в ветвлениях на ней.
Предложен метод верификации диаграммы последовательности, который
основан на анализе отношения сущность-связь, и, в отличие от существующих,
позволяет находить ошибки отправки синхронных сообщений и ошибки отправки
сообщений не существующим объектам на данной диаграмме. Так, предложенный
метод проверяет, что уничтожение или создание объектов, которые создаются на
время выполнения своих действий, происходит корректно и для них предусмотрены
явные сообщение. Также он проверяет выполняет ли объект-отправитель проверку
предпосылок объекта-получателя, прежде чем отправлять заранее неприемлемо
сообщения. Одновременно с этим проверяется, корректно объект-отправитель
прекращает свою деятельность. Так, согласно определению синхронного сообщения
действия отправителя блокируются до тех пор, пока он не получит ответ.
Предложен метод верификации диаграммы компонентов, который основан на
анализе отношения сущность-связь, и позволяет находить ошибки связи между
компонентами на данной диаграмме.
Усовершенствован путем введения новых ограничений существующий метод
антипаттернов верификации диаграммы классов, что позволило находить ошибки в
описаниях абстрактных классов и ошибки в описаниях вложенных классов на
данной диаграмме. Так, доработанный метод выполняет проверку если в классе
присутствует хотя бы один абстрактный метод, то чтобы и класс был абстрактным.
Также если класс является вложенным, то данный метод выполняет проверку
правильности описания вложенного класса.
Усовершенствован путем введения новых ограничений являющийся одним из
самых эффективных алгоритм Брона-Кербоша поиска клик на графах, что дало
возможность использовать его при поиске особенных конструкций - антипаттернов
на диаграммах классов. Для этого каждый антипаттерн был представлен в виде
одной или нескольких клик на графе, где графом являлась вся диаграмма классов, а
в сам алгоритм было добавлено новое условие, которое проверяет все имеющиеся на
графе клики на совпадение с заданными.
Разработана автоматизированная система верификации моделей объектно-
ориентированного программного обеспечения, в которой комплексно используются
существующие и предложенные подходы и методы верификации, что позволяет
найти большее количество ошибок на UML-диаграммах.
Богдан, И. В. Разработка методов и инструментальных средств верификации моделей объектно-ориентированных программ : дис. ... канд. техн. наук : 05.13.06 / И. В. Богдан. - Чернигов, 2015. - 145 с.
2015-01-01T00:00:00Z