выполняют заданные функции и не выполняют не заданные операции. Результаты этой проверки сводятся в «План испытаний программно-математического обеспечения». Проверка блоков проводится в двух направлениях: проверка логики и проверка вычислений.

Целью проверки логической части программы является обнаружение и устранение ошибок программирования, связанных с возможностью ненормального хода программы, а именно:

• остановом или зацикливанием;

• принятием неправильных логических решений;

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

• отсутствием логических операций с пропуском входных данных.

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

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

В ходе испытаний проверяются:

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

• временная диаграмма;

• заданная последовательность событий (выставка и повторная выставка общих управляющих флажков; выставка переменных в исходное положение);

• возобновление вычислений при прерываниях;

• возможность нежелательных режимов работы контуров с обратными связями;

• разделение функций, имеющих различные категории критичности.

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

• неправильный уровень обработки прерываний;

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

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

• конфликтные ситуации в каналах передачи данных или при распределении ресурсов;

• отказ встроенного тест-контроля;

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

• отказ выполнить проверку в контрольной точке;

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

• ошибки в технических требованиях к такому взаимодействию.

Для проведения проверки совместной работы аппаратуры и программно-математического обеспечения используются:

• моделирование в реальном масштабе времени;

• контроль степени использования центрального процессора;

• анализ отказных режимов работы (сбои, переходные процессы и отказы в аппаратуре);

• введение в аппаратуру отказов;

• введение максимальных расчетных ограничений. Проверка совместного функционирования программного и

аппаратурного обеспечения состоит из:

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

• демонстрации того, что данная комбинация аппаратуры и программного обеспечения в условиях эксплуатации отвечает требованиям к программно-математическому обеспечению.

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

Испытания для санкционирования эксплуатационной пригодности системы выполняются после завершения всех проверок на соответствие предъявляемым требованиям и охватывают:

• демонстрацию соответствия системы требованиям в эксплуатационных условиях и при имитации изменения характеристик летательного аппарата в допускаемых пределах;

• демонстрацию соответствия системы предъявляемым требованиям в специфических условиях окружающей среды (например при электромагнитных помехах, переходных процессах и перерывах в электропитании и т. д.);

• летные испытания.

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

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

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

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

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

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

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

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

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

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

Рассмотрение вопросов, связанных с сопровождением про-граммно-математического обеспечения,