Explore les stratégies de test automatisées, y compris la couverture du code et diverses techniques de test, pour assurer un développement logiciel fiable.
Couvre la génération de modèles vectoriels de test, la modélisation des défauts, les tests structurels et fonctionnels et la mise en œuvre de l'expansion dans le temps.
