Вісник № 01. Системний аналіз, управління та інформаційні технології
Постійне посилання колекціїhttps://repository.kpi.kharkov.ua/handle/KhPI-Press/53562
Переглянути
Документ Дослідження методів класифікації типів даних при розробці програмного забезпечення комп'ютерної інженерії(Національний технічний університет "Харківський політехнічний інститут", 2021) Павленко, Євген Петрович; Бутенко, Володимир Михайлович; Губін, Вадим Олександрович; Лубенець, Сергій ВасильовичУ роботі розглядаються проблеми підвищення ефективності розробки програмного забезпечення, зокрема, питання зменшення термінів розробки програм та використання автоматизованого синтезу програм, що дозволить уникнути доопрацювання вихідного продукту. Програмне забезпечення потрібно протестувати разом з іншими системними компонентами у всіх поєднаннях, які можуть зустрітися. Тестування займає багато часу, бо приховані помилки виявляються при несподіваних взаємодіях програмних компонентів. При структурному аналізі діаграми потоків даних не є кінцевим результатом, це інструмент розробників. Спочатку будуються діаграми, а потім розробляються механізми, що забезпечують необхідну поведінку системи. Розвивається графічний підхід до вирішення проблеми автоматизації розробки програмних засобів, який базується на залученні візуальних форм представлення програм. Для будь-якого програмного об’єкта можна виділити кінцеве число станів, в яких він перебуває в кожен момент часу. Хід виконання програми тоді асоціюється з переходами об’єкта з одного стану в інший. Граф замінює текстову форму опису алгоритму програми, при цьому реалізується подання алгоритму в візуальній формі. Специфікація структур даних, а також установка міжмодульного інтерфейсу за даними відділена від опису структури алгоритму і елементів управління. Використовуються базові модулі і типи даних. Базові модулі є локальними обчислюваними функціями, на основі яких породжуються всі інші об’єкти технології. Типи даних описують синтаксичний і семантичний аспекти побудови даних, що використовуються в базових функціях. Розглянуто алгоритми пошуків маршрутів на орієнтованих графах. Під час визначення маршрутів з кореневої вершини в кінцеві використано властивості алгебри тризначної логіки. На підставі розглянутого підходу, а також з урахуванням його недоліків, був запропонований метод класифікації типів даних, заснований на реалізації часткового перебору маршрутів графу зв’язків програми та спосіб проектування ПЗ на його основі з урахуванням мінімізації часу і вартості проекту.