ГОСТ Р 51904-2002; Страница 21

или поделиться

Ещё ГОСТы из 41757, используйте поиск в верху страницы

ГОСТ Р 51903-2002 Передатчики радиосвязи стационарные декаметрового диапазона волн. Основные параметры, технические требования и методы измерений ГОСТ Р 51903-2002 Передатчики радиосвязи стационарные декаметрового диапазона волн. Основные параметры, технические требования и методы измерений Fixed high frequency transmitters for radio communication. Basic parameters, technical requirements and methods of measurements (Настоящий стандарт распространяется на стационарные передатчики, предназначенные для работы на магистральных и зоновых линиях радиосвязи в декаметровом диапазоне волн с возможностью эксплуатации их на автоматизированных передающих центрах и рассчитанные на работу без постоянного обслуживающего персонала. Стандарт устанавливает нормы на основные параметры передатчиков, технические требования и методы измерений основных параметров) ГОСТ Р 51908-2002 Общие требования к машинам, приборам и другим техническим изделиям в части условий хранения и транспортирования ГОСТ Р 51908-2002 Общие требования к машинам, приборам и другим техническим изделиям в части условий хранения и транспортирования General requirements for machines, instruments and other industrial products as to storage and transporting conditions (Настоящий стандарт распространяется на машины, приборы и другие технические изделия всех видов и устанавливает общие требования к условиям их хранения и транспортирования до ввода в эксплуатацию. Стандарт не распространяется на межоперационное хранение в цехах изготовителя) ГОСТ Р 51910-2002 Методика исследования и проверки ускоренными методами влияния внешних воздействующих факторов на долговечность и сохраняемость технических изделий. Разработка и построение ГОСТ Р 51910-2002 Методика исследования и проверки ускоренными методами влияния внешних воздействующих факторов на долговечность и сохраняемость технических изделий. Разработка и построение Research and testing strategy by accelerated methods of environmental conditions influence for industrial products longevity and storage ability. Development and design (Настоящий стандарт распространяется на машины, приборы и другие технические изделия всех видов и применяемые для этих изделий полимерные материалы, металлы и сплавы; детали и узлы из них; полимерные системы, системы электрической изоляции; защитные покрытия от коррозии. Стандарт устанавливает общие требования к построению методики исследования и проверки ускоренными методами влияния внешних воздействующих факторов на долговечность и сохраняемость изделий или (и) их деталей и узлов, материалов, систем материалов и покрытий)

Страница 21

ГОСТ Р 51904-2002

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

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

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

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

6.4.2 Язык программирования и компилятор

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

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

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

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

6.4.3 Среда верификации ПО

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

- эмулятор или интерпретатор в некоторых случаях требуется аттестовать как описано в 13.2;

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

6.5 Стандарты разработки ПО

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

- удовлетворять требованиям раздела 11;

- обеспечивать единообразие разработки компонентов ПО данного программного продукта или необходимого набора средств;

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