Похожие презентации:
Система автоматической генерации отладочных заданий для управляющих программ реального времени
1.
Система автоматической генерации отладочных заданийдля управляющих программ реального времени
Вуколов Роман
5-ИЗО-44
Самарский Государственный технический университет
2.
Космический аппарат как сложный технический комплексПодсистемы космических аппаратов:
Cистема автономной навигации
Система терморегулирования
Систему энергоснабжения
Система телеметрических измерений.
Комплекс бортового программного обеспечения
Системные программы
Прикладные программы
Диспетчерских программы
Сотни программных модулей
3.
Макропрограммы интегрального управления• СЕАНС - обеспечивает работу
изделия, координирует работу
нескольких подсистем во времени
• ДКД обеспечивает функции
автономного контроля и управления
системами изделия
Совершение «команд
управления спутником»
4.
Графическая структурная схема СИПР МП5.
Базовые принципы и область применения СИПР МПСИПР МП использует последовательное применение следующих принципов:
• удобный доступ ко всем возможностям СИПР МП из единой
интегрирующей среды разработки;
• минимизация возможности появления ошибок на первоначальных
этапах;
• максимальная наглядности и удобство представления информации
для конечного пользователя;
• возможность использования системы инженерами, не связанными с
программированием;
6.
Покрытие программного кодаПокрытие операторов
Покрытие по
ветвям/условиям
Покрытие условий
Покрытие ветвей
условных операторов
Покрытие по всем
условиям
Модифицированный
метод покрытия по
ветвям /условиям
7.
Генерация программного кодаКлючевые
компоненты
для
генерации
программного кода:
-
правила предметной области
-
метаданные предметной области
-
шаблоны программного кода
Методы генерации программного кода
Генерация с применением
шаблонов
(напр.: T4, XSLT)
Генерация с прямой
подстановкой текста
Генерация объектным
моделированием
(напр.: CodeDom)
8.
Принципы тестирования макропрограмм1. Сопровождение отладочных заданий описанием ожидаемого
результата
2. Проведение тестов и для неверных входных данных
3. Проверка логики программы
4. Проверка отдельных групп (частей) макропрограммы.