Из-за многообразия способов тестирования, для обозначения их всех в книге используется термин проверка (qualification).
Проверка должна начинаться как можно раньше, так как откладывание тестирования до конца разработки может привести к значительным расходам и последующей необходимости вносить изменения в спецификации и переделывать систему в случае обнаружения даже малейшей ошибки. Проверка начинается на этапе разработки спецификаций системы (design) и состоит в рецензировании требований, инспекции спецификаций и применении различных форм моделирования системы.
На рис. 1.11 показана V-модель цикла разработки и стратегия проверки системы в процессе разработки.
На левой стороне V-модели (горизонтальная часть рисунка) показаны методы проверки, применяемые на ранних этапах.
На правой стороне показаны методы, применяемые на более поздних этапах.
Здесь следует избегать случаев, когда одно пользовательское требование может послужить причиной большого объема различного рода лишних проверок на последующих стадиях разработки.
Рис 1.11 Стратегия проверки и V-модель.
Если требование считается реализованным, т.е. когда оно удовлетворяется полезными (желаемыми) свойствами на уровне системы, то проведение проверок на уровне составляющих компонентов бывает недостаточно эффективным (по сути, и не нужным), поскольку на этом уровне этих свойств (декларируемых и проверяемых) просто может еще и не быть. Проверка системных свойств должна выполняться на том уровне, на котором эти свойства проявляются в полной мере.