Контроль качества программного обеспечения: решение проблем с помощью комбинаторного проектирования тестов