Документ описывает методики тестирования программного обеспечения, включая исследовательское тестирование, минимальные и максимальные проверки, атомарные и pairwise проверки, а также взаимосвязанные подходы. Он предлагает различные методологии для оптимизации тестовых наборов и определения критичных для пользователей параметров и значений. В конце документа представлена информация о локализации дефектов и области применения различных методов тестирования.