ГОСТ Р МЭК 61508-7—2007
В процессе и по завершении проекта эта документация может быть проанализирована на наличие широко
го набора информации. В частности, такая информация, использовавшаяся в качестве обоснования при приня
тии конкретных решений в процессе разработки проекта и очень важная для обслуживания вычислительных
систем, не всегда известна инженерам по эксплуатации.
Литература:
Dependability of Critical Computer Systems 2. F. J. RedmilL Elsevier Applied Science. 1989. ISBN 1-85166-381-9.
C.5.3 Тестирование интерфейса
П р и м е ч а н и е — Ссыпка на данный метод|’средство приведена в МЭК 61508-3 (таблица А.5).
Цель: обнаружение ошибок в интерфейсах подпрограмм.
Описание: возможны несколько уровней детализации или полноты тестирования. К наиболее важным уров
ням относится тестирование:
- всех интерфейсных переменных с их предельными значениями:
- всех отдельных интерфейсных переменных с их предельными значениями с другими интерфейсными
переменными с их нормальными значениями;
- всех значений предметной области каждой интерфейсной переменной с другими интерфейсными пере
менными с их нормальными значениями;
- всех значений всех переменных в разных комбинациях (возможно только для небольших интерфейсов);
- при специфицированных условиях тестирования, уместных для каждого вызова каждой подпрограммы.
Эти тестирования особенно важны, если интерфейсы не имеют возможности обнаруживать неправильные
значения параметров. Такие тестирования также важны при тенерации новых конфигураций ранее существовав
ших подпрограмм.
С.5.4Анализ граничных значений
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблицы В.2. В.З и В.8).
Цель: обнаружение программных ошибок при предельных и граничных значениях параметров.
Описание: предметная входная область программы разделяется на множество входных классов в соответ
ствии с отношениями эквивалентности (см. С.5.7). Тестирование должно охватывать границы и экстремальные
значения классов. Даннов тестирование проверяет совладение границы предметной входной области в специ
фикации с границами, установленными программой. Использование нулевого значения как в непосредственных,
так и в косвенных преобразованиях часто приводит к ошибкам. Особого внимания требуют:
- нулевой делитель;
- знаки пробела ASCII;
- пустой стек или элемент списка:
- заполненная матрица;
- ввод нулевой таблицы.
Обычно границы входных значений напрямую соотносятся с границами выходных значений. Для установ
ления выходных параметров в их предельные значения необходимо записывать специальные тестовые приме ры.
Следует также по возможности рассмотреть спецификацию такого тестового примера, который побуждает
выходное значение превысить установленные спецификацией граничные значения.
Если выходные значения являются последовательностью данных, например таблица, то особое внимание
следует уделить первому и последнему элементам, а также спискам, содержащим либо ни одного, либо один,
либо два элемента [19].
Литература:
The Art of Software Testing. G. Myers. Wiley & Sons. New York. 1979.
C.5.5 Предположение ошибок
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблицы В.2 и В.8).
Цель: исключение ошибки программирования.
Описание: опыт тестирования и интуиция в сочетании со сведениями и заинтересованностью относительно
тестируемой системы могут добавить некоторые неклассифицированные тестовые примеры к набору заданных
тестовых примеров.
Специальные значения или комбинации значений могут быть подвержены ошибкам. Некоторые вызываю
щие интерес тестовые примеры могут быть получены из анализа контрольных списков. Следует также рассмот
реть. является ли система достаточно устойчивой. Например, следует ли нажимать клавиши на передней панели
слишком быстро или слишком часто. Что произойдет, если две клавиши нажать одновременно.
Литература:
The Art of Software Testing. G. Myers. Wiley & Sons, New York. 1979.
C.5.6 Введение ошибок
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблица В.2).
Цель: подтверждение адекватности набора тестовых примеров.
52