HexHive: Recherche et impact

Description

Cette séance de cours s'inscrit dans le projet HexHive, mettant l'accent sur des questions de recherche clés telles que la détection efficace des violations de la sécurité, la production automatique de cas d'essai et les essais d'échelle vers des dépôts à grande source. Il explore des techniques telles que le flou, la désinfection, et les mesures d'atténuation pour les bogues de prune et arrêter l'exploitation, avec des applications du monde réel dans Android, iOS, noyau Linux, et Mozilla Firefox. L'impact de la recherche est mis en évidence par des collaborations avec des géants de l'industrie comme Apple, Google et Mozilla. La séance de cours met également en valeur les carrières réussies des diplômés de HexHive dans des établissements de recherche et des entreprises de premier plan.

Connectez-vous pour regarder la vidéo

Source officielle

https://mediaspace.epfl.ch/media/0_lr2vmjaa

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Séances de cours associées (2)

Concepts associés (47)

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.

Collaboration

La collaboration est l'acte de travailler ou de réfléchir ensemble pour atteindre un objectif. Dans son sens commun, la collaboration est un processus par lequel deux ou plusieurs personnes ou organisations s’associent pour effectuer un travail intellectuel suivant des objectifs communs. Des méthodes structurées de collaboration encouragent l'introspection de comportements et communication. Ces méthodes ont pour objectif spécifique l'augmentation du taux de réussite des équipes quand elles se livrent à la résolution de problèmes en collaboration.

Collaboration massive

La collaboration de masse est une forme d'action collective qui a lieu lorsqu'un large nombre de personnes travaillent plus ou moins indépendamment sur un unique projet, souvent de nature modulaire. Ce type de projets est typiquement mené sur des plateformes internet par le biais de logiciels sociaux comme wiki technologies. On peut envisager des exemples publics comme des exemples privés. Wikipédia est un exemple de coopération/collaboration de Masse publique.

Fuzzing

Le fuzzing (ou test à données aléatoires) est une technique pour tester des logiciels. L'idée est d'injecter des données aléatoires dans les entrées d'un programme. Si le programme échoue (par exemple en plantant ou en générant une erreur), alors il y a des défauts à corriger. Exemples de points d'entrée d'un programme : Fichiers Périphériques (clavier, souris, etc.) Variables d'environnement Réseau Limitation des ressources (mémoire, disque dur, temps CPU, etc.) etc.

Model-based testing

vignette|Diagramme du model-based testing Le model-based testing (MBT) est une activité qui permet de concevoir et de dériver (de manière automatique ou non) des cas de tests à partir d'un modèle abstrait et haut niveau du système sous test (SUT). Le modèle est dit abstrait car il offre bien souvent une vue partielle et discrète des comportements attendus d'un logiciel ou d'un système. Sur la base de modèles abstraits, des cas de test peuvent être dérivées sous la forme de suites de tests.