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

1.

Система автоматической генерации отладочных заданий
для управляющих программ реального времени
Вуколов Роман
5-ИЗО-44
Самарский Государственный технический университет

2.

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

3.

Макропрограммы интегрального управления
• СЕАНС - обеспечивает работу
изделия, координирует работу
нескольких подсистем во времени
• ДКД обеспечивает функции
автономного контроля и управления
системами изделия
Совершение «команд
управления спутником»

4.

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

5.

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

6.

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

7.

Генерация программного кода
Ключевые
компоненты
для
генерации
программного кода:
-
правила предметной области
-
метаданные предметной области
-
шаблоны программного кода
Методы генерации программного кода
Генерация с применением
шаблонов
(напр.: T4, XSLT)
Генерация с прямой
подстановкой текста
Генерация объектным
моделированием
(напр.: CodeDom)

8.

Принципы тестирования макропрограмм
1. Сопровождение отладочных заданий описанием ожидаемого
результата
2. Проведение тестов и для неверных входных данных
3. Проверка логики программы
4. Проверка отдельных групп (частей) макропрограммы.

9.

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

10.

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

11.

ВСЕМ СПАСИБО, ВСЕ СВОБОДНЫ!