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

Tests logiciels : éviter et corriger les bugs

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (49)

Sélection des concepts et exploration de l'espace commercial Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la sélection des concepts, la méthode Pugh Matrix, les examens préliminaires de conception, l'intégration des systèmes et la vérification dans l'ingénierie des systèmes.

Opérations de mémoire: alignement des données et Endianness Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les opérations de mémoire, l'endianness, le mode basse consommation, le débogage et l'interface avec les circuits.

Bibliothèques externes et Doxygen Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la compilation, la liaison, les bibliothèques externes, la documentation Doxygen et Google Test pour les tests unitaires C ++.

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é.

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.

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.

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.

Test basé sur la propriété: QuickChick Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les tests basés sur des propriétés en utilisant QuickChick, en mettant l'accent sur l'exactitude des logiciels, les spécifications et le contrôle dynamique du flux d'information.

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

Couvre le processus de refacturation et de débogage du code dans le développement de logiciels.

Correspondance logicielle: Test et vérification Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'exactitude des logiciels grâce à des tests, à la vérification, au flou de propriété et au contrôle dynamique du flux d'information.

Programmation scientifique pour les ingénieurs: introduction à GIT Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la programmation scientifique pour les ingénieurs, en soulignant l'importance de GIT pour le travail collaboratif et en fournissant un aperçu des défis du développement de logiciels scientifiques.

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.

Sans titre Connectez-vous à Mediaspace pour regarder cette vidéo

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.

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.

Conception pour la testabilité: Techniques et matériel Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les techniques DFT, la conception de numérisation, JTAG boundary scan et la logique de test du système.

Simulation réseau : Activité spontanée et validation Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'activité spontanée du réseau cérébral, la simulation neuronale et la validation, soulignant l'importance des conditions in-vitro et in-vivo pour une modélisation précise du réseau.

Modélisation de données : régression Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit la modélisation fondée sur les données en mettant l'accent sur la régression, couvrant la régression linéaire, les risques de raisonnement inductif, l'APC et la régression des crêtes.

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

Couvre les bases des moindres carrés ordinaires (OLS) en économétrie, y compris les relations variables, la détermination des coefficients et linterprétation du modèle.

Page 2 sur 3