ГОСТ Р МЭК 61508-7—2012
С.5.5 Предположение ошибок
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблицы В.2 и В.8).
Цель. Исключение ошибки программирования.
Описание. Опыт тестирования и интуиция в сочетании со сведениями и заинтересованностью относительно
тестируемой системы могут добавить некоторые неклассифицированные тестовые примеры к набору заданных
тестовых примеров.
Специальные значения или комбинации значений могут быть подвержены ошибкам. Некоторые вызываю
щие интерес тестовые примеры могут быть получены из анализа контрольных списков. Следует также рассмо
треть. является ли система достаточно устойчивой. Например, следует ли нажимать клавиши на передней панели
слишком быстро или слишком часто. Что произойдет, если две клавиши нажать одновременно.
Литература:
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.
C.5.6 Введение ошибок
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблица В.2).
Цель. Подтверждение адекватности набора тестовых примеров.
Описание. Некоторые известные типы ошибок вводятся (подсеиваются) в программу, и программа выпол
няется с тестовыми примерами в режиме тестирования. При обнаружении только некоторых подсеянных ошибок
тестовый пример становится неадекватным. Отношение числа найденных подсеянных ошибок к общему числу
подсеянных ошибок оценивается как отношение числа найденных реальных ошибок к общему числу реальных
ошибок. Это дает возможность оценить количество остаточных ошибок, и тем самым, остальную работу по те
стированию.
Найденные подсеянные ошибки _ Найденные реальные ошибки
Общее число подсеянных ошибокОбщее число реальных ошибок
Обнаружение всех подсеянных ошибок может указывать либо на адекватность тестового примера, либо
на то. что подсеянные ошибки было слишком легко найти. Ограничениями данного метода являются: порядок
получения любых полезных результатов, типы ошибок. Также необходимо, чтобы позиции подсеивания отражали
статистическое распределение реальных ошибок.
Литература:
Software Fault Injection: Inoculating Programs Against Errors. J. Voas. G. McGraw. Wiley Computer Pub., 1998,
ISBN 0471183814. 9780471183815.
Faults, Injection Methods, and Fault Attacks. Choog Нее Kim. Jean-Jacques Quisquater. IEEE Design and Test of
Computers, vol. 24. No. 6. pp. 544—545, Nov.. 2007.
Fault seeding for software reliability model validation. A. Pasquini, E. De Agostino. Control Engineering Practice,
Volume 3. Issue 7. July 1995. Elsevier Science Ltd.
C.5.7 Разделение входных данных на классы эквивалентности
П р и м е ч а н и е — Ссыпка на данный метод/средство приведена в МЭК 61508-3 (таблицы В.2 и В.З).
Цель. Адекватное тестирование программных средств с использованием минимума тестируемыхданных. Те
стируемые данные образуются путем выбора частей входных данных предметной области, требующихся для ана
лиза программных средств.
Описание. Данный метод тестирования основывается на отношении эквивалентности входных данных, опре
деляющем разбиение входных данных предметной области.
Тестовые примеры выбираются в целях охвата всех предварительно специфицированных разбиений.
Из каждого класса эквивалентности выбирается по меньшей мере один тестовый пример.
Существуют следующие основные возможности разбиения входных данных:
- классы эквивалентности, образованные из спецификации, — интерпретация спецификации может быть ори
ентирована либо на входные значения, например, выбранные значения считаются одинаковыми, либо ориентиро
вана на выходные значения, например, набор значений приводит к одному и тому же функциональному результату;
- классы эквивалентности, образованные в соответствии с внутренней структурой программы. — результаты
класса эквивалентности определяются из статического анализа программ, например, набор значений обрабатыва
ется одним и тем же способом.
Литература:
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.
Software engineering: Update. Ian Sommerville. Addison-Wesley Longman. Amsterdam; 8m ed.. 2006. ISBN
0321313798.9780321313799.
Software Engineering. Ian Sommerville. Pearson Studium. 8. Aufiage. 2007. ISBN 3827372577. 9783827372574.
Static Analysis and Software Assurance. D. Wagner. Lecture Notes in Computer Science. Volume 2126/2001,
Springer. 2001, ISBN 978-3-540-42314-09.
59