Séance de cours
Cette séance de cours couvre les tests de sécurité logicielle, y compris les approches manuelles et automatisées telles que la révision de code, les cas de test heuristiques, l'analyse statique, l'analyse symbolique et l'analyse dynamique. Il traite également des limites de la réalisation de tests complets et de l’importance des mesures de couverture.