Séance de cours

Déboguement

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Dans cours

CS-305: Software engineering

This course teaches the basics of modern software development: designing software, working in a team, writing good code, shipping software, and evolving software. It emphasizes building software that meets high standards of quality, reliability, security, ...

Description

Cette séance de cours porte sur des sujets tels que les tests par rapport à la vérification formelle, le développement de tests entraînés (TDD), l'atteinte d'une couverture de ligne et de branche à 100 %, l'injection de dépendance et l'importance de l'écriture de tests. Il examine également les conventions sur les mauvais noms, l'importance des commentaires, les techniques de débogage et les solutions pour les questions communes de codage.

Enseignant·e

George Candea

Enseignement et PhD Doctorant·es actuel·les Lucas Lopes Cendes, Can Cebeci, Jiacheng Ma, Fan Chung A dirigé les thèses EPFL de Horatiu Jula, Cristian Zamfir, Vitaly Chipounov, Silviu Andrica, Stefan Bucur, Baris Can Cengiz Kasikci, Volodymyr Kuznetsov, Jonas Wagner, Rishabh Iyer, Solal Pirelli, Yan Lei A co-dirigé les thèses EPFL de Radu Banabic, Arseniy Zaostrovnykh Cours Principles of computer systems CS-522 LA VERSION ANGLAISE FAIT FOICe cours avancé se concentre sur les principes fonda

Source officielle

Proximité ontologique

Génie informatique

Développement de logiciel: Software development process

Concepts associés (25)

Débogueur

Un débogueur ou débugueur (de l'anglais debugger) est un logiciel qui aide un développeur à analyser les bugs d'un programme. Pour cela, il permet d'exécuter le programme pas-à-pas , d'afficher la valeur des variables à tout moment et de mettre en place des points d'arrêt sur des conditions ou sur des lignes du programme. Il s'agit de l'application à la programmation informatique du processus de troubleshooting. Le programme à déboguer est exécuté à travers le débogueur et s'exécute normalement.

Debugging

In computer programming and software development, debugging is the process of finding and resolving bugs (defects or problems that prevent correct operation) within computer programs, software, or systems. Debugging tactics can involve interactive debugging, control flow analysis, unit testing, integration testing, , monitoring at the application or system level, memory dumps, and profiling. Many programming languages and software development tools also offer programs to aid in debugging, known as debuggers.

Symbole (informatique)

En programmation informatique, un symbole est une étiquette apposée sur certains éléments du code objet, du bytecode ou d'un arbre syntaxique abstrait, permettant de les identifier sous cette forme transformée du code source. Un symbole est très proche d'un identificateur du langage source, mais le concept d'identificateur ne recouvre pas totalement le concept de symbole. Le meilleur exemple en est la décoration de nom effectué par les compilateurs C++ qui consiste à trouver un symbole unique pour un identificateur dont le nom est surchargé.

GNU Debugger

GNU Debugger, également appelé GDB, est le débogueur standard du projet GNU. Il est portable sur de nombreux systèmes type Unix et fonctionne pour plusieurs langages de programmation, comme le C, C++, Fortran, Ada, Objective-C, et le Go. Il fut écrit par Richard Stallman en 1988. GDB est un logiciel libre, distribué sous la licence GNU GPL. GDB a été écrit en premier par Richard Stallman en 1986 en parallèle de son système GNU, après que GNU Emacs ait été considéré comme "raisonnablement stable".

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.

Afficher plus

Séances de cours associées (64)

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.

Opérations de mémoire: alignement des données et Endianness

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

Ingénierie logicielle : étapes de développement et gestion des erreurs

Couvre les aspects essentiels du génie logiciel, en se concentrant sur la compréhension des étapes du développement de programmes et de la gestion des erreurs.

Tests automatisés : stratégies et meilleures pratiques

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.

Développement de logiciels : débogage, essais et gestion de code

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

Afficher plus

Concepts associés (25)

Débogueur

Debugging

Symbole (informatique)

GNU Debugger

Test driven development

Afficher plus