СОДЕРЖАНИЕ
ВВЕДЕНИЕ
ГЛАВА 1 АНАЛИЗ СОВРЕМЕННОГО СОСТОЯНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ АВТОМАТИЗАЦИИ ИСПЫТАНИЙ КА СВЯЗИ И НАВИГАЦИИ.
1.1 Особенности автоматизации испытаний КА связи и н авигации
1.2 Актуальность задачи исследования.
1.3 Постановка задачи исследования.
1.4 Выводы по главе
ГЛАВА 2 ИССЛЕДОВАНИЕ И ФОРМАЛИЗАЦИЯ ПРОЦЕССА ИСПЫТАНИЙ, РАЗРАБОТКА МЕТОДОВ ПОСТРОЕНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ АВТОМАТИЗАЦИИ ИСПЫТАНИЙ КА СВЯЗИ И НАВИГАЦИИ.
2.1 Исследование и формализация процесса испытаний.
2.1.1 Параметры функционирования
2.1.2 Управляющие воздействия.
2.1.3 Процесс функционирования
2.2 Разработка методов построения ПО автоматизации испытаний КА связи и
НАВИГАЦИИ
2.2.1 Разработка метода построения программного обеспечения автоматизации испытаний
2.2.2 Разработка метода построения структурного редактора.
2.2.3 Разработка метода построения интерпретатора циклограмм
2.3 ВЫВОДЫ 0 ГЛАВЕ.
ГЛАВА 3 РАЗРАБОТКА ПРОБЛЕМНООРИЕНТИРОВАННОГО ЯЗЫКА ИСПЫТАНИЙ
3.1 Определение требований и разработка структуры языка
3.1.1 Определение требований
3.1.2 Синтаксис.
3.1.3 Структура языка.
3.1.4 Области действия и программные единицы
3.1.5 Механизм подпрограмм
3.1.6 Правила передачи параметров в циклограмму.
3.1.7 Структурные конструкции.
3.2 Разработка множеств базовых понятий языка
3.2.1 Базовое множество операций языка
3.2.2 Базовые множества реакций и алгоритмов дежурного контроля.
3.2.3 Базовое множество переменных
3.3 Выводы по главе
ГЛАВА 4 МОДЕЛИРОВАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ АВТОМАТИЗАЦИИ ИСПЫТАНИЙ
4.1 Обоснование выбора моделирующего средства.
4.2 Моделирование программного обеспечения автоматизации испытании
4.2.1 Разработка модели метода разделения функциональностей
4.2.2 Разработка модели функциональности редактирования.
4.2.3 Разработка модели функциональности интерпретации
4.2.4 Разработка модели языка испытаний.
4.2.5 Разработка модели структурного редактора циклограмм.
4.2.6 Разработка модели шгтерпрстатора циклограмм.
4.3 Выводы по главе
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ
- Київ+380960830922