Руководство DO-178C: Введение в сертификацию RTCA DO-178
Содержание
Словарь терминов
|
Сокращения
|
Условия использования
|
Определение
|
|---|---|---|
|
CC
|
Покрытие кода
|
Мера степени, в которой исходный код программной системы был протестирован посредством выполнения конкретных тестовых случаев.
|
|
CSCI
|
Элемент конфигурации программного обеспечения компьютера
|
Набор элементов программного обеспечения, предназначенных для разработки, тестирования и поставки как единое целое.
|
|
DAL
|
Уровень гарантии проектирования
|
Классификация, используемая в DO-178C для классификации элементов программного обеспечения на основе их важности для общей безопасности системы.
|
|
DCL
|
Уровень связи данных
|
Мера степени взаимозависимости между двумя программными модулями или компонентами на основе данных, которыми они обмениваются.
|
|
ДО-178С
|
Вопросы программного обеспечения при сертификации бортовых систем и оборудования
|
Стандарт, опубликованный RTCA, Inc., содержит руководство по разработке и сертификации программного обеспечения для бортовых систем.
|
|
FAA
|
Федеральное управление гражданской авиации
|
Регулирующий орган в Соединенных Штатах отвечает за регулирование и надзор за гражданской авиацией в стране.
|
|
FMEA
|
Анализ видов и последствий отказов
|
Систематический метод, используемый для выявления и анализа возможных режимов отказа системы, компонента или процесса и их последствий.
|
|
HLR
|
Требования высокого уровня
|
Общие заявления о том, что программная система должна выполнять, как правило, указываются в начале процесса разработки.
|
|
IMA
|
Интегрированная модульная авионика
|
Подход к системной архитектуре, который объединяет несколько функций авионики в общую аппаратную платформу для уменьшения веса, размера и требований к мощности.
|
|
LP
|
Низкоуровневые требования
|
Подробные заявления, определяющие поведение и функциональные возможности отдельных программных компонентов, основанные на требованиях высокого уровня.
|
|
МКДЦ
|
Покрытие измененного состояния/решения
|
Критерий структурного тестирования, требующий независимой проверки каждого условия в формулировке решения, что приводит к оценке всех возможных результатов.
|
|
MTTR
|
Среднее время для ремонта
|
Среднее время, необходимое для исправления отказавшей программной системы или компонента и восстановления его нормального рабочего состояния.
|
|
OOT
|
Объектно-ориентированная технология
|
Подход к разработке программного обеспечения, в котором особое внимание уделяется использованию объектов, классов и наследования для проектирования и реализации программных систем.
|
|
PDR
|
Предварительная проверка дизайна
|
Формальная проверка, проводимая для оценки первоначального проекта программной системы или компонента, обычно выполняемая перед этапом детального проектирования.
|
|
PPS
|
Стандарт производительности процесса
|
Предопределенный набор показателей и критериев, используемых для оценки производительности и эффективности процессов разработки программного обеспечения.
|
|
QA
|
Гарантия качества
|
Набор действий и процессов, направленных на обеспечение того, чтобы программные продукты и системы соответствовали заданным требованиям и стандартам качества.
|
|
RCS
|
Сводка изменений требований
|
Документ, который фиксирует и отслеживает изменения, внесенные в системные требования программного обеспечения на протяжении всего процесса разработки.
|
|
РТКА
|
Радиотехническая комиссия по аэронавтике
|
Организация, разрабатывающая на основе консенсуса рекомендации и стандарты для авиационной отрасли.
|
|
SCMP
|
План управления конфигурацией программного обеспечения
|
Документ, определяющий процедуры и инструменты, используемые для управления и контроля элементов конфигурации программного обеспечения на протяжении всего жизненного цикла разработки.
|
|
СКСК
|
Критичность программного обеспечения и классификация безопасности
|
Процесс присвоения уровней гарантии проектирования (DAL) и классификаций безопасности программным элементам на основе их влияния на безопасность системы.
|
|
СКА
|
Гарантия качества программного обеспечения
|
Систематический мониторинг и оценка различных процессов разработки программного обеспечения для обеспечения соответствия заранее установленным стандартам качества.
|
|
SSD
|
Данные о безопасности программного обеспечения
|
Набор артефактов и свидетельств, используемых для демонстрации соответствия целям и требованиям безопасности программного обеспечения.
|
|
SSC
|
Дело о безопасности программного обеспечения
|
Документ, в котором представлен структурированный аргумент, подкрепленный доказательствами, демонстрирующий, что программная система соответствует заданным целям безопасности.
|
|
STP
|
План тестирования программного обеспечения
|
Документ, в котором излагаются подход, объем, цели и график тестирования программной системы или ее компонентов.
|
|
SV
|
Структурное покрытие
|
Мера степени, в которой структура программной системы, такая как операторы, решения и условия, была проверена во время тестирования.
|
|
TLD
|
Дизайн верхнего уровня
|
Высокоуровневый архитектурный проект программной системы, предоставляющий обзор ее структуры, компонентов и интерфейсов.
|
|
ТЦН-3
|
Нотация тестирования и управления тестированием, версия 3
|
Стандартизированный язык тестирования, используемый для определения и выполнения тестовых случаев для программных систем.
|
|
ВиВ
|
Верификация и валидация
|
Процесс оценки и проверки того, что программная система или ее компонент соответствуют заданным требованиям и работают должным образом.
|
|
ВСКС
|
Система управления версиями и версиями
|
Программный инструмент или система, используемая для управления и контроля версий исходного кода программного обеспечения и связанных артефактов.
|
Не забудьте поделиться этим постом!
Главы
1. Введение в бортовой стандарт
2. Процесс сертификации DO-178
3. Инструменты и обучение DO-178C
4. Расширенные темы DO-178C
5. Ресурсы DO-178C
6. глоссарий
Выходите на рынок быстрее с Visure
- Обеспечить соответствие нормативным требованиям
- Обеспечить полную прослеживаемость
- Оптимизация разработки
