ГОСТ Р ИСО/МЭК 15026-2002; Страница 13

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

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

ГОСТ 15022-69 Ручки для литейных опок. Конструкция и размеры ГОСТ 15022-69 Ручки для литейных опок. Конструкция и размеры Handles for moulding boxes. Construction and dimensions (Настоящий стандарт устанавливает конструкцию и размеры ручек для литейных опок) ГОСТ 15027.1-77 Бронзы безоловянные. Метод определения меди ГОСТ 15027.1-77 Бронзы безоловянные. Метод определения меди Non-tin bronze. Method for the determination of copper (Настоящий стандарт устанавливает гравиметрический электролитический метод определения меди в безоловянных бронзах ) ГОСТ 15027.10-77 Бронзы безоловянные. Методы определения олова ГОСТ 15027.10-77 Бронзы безоловянные. Методы определения олова Non-tin bronze. Methods for the determination of tin (Настоящий стандарт устанавливает экстракционно-фотометрический метод определения олова с применением кверцетина, фотометрический метод определения олова с применением фенилфлуорона (при массовой доле олова от 0,01 до 0,5%), полярографический метод определения олова (при массовой доле олова от 0,001 до 0,5%) и атомно-абсорбционный метод определения олова (при массовой доле олова от 0,01 до 0,25% и от 0,25 до 0,5%) в бронзах безоловянных)

Страница 13

ГОСТ Р ИСО/МЭК 15026-2002 случае могут быть использованы методы анализа частоты отказа программного средства с целью установить степень снижения его надежности по сравнению с надежностью системы.

8 Установление требований к целостности программного средства

8.1 Степень достоверности

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

Некоторыми способами («стратегиями») обеспечения достоверности программного средства являются:

a) применение методов, минимизирующих внесение ошибок;

b) применение методов верификации и аттестации, позволяющих с максимальной вероятностью обнаружить ошибки;

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

8.2 Методы обеспечения степени достоверности программного средства

В таблице 4 приведены схематические примеры некоторых работ программной инженерии, атрибутов выходных результатов этих работ и методов, которые могут быть использованы для достижения различных степеней достоверности реализации данных атрибутов. Настоящий стандарт не предназначен для определения жизненного цикла конкретного программного средства. При определении степени достоверности может быть использован ряд процессов жизненного цикла программных средств, описанных в ГОСТ Р ИСО/МЭК 12207.

Таблица 4 — Примеры работ процесса, атрибутов и степени уверенности

Работа	Атрибуты	Методы достижения степени уверенности в программном средстве для каждого уровня целостности
Анализ требований к программному средству	Точность, полнота, правильность, абстрагирование, непротиворечивость, проверяемость	1 Структурированный подход 2 (1) плюс полуформальные нотации 3 (1) плюс формальные нотации 4 (3) плюс формальная проверка
Проектирование программного средства	Анализ трассируемости требований, проверяемость, модульность, абстрагирование	1 Структурированный подход 2 (1) плюс полуформальные нотации 3 (1) плюс формальные нотации 4 (3) плюс формальная проверка
Программирование программного средства	Трассируемость проекта, однозначность программных конструктивов, стандартизация языка программирования, сопровождаемость	1 Структурное программирование 2 (1) плюс строго типизированный язык 3 (2) плюс ограничение на подмножество языка 4 (3) плюс формальная проверка
Примечание — В скобках указаны позиции текущего перечисления, дополняемые последующим текстом.

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