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

Concept

Automatisation de test

Séances de cours associées (30)

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.

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.

Tests logiciels : éviter et corriger les bugs

Souligne le rôle essentiel des tests logiciels dans la prévention et la résolution des bogues pendant le développement.

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.

Bugs de programmation : Compréhension, réparation et prévention

Explore les défis de programmation, les techniques de débogage, les tests de logiciels et les pratiques de sécurité dans le développement de logiciels.

Ingénierie des logiciels Fondements

Introduit les fondamentaux de l'ingénierie logicielle, couvrant le traitement de l'instruction, les algorithmes, les langages de programmation, les abstractions, les tests, la sécurité et l'open source.

Pools d'enseignement : Rejet automatique des demandes d'assistance technique

Explique la gestion des postes d'AT et le rejet automatique des demandes en instance.

Test unitaire en Java: Arrays

Discute des tests unitaires pour les tableaux Java et des méthodes pour trouver le min, la moyenne et le tri.

Stage de test logiciel chez OPPO en Suisse

Présente l'expérience de stage de test de logiciels d'un étudiant à la maîtrise chez OPPO en Suisse, en mettant l'accent sur la satisfaction du client et l'expérience utilisateur.

Tests de logiciels chez Young Technology

Explore le stage d'un étudiant en test de logiciels pour les téléphones Opel en Suisse.

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.

Gestion de projet : Gestion de portefeuille Connectez-vous à Mediaspace pour regarder cette vidéo

Se concentre sur la planification, l'exécution et la participation des utilisateurs clés pour une gestion de projet efficace.

Tests basés sur les propriétés: techniques et applications avancées Connectez-vous à Mediaspace pour regarder cette vidéo

Explore des techniques de test logiciel avancées, y compris les tests basés sur les propriétés et diverses formes de fuzzing, pour tester efficacement des systèmes complexes.

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.

Présentation du module Utilisateurs clés de l'équipement Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la présentation du module des utilisateurs clés de l'équipement et son accent sur la planification, le chargement des données et les essais d'intégration.

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.

Qualité du logiciel: Stop Worrying, Love the Tests Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la qualité des logiciels, la gestion des défauts, l'importance des tests et des exemples réels d'impacts de bogues.

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.

Objets test-and-set Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les limites des registres binaires et des objets test-and-set pour parvenir à un consensus entre les processus.

Défaillance du chemin d'accès Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les défauts liés et non liés dans les systèmes VLSI, les algorithmes de test de mars, les chemins critiques et les tests de défaut de retard de chemin.