ГОСТ IEC 60730-1—2011
Н.2.17.7.2 статический анализ — программное обеспечение (static analysis — software): Процесс оценки
программы, носящий систематический характер, без обязательного выполнения программы.
П р и м е ч а н и е — Процесс оценки может быть произведен при помощи вычислительной машины
и обычно включает анализ программной логики, маршрутов данных, интерфейсов и переменных.
Н.2.17.8 системное испытание (systematic test): Метод анализа, позволяющий оценивать работу системы
или программного обеспечения для коррекции выполнения путем ввода выборочных данных испытаний.
П р и м е ч а н и е — Например, см. тесты черного и белого ящиков.
Н.2.17.8.1 тест черного ящика (black box test): Системное испытание, при котором данные испытаний,
полученные на основе функциональных спецификаций, вводят в функциональный блок для коррекции его
работы.
Н.2.17.8.2 тест белого ящика (white box test): Системное испытание, при котором данные испытания, полу
ченные на основе спецификаций программного обеспечения, вводят в программу для коррекции работы части
программы.
П р и м е ч а н и е — Например, данные могут быть выбраны для выполнения максимального возможного
количества команд, проверки максимального количества ответвлений и максимального возможного количества
подпрограмм и т. д.
Н.2.17.9 сквозной контроль (walk — through): Процесс оценки, при котором разработчик или программист
знакомит членов фуплы. проводящей оценку, с конструкцией аппаратного обеспечения, проектом программного
обеспечения и/или системой кодирования программного обеспечения, разработанной конструктором или про
граммистом. для выявления возможных ошибок.
П р и м е ч а н и е — В отличив от процедуры осмотра, разработчику или программисту отведена вданном
случае активная роль.
тест белого ящика (white box test) (см. Н.2.17.8.2).
Н.2.17.10 время обнаружения повреждения/ошибки программного обеспечения (software fault/error
detection time): Период времени между повреждением/ошибкой и введением программным обеспечением заяв
ленной управляющей реакции.
Н.2.18Определения, относящиеся к методам контроля повреждения/ошибки управляющих устройств,
использующих программное обеспечение
Н.2.18.1 Избыточность шины
Н.2.18.1.1 избыточность полноразрядной шины (full bus redundance): Метод контроля поврежден ий’’оши-
бок. при котором избыточные полноразрядные данные и/или адреса обеспечиваются средствами структуры
избыточной шины.
Н.2.18.1.2 контроль четности многоразрядной шины (multi-bit bus panty): Метод контроля повреждения.’
ошибки, при котором шина расширяется на два или более разрядов и эти дополнительные разряды используют ся
для обнаружения ошибки.
Н.2.18.1.3 контроль четности одноразрядной шины (single bit bus parity): Метод контроля поврежде-
ний/ошибок. при котором шина расширяется на один разряд и этот дополнительный разряд используется для
обнаружения ошибки.
Н.2.18.2 код защиты (code safety): Метод контроля поереждений/ошибок. при котором защита от случайных
и/или систематических ошибок во входной и выходной информации обеспечивается избыточностью данных и/или
избыточностью передачи (см. также Н.2.18.2.1 и Н.2.18.2.2).
Н.18.2.1 избыточность данных (data redundancy): Форма кода защиты, которая обеспечивает хранение
избыточных данных.
Н.2.18.2.2 избыточность передачи (transfer redundancy): Форма кода защиты, при которой данные переда
ются последовательно, как минимум дважды, а затем сравниваются.
П р и м е ч а н и е — Этот метод позволяет распознавать случайные ошибки.
Н.2.18.3 компаратор (comparator): Устройство контроля повреждения/ошибки в двухканальных структурах.
Устройство сравнивает данные от двух каналов и вводит заявленную реакцию в случае обнаружения
расхождения.
Н.2.18.4 моделирование неисправности по постоянному току (d.c. fault model): Моделирование постоян
ной неисправности, включающее короткое замыкание между сигнальными линиями.
П р и м е ч а н и е — Поскольку в процессе испытания прибора возможно несколько коротких замыканий,
в данном случае, рассматриваются только короткие замыкания между сигнальными линиями. Определяют уро
вень логического сигнала, являющийся основным, в тех случаях, где линии стремятся возбудить противополож
ный уровень.
141