Рассмотрены принципы построения представления программного кода в виде некоторого графа. Показано, что синтез такого графа может быть проведен с использованием методов, основанных на теории программных алгебр. В качестве универсального и синтаксически независимого средства представления программного кода предложено использовать алгоритмические алгебры. Рассмотрен пример синтеза графа задач для кода на языке С.

Розглянуто принципи представлення програмного коду у вигляді деякого графа. Показано, що синтез такого графа може бути проведений з використанням методів теорії програмних алгебр. Як універсальний синтаксичний незалежний засіб представлення програмного коду запропоновано використовувати алгоритмічні алгебри. Розглянуто приклад синтезу графа задач для коду на мові С.

In paper principles of construction of representation of a programm code in the form of some graph are considered. It is shown, that the synthesis of such graph can be led with usage of the meth-ods based on the theory of programm algebras. As general-purpose and syntactically an independent means of representation of a programm code it is offered to use algorithmic algebras. The instance of a synthesis of graph of problems for a code in language of С is in-process considered.

Розглянуто різні типи людино-машинних інтерфейсів і запропоновано акцентувати увагу в ході їх розробки на розв'язання задач, поставлених користувачем, згідно з концепцією IUI. Розроблено модель людино-машинної системи та способи побудови інтелектуального середовища допомоги користувачу з використанням бази знань сценаріїв. Такий підхід значною мірою застосовано у спеціалізованих системах, призначених для незрячих користувачів, а також у складних системах.

Розглянуто основні переваги та недоліки найбільш розповсюджених засобів доступу незрячих до ПК. Запропоновано структуру та функції слухового середовища програмування, за допомогою якого вони зможуть розробляти програми разом із зрячими програмістами.

Рассмотрены вопросы построения планирующей экспертной подсистемы помощи, предназначенной для обучения объектно-ориентированному программированию (ООП). Предложено построить систему управления на основе планирующей экспертной системы (ЭС). Использование планирующей экспертной подсистемы помощи позволяет существенно облегчить взаимодействие пользователя с программной системой. ЭС для помощи пользователю строится на основе интеграции модели задач, модели поддержки пользователя. Разработана база знаний для проведения лабораторных работ по ООП.

Построена информационная технология приобретения знаний для экспертной системы поддержки пользователя на основе алгоритмических алгебр. Рассмотрены вопросы синтеза базы знаний на основе схемы алгоритма. Использование не интерпретированных схем алгоритмической алгебры Дейкстры позволяет настраивать базу знаний на любую решаемую пользователем задачу.

Рассмотрены подходы к проектированию экспертной системы поддержки пользователя. Сформулированы основные теоретические положения, на которых основывается разработка базы знаний для экспертной системы. Разработаны методы сбора статистики о действиях пользователя, а также структура экспертной системы поддержки пользователя.

Предложены подходы к проектированию среды поддержки разработчика в процессе отладки программного обеспечения (ПО). Рассмотрены существующие решения в области тестирования ПО. На основании анализа сформулирована задача построения среды поддержки разработчика, независимой от синтаксических конструкций конкретного языка программирования. Задачами данной среды является визуализация процесса отладки ПО, автоматизированный поиск ошибок, а также конвертация существующих исходных текстов на одном языке программирования в исходный текст на другом языке программирования. Базой для построения такой среды является граф, ориентированный на функциональную структуру программы. Предложена структурная схема среды, описаны основные алгоритмы ее функционирования.

Рассмотрены вопросы построения транзакционной модели поведения пользователя корпоративной информационной системы (КИС). Для построения такой модели предложено использовать аппарат теории систем массового обслуживания - марковские модели. Предложен критерий классификации КИС на основе марковских моделей.

Розглянуто питання побудови транзакційної моделі поведінки користувача корпоративної інформаційної системи (КІС). Для побудови такої моделі запропоновано використовувати апарат теорії систем масового обслуговування - марковські моделі. Запропоновано критерій класифікації КІС на основі марковських моделей.

The article represents the transaction model of corporate information system (CIS) user behaviour development. It is offered to use the scientific definition of the queuing theory Ц Markov models for such models construction. The CIS classification criteria based on the Markov models is offered.

Предложена формальная модель для автоматизированного анализа программного обеспечения в процессе отладки и тестирования при помощи экспертной системы. Рассмотрены вопросы интеграции такой модели в экспертную систему поддержки разработчика. Предлагаемая модель позволяет в дальнейшем разработать формальные правила, позволяющие выявлять наиболее существенные ошибки в функционировании программного обеспечения.

Рассмотрены методы повышения производительности информационных систем, построенных на базе СУБД. Предложено использовать метод настройки параметров СУБД для сокращения времени ответа и уменьшения ресурсоемкости операций по настройке СУБД. Для выработки управляющих воздействий на СУБД предложена структурная параметрическая модель. Для описания структуры базы данных и поведения пользователя в системе предложена поведенческая модель. Для получения значений конфигурационных параметров для СУБД в заданных условиях функционирования предложено выполнять отображение параметрической модели на поведенческую модель. Рассмотрена архитектура и алгоритм построения операционного профиля БД.

Предложен автоматизированный метод, позволяющий расширить число диагностических параметров и получать диагностическое заключение с большей точностью. Участие удаленных консультантов в формировании диагноза значительно повышает объективность результатов.

Предложен алгоритм автоматизированного построения графа задач для программного кода с использованием алгоритмических алгебр. На основании анализа графа строятся классы эквивалентности для тестирования программы. Сформулированы принципы анализа такого графа. Использование предложенного метода позволяет реализовать автоматизированное построение классов эквивалентных тестов и сократить время, используемое для построения тестов, за счёт уменьшения количества исполняемого программного кода.

Отмечено, что основной задачей тестирования является установление соответствия программы и ее спецификации. Этот процесс представляется достаточно сложным и требующим автоматизации. Основными проблемами при этом является большая разветвленность процесса решения задачи, большое количество тестовых наборов, а также отсутствие формальных критериев, позволяющих однозначно оценить соответствие программы и спецификации. Предложено использование для тестирования программного обеспечения новой потоковой модели - гибридных ресурсных сетей. Использование данного механизма позволяет существенно упростить и автоматизировать процесс тестирования программного обеспечения, сведя его к задаче поиска подобия между изображениями. Использование предлагаемого подхода в автоматизированных системах тестирования позволяет формализовать критерии, по которым возможно установить соответствие между программной и спецификацией.

Предложена модель для тестирования программного обеспечения на основе гибридных ресурсных сетей. Определено понятие десятичного эквивалента структуры данных. Представлен метод проведения тестирования на основе гибридных ресурсных сетей, десятичного эквивалента и дифференциального исчисления. Представлена архитектура системы для автоматизированного тестирования и верификации программного обеспечения (ПО). Рассмотрены одни из основных компонентов системы: менеджер задач, визуальный редактор графов с применением силовых алгоритмов позиционирования вершин графа в визуальном редакторе и редактор спецификации. Спроектирована архитектура визуального редактора графов с применением шаблонов проектирования. Предложена реализация менеджера задач в виде RESTful веб-сервиса.