Séance de cours

Ingénierie des logiciels Fondements

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.

Description

Cette séance de cours couvre les bases des ordinateurs, des logiciels, des systèmes et de l'ingénierie. Les sujets abordés comprennent le traitement de l'instruction, le flux de contrôle, les algorithmes, les langages de programmation, les abstractions, la modularisation, les bibliothèques, les cadres, la qualité du code, les tests, la sécurité, la vérifiabilité et l'open source. L'accent est mis sur l'ingénierie itérative, la sécurité par la conception, la correction des bogues, et l'importance de la collaboration et des tests dans le développement de logiciels.

Source officielle

Proximité ontologique

Génie informatique

Développement de logiciel: Software development process

Matériel informatique: Microprocesseur

Concepts associés (32)

Digital imaging

Digital imaging or digital image acquisition is the creation of a digital representation of the visual characteristics of an object, such as a physical scene or the interior structure of an object. The term is often assumed to imply or include the , , , printing and display of such images. A key advantage of a , versus an analog image such as a film photograph, is the ability to digitally propagate copies of the original subject indefinitely without any loss of image quality.

Test (informatique)

vignette|Une programmeuse écrivant du code Java avec JUnit. En informatique, un test désigne une procédure de vérification partielle d'un système. Son objectif principal est d'identifier un nombre maximal de comportements problématiques du logiciel. Il permet ainsi, dès lors que les problèmes identifiés seront corrigés, d'en augmenter la qualité. D'une manière plus générale, le test désigne toutes les activités qui consistent à rechercher des informations quant à la qualité du système afin de permettre la prise de décisions.

Qualité logicielle

En informatique et en particulier en génie logiciel, la qualité logicielle est une appréciation globale d'un logiciel, basée sur de nombreux indicateurs. La complétude des fonctionnalités, la correction et précision des résultats, la fiabilité, la tolérance de pannes, la facilité et la flexibilité de son utilisation, la simplicité, l'extensibilité, la compatibilité et la portabilité, la facilité de correction et de transformation, la performance, la cohérence et l'intégrité des informations qu'il contient sont tous des facteurs de qualité.

Trust (droit anglais)

Le trust est un acte juridique unilatéral sanctionné par l’Equity, dans lequel un individu ou une personne morale (le settlor) transfère des actifs au trust et confère le contrôle de ces biens à un ou plusieurs tiers ou à une ou plusieurs institutions pour le compte du ou des bénéficiaire(s). Il est également possible que le trust existe pour atteindre un but spécifique. Les bénéficiaires peuvent être le settlor lui-même, son époux(se), ses enfants, mais de nombreuses autres options sont possibles (par ex: des œuvres de charité ou des associations).

Test de validation

Un test de validation est un type de test informatique qui permet de vérifier si toutes les exigences client, décrites dans le document de spécification du logiciel, sont respectées. Les tests de validation se décomposent généralement en plusieurs phases : Validation fonctionnelle : les tests fonctionnels assurent que les différents modules ou composants implémentent correctement les exigences client. Ces tests peuvent être de type valide, invalide, inopportuns, etc.

Afficher plus

Séances de cours associées (64)

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.

Données, big data, nuages et IoT

Explore la représentation des données, les bases de données, le cloud computing et les défis dans l'environnement cloud.

Qualité des logiciels: Gestion des défauts et des stratégies d'essai

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.

Ingénierie des logiciels: Meilleures pratiques

Couvre les outils et les meilleures pratiques pour l'écriture, le débogage, les tests et la gestion du code.

Analyse de terminaison à l'aide de paires de dépendances

Explore l'analyse automatisée de terminaison à l'aide de paires de dépendances, couvrant les techniques classiques et modernes, les concours annuels et des outils comme AProVE.

Afficher plus

Concepts associés (32)

Digital imaging

Test (informatique)

Qualité logicielle

Trust (droit anglais)

Test de validation

Afficher plus