ГОСТ Р МЭК 61508-7—2007
Функциональное тестирование электронных компонентов, предназначенных для многоканальной архитек
туры, обычно включает в себя промышленные компоненты, каждый из которых поставщик уже протестировал и
предварительно подтвердил соответствие. Помимо этого рекомендуется, чтобы покупные промышленные компо
ненты были протестированы в сочетании с другими компонентами поставщика из той же партии, чтобы выявить
неисправности группового типа, которые в противном случав остались бы невыявленными.
Также о достаточных рабочих возможностях системы см. руководящие материалы (приложение С. подраз
дел С.5.20).
Литература:
Functional Program Testing and Analysis. W. E. Howden, McGraw-Hill. 1987. The Art of Software Testing. G. J.
Myers, Wiley & Sons. New York. 1979.
Dependability of Critical Computer Systems 3. P. G. Bishop et al, Elsevier Applied Science. 1990, ISBN
1-85166-544-7.
B.5.2 Тестирование методом «черного ящика»
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (таблицы В.З, В.5 и В.6)
и
в МЭК 61508-3 (таблицы А.5 — А.7).
Цель: проверка динамического поведения системы в реальных условиях функционирования. Выявление
несоответствия функциональной спецификации и оценка ее полезности и устойчивости.
Описание: функции системы или программы выполняются в заданном окружении с заданными данными
тестирования, которые систематически формируются из спецификации в соответствии с установленными крите
риями. Это позволяет поведение системы сравнить с ее спецификацией. При проведении тестирования никакие
сведения о внутренней структуре системы не используются. Основная цель состоит в том. чтобы определить,
правильно ли выполняет функциональный модуль функции, требуемые спецификацией. Метод формирования
эквивалентных классов служит примером критерия тестирования данных методом «черного ящика». Массив вход
ных данных подразделяется на конкретные диапазоны входных значений (эквивалентные классы) на основе
спецификации. После этого формируются тестовые примеры из:
- данных из допустимых диапазонов;
- данных из недопустимых диапазонов;
- данных предельных значений диапазонов;
- экстремальных значений и
- комбинаций из перечисленных выше классов.
Могут оказаться эффективными также другие критерии выбора тестовых примеров в различных режимах
тестирования (модуля, интеграции и системы). Например критерий «экстремальные эксплуатационные условия»
используется при тестировании системы в процессе подтверждения соответствия.
Литература:
Functional Testing and Analysis. W. E. Howden. McGraw-Hill Book Comppany. New York. 1987.
Software Testing and Validation Techniques. E. Miller. W. E. Howden. IEEE Computer Society. New York. 1978.
The Art of Software Testing. G. J. Myers. Wiley & Sons. Ne.v York. 1979.
Methodik systematischen Testens von Software. K. Grimm. 30 (4). 1988.
VDI-Gemeinschaftsausschu(J IndustrieUe Systemtechnik: Software-Zuveriassigkeit. VDI-Verlag. 1993.
B.5.3 Статистическое тестирование
П р и м е ч а н и е — Ссылка на данный метод’средство приведена в МЭК 61508-2 (таблицы В.З. В.5 и В.6).
Цель: проверка динамического поведения системы, связанной с безопасностью, и оценка ее полезности и
устойчивости.
Описание: при этом подходе тестируется система или программа с входными данными, выбранными в соот
ветствии с предполагаемым статистическим распределением реальных эксплуатационных входных данных —
эксплуатационный профиль.
Литература:
Software Testing via Environmental Simulation (CONTESSE Report). Available until December 1998 from: Ray
Browne. CUD. DTI. 151 Buckingham Palace Road. London. SW1W 9SS. UK. 1994.
Aspects of Development and Verification of Reliable Process Computer Software. W. Ehrenberger. IFAC-IFIP
Conference Proceedings. 35—48. 1980.
Verification and validation of Real-time Software. W. J. Quirk (ed.). Springer Verlag, Berlin, 1985.
VDI-Gemeinschaftsausschup IndustrieUe Systemtechnik: Software-Zuvertessigkeit. VDI-Verlag. 1993.
Dependability of Critical Computer Systems 1. F. J. Redmill. Elsevier Applied Science. 1988. IS8N 1-85166-203-0.
Dependability of Critical Computer Systems 3. P. G. Bishop et al. Elsevier Applied Science. 1990. ISBN
1-85166-544-7.
B.5.4 Полевые испытания
П р и м е ч а н и я
1 См. также приложение С. подраздел С.2.10— аналогичные средства, а в приложении D — статистический
подход — то и другое в контексте программного обеспечения.
в*
27