УДК 004.415.5
Гарантии качества программного обеспечения
код УДК
описание
примечания
004.415.52
Формальная техническая проверка
004.415.53
Тестирование программного обеспечения