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

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

Ещё ГОСТы из 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 (Настоящий стандарт распространяется на машины, приборы и другие технические изделия всех видов и применяемые для этих изделий полимерные материалы, металлы и сплавы; детали и узлы из них; полимерные системы, системы электрической изоляции; защитные покрытия от коррозии. Стандарт устанавливает общие требования к построению методики исследования и проверки ускоренными методами влияния внешних воздействующих факторов на долговечность и сохраняемость изделий или (и) их деталей и узлов, материалов, систем материалов и покрытий)

Страница 27

ГОСТ Р 51904-2002

8.1 Цели верификации ПО

Назначение верификации ПО состоит в том, чтобы обнаружить и зарегистрировать ошибки, которые могли быть внесены в ПО во время его разработки (устранение ошибок является задачей разработки ПО). Основное назначение верификации ПО — проверить что:

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

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

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

- исполняемый объектный код удовлетворяет требованиям к ПО;

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

8.2 Состав работ, выполняемых в процессе верификации ПО

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

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

Выходные результаты верификации ПО должны быть включены в документы «Процедуры верификации ПО» (12.21), «Результаты верификации ПО» (12.23), «Описание квалификационного тестирования ПО» (12.22), «Отчет о квалификационном тестировании ПО» (12.24).

8.3 Просмотры и анализы ПО

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

8.3.1 Просмотры и анализы требований верхнего уровня

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

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

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

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

г) верифицируемость: гарантировать, что каждое требование верхнего уровня может быть верифицировано;

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