Автоматизация разработки и тестирования программных средств на основе технологии графосимволического программирования

• Автор: Коварцев, Александр Николаевич
• Шифр специальности: 05.13.12
• Научная степень: Докторская
• Год защиты: 1999
• Место защиты: Самара
• Количество страниц: 281 с. : ил

ВВЕДЕНИЕ. ГСП. Базовые модули. Типы базовых модулей. Объекты технологии ГСП. Акторы. Агрегаты. Объекты типа i i. Программирование в ГСП. Интеррогативное управление. Концептуальная модель информационного интерфейса . Информационный интерфейс базовых модулей. Информационный интерфейс агрегатов. Информационный интерфейс ЕХЕмодулей. Выводы и основные результаты. Конструирование агрегатов ГСП. Классификация данных объектов ГСП. Декомпозиция агрегатов. Алгебра трехзначной логики выделения классификационных признаков. Построение множества вычислительных маршрутов. Эффективность алгоритма АЧП. Классификация ошибочных ситуаций. Адаптивный алгоритм тестирования акторов. Тестирование агрегатов технологии ГСП. Оценка надежности объектов в технологии ГСП. По Колмогорову состояния суть конструктивные объекты 6, под которыми в случае технологии графосимволического программирования можно понимать ансамбли конкретизаций структур данных входных или вычисляемых, используемых в алгоритме. О Р. О1 в О2 иф1 и т.


На машинах Колмогорова алгоритм описывается с помощью оператора непоседственной переработки Ог 6. Несколько упрощая ситуацию, устройство оператора Ог можно интерпретировать как композицию локальных вычислимых функций у Колмогорова локальных операторов Пг , У. Для композиции локальных функций удобно пользоваться геометрической схемой так называемым графом состояний. Определим граф состояний С как ориентированный помеченный г раф, вершины которого суть состояния, а дуги указывают разрешенные направления переходов объекта из одних состояний в другие. Каждая вершина графа
помечается соответствующей локальной вычислимой функцией Рк. Одна из вершин графа, соответствующая начальному состоянию, объявляется начальной вершиной и, таким обратом, фаф оказывается инициальным. Переходы на графе состояний реализуются под воздействием событий, которые определяются текущим состоянием объекта О и достигнутой, к этому моменту времени, конкретизации структур данных О. Для реализации процесса управления введем множество предикатов Р , ,. Событие, реализующее переход на графе состояний С, инициируется, если модель объекта О на текущем шаге работы алгоритма находится в состоянии 5, и соответствующий дуге предикат Ру0 принял значение истинности. В связи с чем все дуги, исходящие из одной вершины, помечаются различными натуральными числами, определяющими их приоритеты. Отметим, что принятое уточнение обусловлено ресурсными ограничениями, свойственными однопроцессорной организации ЭВМ. В разделе 2. Таким образом, граф С Р,Р. Здесь отношение инцидентности.