Требования к программному обеспечению бортовой аппаратуры и систем КТ-178B (1015672), страница 15
Текст из файла (страница 15)
Соображения, связанные с обособлением.Если применяется метод обособления, то указываются также методы верификациицелостности обособления.g. Допущения относительно компилятора.Описание допущений, принятых Заявителем относительно корректности компилятора,редактора связей и загрузчика (п. 4.4.2).h. Инструкции повторной верификации.Описание методов определения частей ПО, затронутых изменениями, а также методовопределения измененных частей «Исполняемого объектного кода».Повторная верификации должна гарантировать, что ранее выявленные ошибки иликлассы ошибок устранены.i. Ранее разработанное ПО.Если первоначальные методы определения соответствия базовой версии ранееразработанного ПО в части процесса верификации не соответствуют настоящему документу, топриводится описание методов для достижения целей настоящего документа.j.
Многоверсионное разнородное ПО.Если применяется такое программное обеспечение, то описываются соответствующиемероприятия процесса верификации (п. 12.3.3).11.4. План управления конфигурацией ПОВ плане УКПО устанавливаются методы, которые предполагается использовать напротяжении жизненного цикла ПО для достижения целей процесса управления конфигурациейПО.Данный план должен содержать:a. Среда УКПО.Описание среды, которую предполагается использовать для УКПО, в том числе описаниепроцедур, инструментов, методов, стандартов, ответственности и взаимодействия привыполнении мероприятий.b Мероприятия.Описание мероприятий процесса УКПО, проводимых в течение жизненного цикла ПО длядостижения целей:(1) Идентификация конфигурации: единицы, подлежащие идентификации, когда онибудут идентифицироваться; правила идентификации данных жизненного цикла ПО (например,правила присвоения блочных номеров), а также связь идентификации ПО и идентификациибортовой системы или оборудования.© НИИАО 2002.Формат А460КТ-178В________________________________________________________________________________(2) Базовые версии и трассируемость: правила введения базовых версий, когда онибудут вводиться, контроль библиотек ПО, трассируемость единиц конфигурации и базовой версии.(3) Сообщения о проблемах: содержание и идентификация сообщений о проблемах впрограммном продукте и в процессах жизненного цикла ПО, когда они выпускаются; порядокзакрытия сообщений о проблемах; связь сообщений о проблемах с мероприятиями управленияизменениями.(4) Управление изменениями: единицы конфигурации и базовые версии, подлежащиеуправлению (контролю); когда они будут контролироваться; мероприятия по управлениюпроблемами/изменениями, с помощью которых осуществляется контроль единиц конфигурации ибазовых версий; управление до сертификации и после сертификации; методы сохраненияцелостности базовых версий и единиц конфигурации.(5) Рассмотрение изменений: порядок организации обратных связей от одних процессовжизненного цикла ПО к другим; порядок оценки и назначения приоритетов проблемам,утверждения изменений, порядок разрешения возникающих проблем или реализации изменений;связь этих правил с мероприятиями сообщений о проблемах и управления изменениями.(6) Учет состояния конфигурации: данные, которые предполагается регистрировать дляучета состоянии конфигурации; где эти данные будут храниться; как они могут быть получены длясоставления отчетов, и когда они появятся.(7) Архивирование, воспроизведение и выпуск: контроль целостности, порядок иполномочия на выпуск, хранение данных.(8) Контроль загрузки ПО: описание мер предосторожности при загрузки ПО и протоколазагрузки.(9) Контроль среды жизненного цикла ПО: контроль инструментов, используемых дляразработки, производства, верификации и загрузки ПО, с учетом приведенных выше пунктов с (1)по (7).Это включает и контроль инструментов, подлежащих квалификации.(10) Контроль данных (документов) жизненного цикла ПО: процедуры,соответствующие 1-й и 2-й категориям контроля данных (документов).c.
Критерии перехода.Критерии перехода к процессу УКПО.d. Документы УКПО.Определение документов, составляемых в результате мероприятий УКПО жизненногоцикла ПО, включая «Протоколы УКПО», «Каталог комплектации ПО» и «Каталог среды жизненногоцикла ПО».e. Контроль поставщика.Порядок распространения требований процесса УКПО на соисполнителей-поставщиков.11.5. План гарантии качества ПО«План гарантии качества ПО» устанавливает методы, которые предполагаетсяиспользовать для достижения целей процесса гарантии качества ПО, «План ГКПО» можетвключать описание мероприятий в части улучшения процесса, описание метрик и описаниепрогрессивных методов организации работ.Данный план должен содержать:а.
Среда.Описание среды ГКПО, включая описание сферы действия ГКПО, распределениеответственности и взаимодействие, стандарты, процедуры, инструменты и методы.b. Полномочия.Положение о полномочиях ГКПО, ответственность и независимость, включая полномочияутверждения программных продуктов.с.
Мероприятия.Мероприятия ГКПО, проводимые в течение жизненного цикла ПО применительно ккаждому процессу этого цикла, включая:(1) Методы и средства ГКПО, например, рассмотрения, аудиторские проверки,составление актов, инспекции и непрерывный контроль процессов жизненного цикла ПО;© НИИАО 2002.Формат А461КТ-178В________________________________________________________________________________(2) Мероприятия, связанные с сообщениями о проблемах, отслеживанием икорректирующими действиями;(3) Описание рассмотрения соответствия ПО требованиям.d. Критерии перехода.Критерии перехода к процессам ГКПО.е. Синхронизация.Временная привязка мероприятий процесса ГКПО к мероприятиям процессов жизненногоцикла ПО.f. Протоколы ГКПО.Определение протоколов, составляемых в процессе ГКПО.g.
Контроль поставщика.Описание методов и средств, гарантирующих, что процессы соисполнителей –поставщиков, и выходные результаты соисполнителей-поставщиков соответствуют «ПлануГКПО».11.6. Стандарты на разработку требований ПО«Стандарты на разработку требований ПО» определяют методы, правила и инструменты,которые предполагается использовать для разработки требований высокого уровня.Эти стандарты должны содержать:а. Методы, которые предполагается использовать для разработки требований к ПО,такие, как методы структурирования;b. Методы и способы обозначений, которые предполагается использовать дляформулирования требований, такие, как структурные схемы потоков данных, языки формальныхспецификаций;с.
Ограничения на использование инструментов при разработке требований;d. Метод, который предполагается использовать для разработки производныхтребований.11.7. Стандарты на проектирование ПО«Стандарты на проектирование ПО» определяют методы, правила и инструменты,которые предполагается использовать для разработки архитектуры программного обеспечения итребований низкого уровня.Эти стандарты должны содержать:а. Используемые методы описания проекта.b.
Используемые правила наименования.с. Ограничения, накладываемые на разрешенные методы проектирования, например на:- диспетчеризацию,- использование прерываний,- использование архитектур, управляемых событиями,- динамическое управление задачами,- использование повторного входа,- глобальные данные,- обработку особых ситуаций,и обоснование использования вышеуказанных ограничений.d. Ограничения на использование инструментов проектирования.е. Ограничения на проект, например, исключение рекурсии, динамических объектов,альтернативных имен данных, компактных выражений.f.
Ограничения на сложность, например, на максимальную вложенность вызовов илиусловных операторов, на использование безусловных переходов, количество точек входа/выходав компоненты программы.© НИИАО 2002.Формат А462КТ-178В________________________________________________________________________________11.8. Стандарты на кодирование«Стандарты на кодирование» определяют языки программирования, методы, правила иинструменты, которые предполагается использовать для кодирования.Эти стандарты должны содержать:а.
Языки программирования, которые предполагается использовать и/или ихподмножества.Документы, характеризующие язык программирования и однозначно определяющие егосинтаксис, управление данными и побочные эффекты.Это может потребовать введения ограничений на использование некоторых особенностейязыка.b. Стандарты на форму представления «Исходного кода», например, ограничения надлины строк, отступы и использование пустых строк, а также стандарты на документацию«Исходного кода», например, имя автора, хронология версий, входы и выходы программы,изменяемые глобальные данные.с.
Правила наименования компонент, подпрограмм, переменных и констант.d. Условия и ограничения, накладываемые на принятые соглашения о приёмахкодирования – такие, как степень взаимосвязи между компонентами программы, сложностьлогических или численных выражений, а также обоснование их применения.е. Ограничения на применение инструментов кодирования.11.9. Требования к ПОВ «Требованиях к ПО» излагаются требования высокого уровня, в том числе производныетребования.Этот документ должен содержать:а. Описание, каким образом требования к системе трансформируются в требования к ПО,с уделением особого внимания требованиям к безопасности и возможным отказным состояниям.b. Функциональные и технические требования для каждого режима работы.с.
Критерии исполнения, например, критерии точности и правильности.d. Временные требования и ограничения.е. Ограничения по памяти.f. Взаимодействие аппаратуры и ПО, например, протоколы, форматы, частоты входных ивыходных сигналов.g. Требования к обнаружению отказов и контролю безопасности.h. Требования к обособлению, относящиеся к ПО; как обособленные компонентывзаимодействуют друг с другом; уровни ПО каждой обособленной компоненты.11.10. Описание проекта ПОВ «Описании проекта ПО» определяются архитектура ПО и требования низкого уровня,удовлетворяющие требованиям к ПО высокого уровня.Этот документ должен содержать:а.
Подробное описание того, каким образом ПО удовлетворяет предъявляемым к немутребованиям к ПО высокого уровня, включая алгоритмы, структуры данных, а также кактребования к ПО распределяются по процессорам и задачам.b. Описание архитектуры ПО, определяющей конкретную структуру программногообеспечения для выполнения заданных требований.с. Описание входов/выходов, например, словарь данных, как внутренних, так и внешнихдля выбранной архитектуры.d.
Поток данных и поток управления для данного проекта.е. Ограничения на ресурсы; распределение ресурсов и связанные с этим ограничения;запасы по ресурсам и методы их измерения; например, запас по быстродействию и объёмупамяти.© НИИАО 2002.Формат А463КТ-178В________________________________________________________________________________f. Процедуры диспетчеризации и схемы межпроцессорного и межзадачного обмена,включая жесткое временное упорядочивание, принудительное разделение времени, рандевуязыка Ада и прерывания.g. Методы проектирования и подробные сведения относительно их применения,например: загрузка данных; ПО, модифицируемое пользователем или многоверсионноеразнородное ПО.h.