Principes de l'analyse et de la vérification automatisées de logiciels

Dans le paysage de développement moderne, les tests manuels ne suffisent plus à garantir que les logiciels complexes restent sécurisés et sans bugs. Vous avez besoin de méthodes systématiques et automatisées pour vérifier que votre code se comporte exactement comme prévu dans toutes les conditions. Ce cours fournit une base solide en analyse automatisée, passant des concepts de test de base aux méthodes de vérification avancées qui prouvent que votre logiciel répond à ses exigences. Ce que vous apprendrez : - Comprendre les concepts fondamentaux de la génération de tests automatisés et de la vérification formelle. - Identifier et prévenir les défauts logiciels courants tels que les dépassements, les interblocages et les conditions de concurrence. - Appliquer des techniques d'analyse statique pour détecter les vulnérabilités et les erreurs logiques avant l'exécution du code. - Explorer les tests basés sur les propriétés pour valider le comportement du logiciel sur une vaste gamme d'entrées. - Apprendre les bases des preuves formelles pour fournir des garanties mathématiques de la correction du programme. - Intégrer des outils d'analyse automatisée dans les flux de travail de développement modernes pour maintenir une haute qualité de code. Le programme commence par la terminologie essentielle et les cadres logiques utilisés dans l'analyse logicielle. Vous progresserez ensuite à travers la théorie et l'application de l'exécution de tests automatisés, de l'analyse statique et des stratégies de vérification formelle. Ce cours est conçu pour les développeurs débutants et les étudiants qui souhaitent aller au-delà du débogage manuel ; aucune expérience préalable des méthodes formelles n'est requise. Commencez à construire des logiciels plus fiables et plus sécurisés grâce à la puissance de l'analyse automatisée.