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

Concept

Model-based testing

Séances de cours associées (30)

Tests de propriétés : distributions uniformes

Couvre les tests de propriétés par rapport aux distributions uniformes en utilisant l'approche plug-in.

Estimation de la propriété et famille exponentielle

Couvre les statistiques de test, les valeurs seuils et les limites inférieures pour l'estimation des propriétés.

Brises de l'apprentissage automatique

Couvre les bases de l'apprentissage automatique, les défis en matière de déploiement, les attaques contradictoires et les préoccupations en matière de protection de la vie privée.

Modélisation des flux de trafic: élaboration et essais de modèles de trafic MOOC: Introduction à la modélisation des flux de trafic et aux systèmes de transport intelligents

Couvre les principes fondamentaux de la modélisation des flux de trafic, y compris la classification des modèles et les techniques d'essai.

Gestion de la thèse de doctorat

Couvre la gestion des thèses de doctorat, y compris l'évaluation des candidats et la présentation de la thèse.

Tests de propriétés : distribution uniforme

Couvre les tests de propriétés pour des distributions uniformes et l'importance de prédictions fiables.

Monolithe flottant: défis d'ingénierie

Plonge dans les défis d'ingénierie de la création d'un monolithe flottant pour Expo02.

Modélisation physique et numérique: Constructions hydrauliques et loi de similitude

Explore la modélisation physique et numérique dans l'hydraulique fluviale, en mettant l'accent sur les constructions hydrauliques et la loi de similitude.

Tests basés sur la propriété: techniques avancées

Explore les techniques de test logiciel avancées, y compris les tests basés sur les propriétés, pour assurer l'exactitude du code et améliorer la qualité du logiciel.

Essais de propriétés

Couvre le concept de test de propriété en utilisant des méthodes statistiques.

Pourquoi et comment on simule un réseau

Explore la simulation du comportement du réseau, les stratégies de test, l'analyse des états stables et l'étude des régimes du réseau.

Introduction: Fondements de la science des données

Couvre l'estimation de la distribution, les tests de propriétés et les bandits multibras dans la science des données.

Bandits à bras multiples : Estimation de la distribution

Couvre les bandits multi-bras et l'estimation de la distribution, soulignant l'importance des estimateurs robustes.

Thèse Activation électronique et intégration iTherticate

Couvre l'activation des thèses électroniques et l'intégration iThenticate dans le processus doctoral.

HexHive: Recherche et impact

Explore les questions de recherche du projet HexHive, les techniques d'élagage des bogues et les collaborations de l'industrie, mettant en évidence ses diplômés influents.

Tests de prédiction MOOC: Introduction aux modèles de choix discrets

Explore la validation hors échantillon et la méthodologie de validation croisée pour tester des modèles prédictifs.

Tests automatisés : Fuzzing et sanitisation

Explore le flou, les oracles de bogues, les revues de codes et les techniques de test automatisé, soulignant l'importance de la désinfection pour détecter les défauts.

Essais numériques MOOC: Analyse Numérique pour Ingénieurs

Explique les méthodes d'essai numériques et le processus d'intégration avec des exemples.

Spécification et vérification d'un client léger Blockchain

Couvre la conception, la mise en œuvre et la vérification formelle des systèmes distribués, en se concentrant sur les systèmes et organisations distribués vérifiables.

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.