Ce cours présente les techniques de pointe en matière d'analyse automatisée. L'analyse automatisée englobe à la fois des approches visant à générer automatiquement un très grand nombre de tests pour vérifier si les programmes répondent aux exigences, et des moyens par lesquels il est possible de *prouver* que le logiciel répond aux exigences et qu'il est exempt de certains défauts courants, tels que la division par zéro, le débordement/sous-débordement, le blocage, la liberté des conditions de course, le débordement de la mémoire tampon/du tableau, les exceptions non capturées, et plusieurs autres bogues courants qui peuvent conduire à des défaillances de programme ou à des problèmes de sécurité. L'apprenant se familiarisera avec la théorie fondamentale et les applications de ces approches, et appliquera une variété de techniques d'analyse automatisée sur des programmes d'exemple.

A l'issue de ce cours, l'apprenant sera capable de : - Comprendre les fondements de la vérification automatisée : randomisation et représentations symboliques - Distinguer les forces et les faiblesses des tests aléatoires, de l'analyse symbolique, de l'analyse statique et du model checking - Utiliser une variété d'outils d'analyse statique et de tests automatisés de pointe pour la vérification automatisée - Créer des exigences exécutables en tant qu'oracle convenant aux tests automatisés et à l'analyse symbolique - Comprendre comment le choix de l'oracle affecte la recherche de fautes pour les stratégies d'analyse automatisée. - Utiliser les tests automatisés pour atteindre une couverture de mutation complète - Créer un plan de test qui utilise à la fois des tests écrits manuellement et des tests automatisés pour maximiser la rigueur, minimiser l'effort et le temps, et minimiser les coûts de test. Ce cours est destiné aux apprenants intéressés par la compréhension des principes de l'automatisation et l'application d'outils pour l'analyse et le test de logiciels Cette connaissance pourrait bénéficier à plusieurs rôles typiques : Ingénieur logiciel, Ingénieur logiciel en test, Ingénieur en automatisation des tests, Ingénieur DevOps, Développeur logiciel, Programmeur, Passionné d'informatique. Nous attendons de vous une certaine familiarité avec le cycle de vie du développement logiciel, une compréhension des fondamentaux du test logiciel, similaire à ce qui est couvert dans les cours Introduction au test logiciel et Tests boîte noire et boîte blanche. La connaissance d'un langage orienté objet tel que Java ou la capacité à assimiler rapidement la syntaxe Java pour écrire et modifier du code, ainsi que la volonté d'utiliser des outils et des IDE sont supposées.

Les applications modernes que nous créons ont invariablement des points de contact avec leurs utilisateurs par l'intermédiaire de plateformes web et mobiles. Les utilisateurs interagissent avec le logiciel par l'intermédiaire de ces interfaces et les expériences que ces interfaces fournissent ont une forte influence sur la qualité perçue du logiciel.

Le rythme auquel les applications modernes déploient de nouvelles versions et fonctionnalités exige une priorisation minutieuse des efforts de test et une exécution rapide grâce à l'automatisation. Les techniques et les méthodes de test de ces applications seront au centre de ce cours. Nous couvrirons les concepts clés relatifs aux tests des plateformes web et mobiles, les techniques sous-jacentes et l'utilisation de Selenium comme cadre de travail pour automatiser les tests de ces applications. L'apprenant acquerra une base solide dans les principes de tests web et mobiles et la capacité d'utiliser un cadre de travail de test pour automatiser l'exécution des tests.