Principaux aspects du test du logiciel à toutes les étapes de développement et d'évolution. Techniques structurelles de test et méthodes de test fonctionnel avancées. Génération automatique de données de test et approches basées sur les métaheuristiques. Tests des logiciels orientés objets. Modélisation quantitative du logiciel pour évaluer sa fiabilité, sa robustesse et sa sécurité. Techniques pour détecter les failles de sécurité. Identification des fichiers, classes ou méthodes défectueuses. Rôle de l'ingénierie de la qualité dans la fiabilité du logiciel.