ГОСТ Р МЭК 61508-7—2012
Литература:
A discussion of statistical testing on a safety-related application. S. Kubali. J. H. R. May, Proc IMechE. Vol. 221.
Part O: J. Risk and Reliability. Institution of Mechanical Engineers. 2007.
Estimating the Probability of Failure when Testing Reveals No Failures. W.K. Miller, L.J. Morell et al. IEEE
Transactions on Software Engineering, Vol. 18. No.1. pp. 33-43. January 1992.
Reliability estimation from appropriate testing of plant protection software. J. May, G. Hughes, A. D. Lunn. IEE
Software Engineering Journal. Vol.10. No. 6. pp. 206—218, Nov., 1995 (ISSN: 0268—6961).
Validation of ultra high dependability for software based systems. B. Littlewood and L. Strigini. Comm. ACM 36 (11),
69—80. 1993.
C.5.2 Регистрация и анализ данных
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблицы А.5 иА.8).
Цель. Документирование всех данных, решений и разумного обоснования программных проектов в целях
обеспечения верификации, подтверждения соответствия, оценки и эксплуатации.
Описание. В процессе всего проектирования разрабатывается подробная документация, в которую входят:
- тестирование, выполняемое на каждом программном модуле;
- решения и их разумные обоснования:
- проблемы и их решения.
В процессе и по завершении проекта эта документация может быть проанализирована на наличие широкого
набора информации. В частности, такая информация, использовавшаяся в качестве обоснования при принятии
конкретных решений в процессе разработки проекта и очень важная для обслуживания вычислительных систем, не
всегда известна инженерам по эксплуатации.
Литература:
Dependability of Critical Computer Systems 2. F.J. Redmill. Elsevier Applied Science. 1989, ISBN 1851663819,
9781851663811.
C.5.3 Тестирование интерфейса
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблица А.5).
Цель. Обнаружение ошибок в интерфейсах подпрограмм.
Описание. Возможны несколько уровней детализации или полноты тестирования. К наиболее важным уров
ням относится тестирование:
- всех интерфейсных переменных с их предельными значениями:
- всех отдельных интерфейсных переменных с их предельными значениями с другими интерфейсными пе
ременными с их нормальными значениями:
- всех значений предметной области каждой интерфейсной переменной с другими интерфейсными пере
менными с их нормальными значениями;
- всех значений всех переменных в разных комбинациях (возможно только для небольших интерфейсов);
- при специфицированных условиях тестирования, уместных для каждого вызова каждой подпрограммы.
Эти тестирования особенно важны, если интерфейсы не имеют возможности обнаруживать неправильные
значения параметров. Такие тестирования также важны при генерации новых конфигураций ранее существовав
ших подпрограмм.
С.5.4 Анализ граничных значений
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблицы В.2, В.З и В.8).
Цель. Обнаружение программных ошибок при предельных и граничных значениях параметров.
Описание. Предметная входная область программы разделяется на множество входных классов в соответ
ствии с отношениями эквивалентности (см. С.5.7). Тестирование должно охватывать границы и экстремальные
значения классов. Данное тестирование проверяет совпадение границы предметной входной области в специфи
кации с границами, установленными программой. Использование нулевого значения как в непосредственных, так
и в косвенных преобразованиях часто приводит к ошибкам. Особого внимания требуют:
- нулевой делитель;
- знаки пробела ASCII;
- пустой стек или элемент списка;
- заполненная матрица;
- ввод нулевой таблицы.
Обычно границы входных значений напрямую соотносятся с границами выходных значений. Для установ
ления выходных параметров в их предельные значения необходимо записывать специальные тестовые примеры.
Следует также по возможности рассмотреть спецификацию такого тестового примера, который побуждает выход ное
значение превысить установленные спецификацией граничные значения.
Если выходные значения являются последовательностью данных, например, таблица, то особое внимание
следует уделить первому и последнему элементам, а также спискам, содержащим либо ни одного, либо один, либо
два элемента.
Литература:
The Art of Software Testing, second edition. G.J. Myers, T. Badgett. T.M. Codd, C. Sandler. John Wiley and Sons,
2004. ISBN 0471469122, 9780471469124.
58