Материал: DO178 Учебное пособие_в183

В процессной модели ISO схема этих процессов приведена на Рис. 61.

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

Рис. 61. Процессы разработки в модели ISO 9001

• обзор процесса верификации ПО совершен;

• входными данными для процесса является данный элемент конфигурационного управления;

• анализ отслеживаемости для входных данных завершен.

41. Цели процессных деятельностей

Для каждой из перечисленных в документе DO-178B деятельностей определен ряд целей, достижение которых должно проверяться либо самими разработчиками, либо независимыми от них лицами. В приводимых далее таблицах целей по видам деятельностей используются следующие обозначения:

● — цель должна достигаться, а проверка ее достижения должна осуществляться независимыми от разработчиков лицами;

○ — цель должна достигаться, а ее достижение может проверяться самими разработчиками;

пусто — достижение цели оставлено на усмотрение разработчиков.

Всего документ DO-178С определяют 69 различных целей, как это показано в Табл. 24.

Табл. 24. Количество целей для процессных деятельностей в DO-178С

Распределение целей по видам процессных деятельностей приведено в Табл. 25. Дополнительно документ предлагает 105 рекомендуемых деятельностей по достижению этих целей, в процессе чего создаются различные документы.

Табл. 25. Распределение целей по видам деятельностей

В проекте определяется один или более жизненный цикл разработки путем выбора деятельностей для каждого процесса, задания их порядка и распределения ответственности по каждой деятельности.

Порядок исполнения процессных деятельностей определяется свойствами проекта, такими как: системная функциональность и сложность, размер и сложность ПО, устойчивость требований, использование ранее полученных результатов, стратегии разработки и доступность аппаратного обеспечения. Типичная схема крупных проектных деятельностей (фаз проекта) приведена на Рис. 62.

Рис. 62. Обобщенная схема процессных деятельностей

42. Рабочие документы и категории их контроля

Результатом исполнения любой деятельности является набор документов, которые создаются в процессе ее исполнения. Каждый такой документ имеет определенную категорию контроля:

1 — контроль над документом осуществляется в полном объеме;

2 — контроль над документом осуществляется в минимальном объеме;

пусто — контроль над документом оставлен на усмотрение разработчиков.

Перечень создаваемых рабочих документов включает, как минимум, следующие документы:

1. Executable Object Code — Исполняемый объектный код

2. Plan for Software Aspects of Certification — План по сертификации программных аспектов

3. Problem Reports — Отчеты о проблемах.

4. Software Accomplishment Summary — Сводка результатов по ПО

5. Software Code Standards — Стандарты кодирования ПО

6. Software Configuration Index — Индекс конфигурации ПО

7. Software Configuration Management Plan — План по конфигурационному управлению ПО

8. Software Configuration Management Records — Документы конфигурационного управления ПО

9. Software Design Description — Описание проекта ПО

10. Software Design Standards — Стандарты проектирования ПО

11. Software Development Plan — План по разработке ПО

12. Software Life Cycle Environment Configuration Index — Индекс конфигурационной среды жизненного цикла ПО

13. Software Quality Assurance Plan — План по обеспечению качества ПО

14. Software Quality Assurance Records — Документы обеспечения качества ПО

15. Software Requirements Data — Данные по требованиям к ПО

16. Software Requirements Standards — Стандарты требований к ПО

17. Software Verification Cases And Procedures — Тестовые примеры и процедуры верификации ПО

18. Software Verification Plan — План по верификации ПО

19. Software Verification Results — Результаты верификации ПО

20. Source Code — Исходный код

21. Trace Data — Данные отслеживания

22. Parameter Data Item File — Файл параметризованных данных

Информация в данных, циркулирующих между процессами ЖЦ, должна быть:

• однозначной – unambiguous – допускает единственную интерпретацию;

• полной – complete – включены необходимые требования и описания, ответы определены для диапазонов корректных входных данных, рисунки имеют подписи, определены сроки и единицы измерения;

• проверяемой – verifiable – может быть проверена на корректность человеком или инструментальным средством;

• непротиворечивой – consistent – не содержит противоречий;

• допускающей возможность изменения – modifiable – структурирована в стиле, который обеспечивает полные, согласованные и корректные изменения этой информации, сохраняющие ее структуру;

• отслеживаемой – traceable – могут быть выявлены источники ее частей;

• в определенной форме – form – обеспечены быстрое нахождение и обзор этой информации в течение всего срока службы бортовой системы;

• контролируемой через управление конфигурацией – configuration management controls – определена в плане ПО с указанием процесса, ее создающего, с атрибутом конфигурационного контроля СС2 как минимум

• с перечнем содержания –content – сопровождает документ и рассматривается вместе с ним.

43. Процесс планирования по

Процессы планирования создают следующие документы:

1. План по аспектам сертификации ПО – описывает представление методов разработки государственному органу сертификации для согласования и методы определения соответствия ПО документу DO-178.

2. План по разработке ПО – определяет ЖЦ ПО и среду разработки ПО.

3. План по верификации ПО – определяет средства для достижения целей процессов верификации.

4. План по конфигурационному управлению ПО – определяет средства для достижения целей процессов конфигурационного управления.

5. План по обеспечению качества ПО – определяет средства для достижения целей процессов обеспечения качества.

Табл. 26. Цели процессов планирования