Какие типы тестирования существуют в процессе проверки программных продуктов?