Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Correspondance logicielle: Test et vérification

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (48)

Développement de logiciels : débogage, essais et gestion de code Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les meilleures pratiques de développement, de débogage, de test et de gestion de code pour des logiciels fiables.

Qualité des logiciels: Gestion des défauts et des stratégies d'essai Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la gestion des défauts, des stratégies d'essai et des défis en matière de qualité des logiciels, avec des exemples du monde réel et des études de cas.

Traitement des demandes de renseignements avec les opérations relationnelles Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le traitement des requêtes avec des opérations relationnelles, y compris l'optimisation des requêtes et différents algorithmes de jonction.

Tri d'insertion : bases et analyse Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit le tri d'insertion, en expliquant ses bases, son processus d'insertion et son analyse de l'exactitude.

Développement de logiciels : débogage, essais et gestion de code Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les pratiques exemplaires en matière d'élaboration, de débogage, d'essai et de gestion des codes, en mettant l'accent sur l'exactitude, la documentation et l'efficacité.

Hashing et tri Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le hachage, le tri, le hachage extensible, le hachage linéaire et le tri externe.

Raisonnement du programme d'aide à l'apprentissage Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la recherche de bugs, la vérification et l'utilisation d'approches aidées à l'apprentissage dans le raisonnement de programme, montrant des exemples comme le bug Heartbleed et le raisonnement bayésien différentiel.

Snowpack Théorie Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la théorie du manteau neigeux, couvrant l'installation, les processus et les mécanismes impliqués dans la formation du manteau neigeux et la conservation de l'énergie.

Vérification et validation : essais et gestion des risques Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les méthodologies de test, la gestion des risques et le processus d'examen de la préparation au vol en ingénierie des systèmes.

Optimisation des requêtes : Modèles d'exécution Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les modèles de codage, d'optimisation et d'exécution des requêtes Run-Length pour un traitement efficace des requêtes.

Ingénierie Logicielle Vue d'ensemble Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la notation, l'organisation, les conditions préalables, l'infrastructure, les défis, les tests, les outils de développement et les raisons d'étudier l'ingénierie logicielle.

Construire un magasin Haystack simplifié pour la gestion des images Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre un projet de construction d'une version simplifiée du magasin Haystack pour une gestion et une récupération d'images efficaces.

Concevoir des systèmes d'intervalles officiellement corrects Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la conception de systèmes intermittents formellement corrects pour les plates-formes de calcul de bord extrême, mettant l'accent sur la justesse, la fiabilité et la sécurité.

Série Laurent et Convergence : les fondamentaux de l’analyse complexe Connectez-vous à Mediaspace pour regarder cette vidéo

Présente la série Laurent en analyse complexe, en se concentrant sur les fonctions de convergence et d'analyse.

Introduction au logarithme Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'introduction aux logarithmes, aux notations algorithmiques et à l'analyse des temps de déplacement des algorithmes.

Filtrer et trier la liste des professeurs Connectez-vous à Mediaspace pour regarder cette vidéo

Explique comment filtrer et trier une liste de professeurs selon différents critères.

Moodle Basics: Commencer Connectez-vous à Mediaspace pour regarder cette vidéo

Présente les principes fondamentaux de l'utilisation de Moodle à l'EPFL, couvrant l'accès au cours, la visibilité, l'inscription et la navigation.

Théorie de groupe: Séance d'apprentissage actif Connectez-vous à Mediaspace pour regarder cette vidéo

Déplacez-vous dans la théorie de groupe, en mettant l'accent sur le centralisateur des éléments et la classification des groupes abeliens finis.

Sparsest Cut : le théorème de Bourgain Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le théorème de Bourgain sur la coupe la plus clairsemée dans les graphes, en mettant l'accent sur la sémimétrie et l'optimisation des coupes.

Essai des systèmes VLSI: ATTPG et couverture par défaut Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la génération de vecteurs de test, les algorithmes ATPG, la couverture des défauts et la sensibilisation au chemin dans les systèmes VLSI.

Page 2 sur 3