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

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

Автор: Коварцев, Александр Николаевич

Шифр специальности: 05.13.12

Научная степень: Докторская

Год защиты: 1999

Место защиты: Самара

Количество страниц: 281 с. ил

Артикул: 321795

Автор: Коварцев, Александр Николаевич

Стоимость: 250 руб.

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

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


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

Рекомендуемые диссертации данного раздела

28.06.2016

+ 100 бесплатных диссертаций

Дорогие друзья, в раздел "Бесплатные диссертации" добавлено 100 новых диссертаций. Желаем новых научных ...

15.02.2015

Добавлено 41611 диссертаций РГБ

В каталог сайта http://new-disser.ru добавлено новые диссертации РГБ 2013-2014 года. Желаем новых научных ...


Все новости

Время генерации: 0.206, запросов: 244