2021

Постійне посилання на розділhttps://repository.kpi.kharkov.ua/handle/KhPI-Press/52264

Переглянути

Результати пошуку

Зараз показуємо 1 - 1 з 1
  • Ескіз
    Документ
    Дослідження методів класифікації типів даних при розробці програмного забезпечення комп'ютерної інженерії
    (Національний технічний університет "Харківський політехнічний інститут", 2021) Павленко, Євген Петрович; Бутенко, Володимир Михайлович; Губін, Вадим Олександрович; Лубенець, Сергій Васильович
    У роботі розглядаються проблеми підвищення ефективності розробки програмного забезпечення, зокрема, питання зменшення термінів розробки програм та використання автоматизованого синтезу програм, що дозволить уникнути доопрацювання вихідного продукту. Програмне забезпечення потрібно протестувати разом з іншими системними компонентами у всіх поєднаннях, які можуть зустрітися. Тестування займає багато часу, бо приховані помилки виявляються при несподіваних взаємодіях програмних компонентів. При структурному аналізі діаграми потоків даних не є кінцевим результатом, це інструмент розробників. Спочатку будуються діаграми, а потім розробляються механізми, що забезпечують необхідну поведінку системи. Розвивається графічний підхід до вирішення проблеми автоматизації розробки програмних засобів, який базується на залученні візуальних форм представлення програм. Для будь-якого програмного об’єкта можна виділити кінцеве число станів, в яких він перебуває в кожен момент часу. Хід виконання програми тоді асоціюється з переходами об’єкта з одного стану в інший. Граф замінює текстову форму опису алгоритму програми, при цьому реалізується подання алгоритму в візуальній формі. Специфікація структур даних, а також установка міжмодульного інтерфейсу за даними відділена від опису структури алгоритму і елементів управління. Використовуються базові модулі і типи даних. Базові модулі є локальними обчислюваними функціями, на основі яких породжуються всі інші об’єкти технології. Типи даних описують синтаксичний і семантичний аспекти побудови даних, що використовуються в базових функціях. Розглянуто алгоритми пошуків маршрутів на орієнтованих графах. Під час визначення маршрутів з кореневої вершини в кінцеві використано властивості алгебри тризначної логіки. На підставі розглянутого підходу, а також з урахуванням його недоліків, був запропонований метод класифікації типів даних, заснований на реалізації часткового перебору маршрутів графу зв’язків програми та спосіб проектування ПЗ на його основі з урахуванням мінімізації часу і вартості проекту.