Без заголовка
Моя идея такая, что под развитие инструментария необходимо требуется развивать теорию. Обычно скачок в технической системе требует скачка в теоретическом ее обосновании. Скачок от тестирования к верификации -- это в том числе скачок между двумя разными теориями.