4.1.1. Тестирование на основе потока управления
Особенности использования структурных критериев
тестирования С0, С1, С2 были рассмотрены в разделе 3. К ним следует добавить
критерий покрытия условий, заключающийся в покрытии всех логических
(булевских) условий в программе. Критерии покрытия решений (ветвей - С1) и
условий не заменяют друг друга, поэтому на практике используется
комбинированный критерий покрытия условий/решений, совмещающий требования по
покрытию и решений, и условий.
К популярным критериям относятся критерий покрытия
функций программы, согласно которому каждая функция программы должна быть
вызвана хотя бы один раз, и критерий покрытия вызовов, согласно которому
каждый вызов каждой функции в программе должен быть осуществлен хотя бы один
раз. Критерий покрытия вызовов известен также как критерий покрытия пар вызовов
(call pair coverage).