Основания проверки программного обеспечения