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