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

Séance de cours

Objets test-and-set

Description

Cette séance de cours couvre les limites des registres binaires et des objets test-and-set pour parvenir à un consensus entre les processus. Il explique les états critiques et les états bivalents dans les algorithmes de consensus, soulignant l'impossibilité de parvenir à un consensus pour trois processus utilisant des objets test-and-set.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace

Source officielle

Concepts associés (17)

Test driven development

Test-Driven Development (TDD), ou développement piloté par les tests en français, est une méthode de développement de logiciel qui consiste à concevoir un logiciel par des itérations successives très courtes (ou petits pas), telles que chaque itération est accomplie en formulant un sous-problème à résoudre sous forme d'un test avant d'écrire le code source correspondant, et où le code est continuellement remanié dans une volonté de simplification. À l'origine, il s'agissait simplement d'écrire les tests avant de coder, et cette méthode s'appelait le Test-First Design.

Mock (programmation orientée objet)

En programmation orientée objet, les mocks (simulacres ou mock object) sont des objets simulés qui reproduisent le comportement d'objets réels de manière contrôlée. Un programmeur crée un mock dans le but de tester le comportement d'autres objets, réels, mais liés à un objet inaccessible ou non implémenté. Ce dernier est alors remplacé par un mock. Le concept a été utilisé pour la première fois lors de la conférence XP 2000, dans un article de Tim Mackinnon, Steve Freeman et Philip Craig intitulé Endo-Testing: Unit Testing with Mock Objects.

Automatisation de test

L'automatisation de test permet de jouer à volonté des tests de régression à la suite de la livraison d'une nouvelle version d'une application. L'automatisation d'un test n'a de sens que si le test répond à un certain nombre de critères : le test est systématique : il doit être exécuté à chaque nouvelle version de l'application. le test est répétitif : il est présent dans de nombreux scénarios de test. le test est automatisable : il est possible techniquement de faire jouer le test par un robot.

Test unitaire

En programmation informatique, le test unitaire (ou « T.U. », ou « U.T. » en anglais) est une procédure permettant de vérifier le bon fonctionnement d'une partie précise d'un logiciel ou d'une portion d'un programme (appelée « unité » ou « module »). Dans les applications non critiques, l'écriture des tests unitaires a longtemps été considérée comme une tâche secondaire. Cependant, les méthodes Extreme programming (XP) ou Test Driven Development (TDD) ont remis les tests unitaires, appelés « tests du programmeur », au centre de l'activité de programmation.

Test Z

En statistique, un test Z est un terme générique désignant tout test statistique dans lequel la statistique de test suit une loi normale sous l'hypothèse nulle. On considère un n-échantillon avec et un risque . Si l'on teste La statistique de test sous l'hypothèse nulle est : qui suit une loi normale Si , la réalisation de la statistique de test, est supérieur au quantile d'ordre de la loi alors on rejette l'hypothèse nulle. Si l'on teste Si est supérieur au quantile d'ordre de la loi alors on rejette l'hypothèse nulle.

Afficher plus

Séances de cours associées (9)

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.

Essais d'hypothèses : aperçu statistique

Fournit un aperçu des tests d'hypothèses, des valeurs p, des tests Wald et des statistiques non paramétriques.

Transients hydrauliques des turbines: modélisation hydroacoustique Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la modélisation, la stabilité et le développement historique des turbines hydrauliques, en mettant l'accent sur les critères de sélection des turbines Francis.

Tests automatisés : stratégies et meilleures pratiques Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les stratégies de test automatisées, y compris la couverture du code et diverses techniques de test, pour assurer un développement logiciel fiable.

Stratégies de test : couverture et qualité du code Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les stratégies de test, en mettant l'accent sur la couverture et la qualité du code dans le développement de logiciels à travers diverses méthodologies de test et des exemples pratiques.

Afficher plus

Concepts associés (17)

Test driven development

Mock (programmation orientée objet)

Automatisation de test

Test unitaire

Test Z

Afficher plus