ГОСТ Р МЭК 60880—2010
О к о н ч а н и е т а б л и ц ы Е .4 .2 .2
Поряд
ковый
номер
Вид tecta
Тип детектируемых
ошибок
Следует
выполнять
Примечание
дикатнотомлена. посту
пающего на каждую
ветвь
ления и потоке данных
комбинация тестов 8 и
12
9Проверка каждого пре Ошибки в логике управЕсли неприменима Содержит тест 8; вклю
чен в комбинацию тестов
9 и 14
10 Проверка каждого цик
ла с использованием
минимального, макси
мального и. по крайней
мере, одного промежу
точного числа повторе
ний
Ошибки в управлении
циклом и обработке
массива данных
всегда, если програм
ма содержит циклы
Не применимо к конст
рукции «бесконечных
циклов»
11Проверка каждой вет
ви. исполняемой хотя
бы один раз
Все ошибки логики уп
равления
Для валидации того,
что выбранные проект
и кодирование не де
слишком сложной
Выполняется только для
модулей.Содержит
тест 8; следуетотметить,
лают верификацию что каждое новое повто
рение цикла ведет к но
вой ветви
Т а б л и ц а Е.4.2.3 — Тестирование перемещения данных
Поряд
ковый
номер
Вид tecta
Тип детектируемых
ошибок
Следует
выполнять
Примечание
области памяти, осуще
ствляемого хотя бы
один раз
12 Проверкакаждого Ошибка в потоке дан Используемые
объявления каждой ных. но без гарантиимассивы
13Проверка каждой ссыл
ки на каждую область
памяти, осуществляе
мой хотя бы один раз
Ошибки в потоке дан
ных. в особых случаях -
все ошибки потока дан
ных
Используемые
массивы
В большинстве случаев
содержит тест 12. Целе
сообразно только в свя
зи с тестом 12
14
Проверка всех преоб
разований данных от
входа до выхода, осу
ществляемых хотя бы
один раз
Все ошибки потока дан
ных
Всегда для отдельных
сегментов
Осуществимо толькодля
модулей. Возможно, по
крывается тестами 7. 8
или 11
Т а б л и ц а Е.4.2.4 — Тестирование временных характеристик
Поряд
копий
номер
Вид теста
Тип детектируемых
ошибок
Следует
выполнять
Примечание
15
Проверка всех времен
ных ограничений
Ошибки временных ха
рактеристик. слишком
долгое время вычисле
ний
Всегда
—
16
Проверка максимально
возможного числа ком
бинаций последова
тельностей прерываний
Организационные
ошибки
Если число комбина
ций не слишком боль
шое
17
Проверка всех значи
тельных комбинаций
последовательностей
прерываний
Организационные
ошибки
Всегда
70