Система автоматической генерации отладочных заданий для управляющих программ реального времени

Июль 26, 2022

Главная
Информатика
Система автоматической генерации отладочных заданий для управляющих программ реального времени

Содержание

2. Космический аппарат как сложный технический комплекс Cистема автономной навигации Система терморегулирования Систему энергоснабжения Система телеметрических измерений.
3. СЕАНС - обеспечивает работу изделия, координирует работу нескольких подсистем во времени ДКД обеспечивает функции автономного контроля
4. Графическая структурная схема СИПР МП
5. Базовые принципы и область применения СИПР МП удобный доступ ко всем возможностям СИПР МП из единой
6. Покрытие операторов Покрытие условий Покрытие ветвей условных операторов Покрытие по ветвям/условиям Покрытие по всем условиям Модифицированный
7. Генерация программного кода Генерация с применением шаблонов (напр.: T4, XSLT) Генерация с прямой подстановкой текста Генерация
8. Принципы тестирования макропрограмм Сопровождение отладочных заданий описанием ожидаемого результата Проведение тестов и для неверных входных данных
9. Алгоритм генерации отладочных заданий
10. Пользовательский интерфейс
12. Скачать презентацию

Слайд 2

Космический аппарат как сложный технический комплекс
Cистема автономной навигации
Система терморегулирования
Систему энергоснабжения
Система телеметрических

измерений.

Подсистемы космических аппаратов:

Комплекс бортового программного обеспечения

Системные программы
Прикладные программы
Диспетчерских программы
Сотни программных модулей

Слайд 3

СЕАНС - обеспечивает работу изделия, координирует работу нескольких подсистем во времени

ДКД обеспечивает функции автономного контроля и управления системами изделия

Макропрограммы интегрального управления

Совершение «команд управления спутником»

Слайд 4

Графическая структурная схема СИПР МП

Слайд 5

Базовые принципы и область применения СИПР МП
удобный доступ ко всем возможностям

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

СИПР МП использует последовательное применение следующих принципов:

Слайд 6

Покрытие операторов
Покрытие условий
Покрытие ветвей условных операторов
Покрытие по ветвям/условиям
Покрытие по

всем условиям

Модифицированный метод покрытия по ветвям /условиям

Покрытие программного кода

Слайд 7

Генерация программного кода
Генерация с применением шаблонов
(напр.: T4, XSLT)
Генерация с прямой подстановкой

текста

Генерация объектным моделированием
(напр.: CodeDom)

Методы генерации программного кода

Слайд 8

Принципы тестирования макропрограмм
Сопровождение отладочных заданий описанием ожидаемого результата
Проведение тестов и для

неверных входных данных
Проверка логики программы
Проверка отдельных групп (частей) макропрограммы.

Слайд 9

Алгоритм генерации отладочных заданий

Слайд 10

Пользовательский интерфейс