Документ описывает методологию белого ящика для тестирования программного обеспечения, подчеркивая важность проверки внутренней структуры программы через различные формы покрытия кода. Он объясняет типы покрытия, такие как покрытие операторов, решений, путей, вход/выход и значений параметров, а также приводит примеры тестовых случаев. Также обсуждается черное ящик тестирование с указанными уровнями покрытия для различных условий.