Les assertions apportent des mécanismes de contrôle de comportements non désirés d’une conception et procurent une meilleure observabilité du code testé. En parallèle, les débogueurs facilitent l’adoption des méthodologies de vérification à base d’assertions, grâce au support des langages d’assertions, au suivi automatique de trace