LOG A2024

Rôle des structures discrètes en génie informatique et en génie logiciel. Ensembles et logique de base. Techniques de preuves : règles d'inférence et de déduction. Relations et fonctions. Algorithmes : définition, analyse, récursivité. Théorie des nombres : arithmétique, congruences, application à la cryptographie. Éléments de combinatoire : énumération, permutations et combinaisons. Relations de récurrence. Théorie des graphes. Arbres. Langages et grammaires, automates finis, machines de Turing.

Software release engineering process: integration, build, multi-staged testing, deployment, release and operations. Definition and base concepts of mining software repositories. Different types of repositories: version control, bug reports, code review, mailing lists, StackOverflow, project ecosystems, collaboration platforms. Techniques for empirical analysis of repositories: data mining, statistical analysis, natural language processing, source code analysis, qualitative analysis. Integration: configuration management, branching patterns, feature toggles, merge conflicts. Build: maintenance and verification of build, build failures, continuous integration, infrastructure-as-code, software configuration. Multi-staged testing: bug prediction, test selection, continuous testing. Deployment/release: large-scale distributions, deployment/release strategies, source code provenance, app stores. Operations: log analysis, rollback.

Caractéristiques des logiciels pour le Web. Notions de client, de serveur et de logiciels distribués. Conception d'applications Web pour la génération dynamique de contenu et la gestion d'interactions avec les utilisateurs. Structure d'un document HTML (HyperText Markup Language). Mise en forme d'un document HTML par l'utilisation de CSS (Cascading Style Sheet). Programmation du côté client et du côté serveur. Présentation générale de l'architecture du web et du protocole HTTP (HyperText Transfer Protocol). Approches à la vérification: stratégie et planification des tests, évaluation de tests. Tests unitaires et tests d'intégration. Tests à boîte noire, vérification fonctionnelle d'une application et tests d'acceptation.

Réalisme des personnages en intelligence artificielle. Conception de règles de jeu. Sensibilisation à l'utilisation de la physique dans un jeu pour mieux percevoir et agir sur son environnement: intégration de bibliothèque de physique du jeu vidéo, lancer de rayon, cinématique inverse, voxelisation. Sensibilisation à l'animation : vallée dérangeante, animation faciale. Sensibilisation à la génération de contenu procédural: algorithmes génératifs pour la voix, les animations, les niveaux, les personnages, les situations rencontrées, ainsi que le contrôle dynamique et personnalisé de la difficulté du jeu. Navigation. Boucles de perception, de décision et d'action. Systèmes complexes et efficacité.

Importance de la validation et de la vérification dans le processus du génie logiciel. Méthodes de test et de validation. Classification des méthodes. Rappel des méthodes de test structurel. Méthodes de test fonctionnel. Génération de tests pour automates finis. Stratégies de tests d'intégration et d'installation pour programmation procédurale et orientée objet. Approches statistiques en validation et en vérification. Méthodes du développement pour assurer la fiabilité. Planification des activités de test du logiciel.

Conception et réalisation en équipe d'un produit logiciel nécessitant l'application de notions et de méthodes acquises préalablement dans le programme de génie logiciel. Les étudiants auront recours à une méthodologie de conception et de gestion nécessaire pour la réalisation d'un produit logiciel. Une attention particulière sera accordée à l'assurance qualité. Pour chacune des étapes, l'étudiant utilisera les outils logiciels appropriés. L'étudiant mettra en pratique un processus structuré de GL tel que UPEDU (Unified Process for Education) et utilisera quelques pratiques des méthodes Agiles.

Évolution et maintenance d'un système logiciel. Ce cours-projet intègre les connaissances acquises en ingénierie des exigences, en analyse et conception et en validation et test de logiciel. Il met en pratique les notions acquises sur le processus de développement du logiciel. Tous les travaux sont réalisés en équipe.