Какие виды тестирования обычно используют при проверке программного обеспечения?