Мог бы ты перечислить основные типы тестов, применяемых при проверке программного обеспечения?