ДОСЛІДЖЕННЯ МЕТОДІВ КЛАСИФІКАЦІЇ ТИПІВ ДАНИХ ПРИ РОЗРОБЦІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ КОМП’ЮТЕРНОЇ ІНЖЕНЕРІЇ

Анотація

У роботі розглядаються проблеми підвищення ефективності розробки програмного забезпечення, зокрема, питання зменшення термінів розробки програм та використання автоматизованого синтезу програм, що дозволить уникнути доопрацювання вихідного продукту. Програмне забезпечення потрібно протестувати разом з іншими системними компонентами у всіх поєднаннях, які можуть зустрітися. Тестування займає багато часу, бо приховані помилки виявляються при несподіваних взаємодіях програмних компонентів. При структурному аналізі діаграми потоків даних не є кінцевим результатом, це інструмент розробників. Спочатку будуються діаграми, а потім розробляються механізми, що забезпечують необхідну поведінку системи. Розвивається графічний підхід до вирішення проблеми автоматизації розробки програмних засобів, який базується на залученні візуальних форм представлення програм. Для будь-якого програмного об’єкта можна виділити кінцеве число станів, в яких він перебуває в кожен момент часу. Хід виконання програми тоді асоціюється з переходами об’єкта з одного стану в інший. Граф замінює текстову форму опису алгоритму програми, при цьому реалізується подання алгоритму в візуальній формі. Специфікація структур даних, а також установка міжмодульного інтерфейсу за даними відділена від опису структури алгоритму і елементів управління. Використовуються базові модулі і типи даних. Базові модулі є локальними обчислюваними функціями, на основі яких породжуються всі інші об’єкти технології. Типи даних описують синтаксичний і семантичний аспекти побудови даних, що використовуються в базових функціях. Розглянуто алгоритми пошуків маршрутів на орієнтованих графах. Під час визначення маршрутів з кореневої вершини в кінцеві використано властивості алгебри тризначної логіки. На підставі розглянутого підходу, а також з урахуванням його недоліків, був запропонований метод класифікації типів даних, заснований на реалізації часткового перебору маршрутів графу зв’язків програми та спосіб проектування ПЗ на його основі з урахуванням мінімізації часу і вартості проекту.

Ключові слова: програмне забезпечення, комп’ютерна інженерія, інформаційні системи, компоненти, частковий перебір маршрутів графу, витрати на розробку.