6.5.5. Сопровождение программно-математического обеспечения и вопросы гарантии качества

6.5.5. Сопровождение программно-математического обеспечения и вопросы гарантии качества

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

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

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

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

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

В плане СПМО рассматриваются вопросы идентификации, контроля и учета текущего состояния, а также вопросы, связан-ные с ревизиями и проверками состава и общего построения про-граммных и аппаратурных средств.

В плане СПМО должны быть определены минимальные тре-бования к сопровождению для каждого применения оборудова-ния. На основании этого плана изготовитель должен разработать соответствующую документацию и хранить ее в течение всего жиз-ненного цикла оборудования.

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

СПМО на этапе сертификации и в течение всего периода эк-сплуатации изделия должно предусматривать наличную докумен-

тацию; соглашение относительно маркировки изделия, контроля изменений, учета текущего состояния.

На внешней стороне каждого сменного блока должна быть нанесена маркировка в виде блочного номера. В системе нумерации должны быть воплощены следующие принципы:

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

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

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

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

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

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

Изменение программно-математического обеспечения, не затрагивающее функциональную взаимозаменяемость, требует:

• изменения маркировки статуса программно-математического обеспечения;

• введения в блочный номер соответствующего подномера;

• изменения идентификатора программно-математического обеспечения, вводимого в память модифицированного запоминающего устройства;

• внесения изменений в журнал регистрации состояния блока.

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

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

Таблица 6.3 иллюстрирует требования к изменению маркировки аппаратурного/программного обеспечения после выполнения их доработок.

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

Проведем расшифровку значения блочного номера, показанного в табл. 6.3. Номер блока, указанный на его внешней поверхности:

Вариант модификации, указанный на внешней поверхности блока и в журнале регистрации состояния блока: аппаратуры – 03; программного обеспечения – 06.

Опознавательный номер комплекта документации, указываемый только в каталоге комплектации: 503.

Блочный номер, указанный в каталоге комплектации:

СПМО действует в течение всего периода существования оборудования или системы, но ответственность за его выполнение может передаваться.

Производитель оборудования отвечает за СПМО до поставки изделия пользователю, он же продолжает сопровождение в течение всего срока существования оборудования.

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

Таблица 6.3

проверок и ревизий в ключевых точках процесса разработки изделия и внесения в него изменений.

Такое определение указанных проверок и ревизий, их график и последовательность проведения приводятся в плане гарантии качества программно-математического обеспечения (ГКПМО).

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

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

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