Lorsque l'on lance phpstan sur le répertoire de tests, le message d'erreur suivant peut apparaître :
       Class PHPUnit\Framework\TestCase not found.                         
         Learn more at https://phpstan.org/user-guide/discovering-symbols  

Il faut ajouter dans la configuration phpstan.neon l'option :
parameters:
	bootstrapFiles:
		- bin/.phpunit/phpunit/vendor/autoload.php