Поддержка процесса тестирования при промышленной разработке программного обеспечения

26.2.3. Уровни управления данными

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

идентификация объектов                          (СС1,СС2)
формирование базовых конфигураций               (СС1)
обеспечение трассируемости                      (СС1,СС2)
фиксация проблем                                (СС1)
управление изменениями (фиксация данных)        (СС1,СС2)
анализ изменений                                (СС1)
вычисление статуса конфигурации                 (СС1)
изменения                                       (СС1,СС2)
обеспечение ограничений доступа                 (СС1,СС2)
контроль загрузочных модулей                    (СС1)
хранение данных                                 (СС1,СС2)

26.3. Управление качеством и конфигурационное управление при разработке сертифицируемого программного обеспечения.

Стандарт DO-178B обеспечивает авиационное сообщество руководящими указаниями, предназначенными для установления в конструктивной манере и с приемлемым уровнем достоверности факта того, что программное обеспечение бортовых авиационных систем и оборудование согласуются с требованиями летной годности. [7, раздел 1].

Процесс конфигурационного управления в данном стандарте рассмотрен в разделах 7 (Процесс конфигурационного управления при разработке программного обеспечения), 11.4 (План конфигурационного управления при разработке программного обеспечения) и 12.1.5 (Соображения о конфигурационном управлении при разработке программного обеспечения).

Основные цели процесса конфигурационного управления, согласно требованиям данного стандарта, включают в себя следующие положения [7, раздел 7.1].

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

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

Сертифицирующим органам предоставляются индексы конфигураций - списки уникальным образом идентифицированных элементов (исходных текстов, файлов данных, объектного и исполняемого кода), входящих в программное обеспечение. Для подтверждения соответствия качества программного обеспечения заданному уровню критичности бортового ПО представляются результаты его тестирования, проведенные в соответствии с требованиями к данному уровню. Процесс конфигурационного управления должен обеспечивать трассируемость всех требований, исходных текстов, тестов и их результатов.

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

Все рассмотренные выше требования являются общими требованиям к процессу КУ, но процесс разработки и выполнения бортового ПО имеет одну особенность - средой разработки служат те или иные компьютеры общего назначения, а средой времени выполнения служит соответствующее системное ПО бортового вычислителя. Стандартом DO-178B выдвигаются требования, учитывающие эту особенность: существуют требования по обеспечению поддержки процесса загрузки объектного кода приложения на бортовой вычислитель, который гарантируюет загрузку исполняемого кода с применением соответствующих мер безопасности, обеспечивающих его неизменность и целостность [7, Раздел 4.2.8].

Таким образом, система конфигурационного управления, удовлетворяющая требованиям стандарта DO-178B, должна обеспечивать идентификацию и трассируемость объектов конфигурационного управления (ОКУ), поддержку создания базовых версий (индексов конфигураций), управление сообщениями о проблемах и вызванных ими изменениях, учет состояния конфигурации и ОКУ, а также обеспечивать процессы резервного копирования и восстановления данных и управление процессом загрузки объектного кода на бортовой вычислитель.