IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

Programmation parallèle, calcul scientifique et de haute performance (HPC) Discussion :

Microsoft développe une intelligence artificielle (IA) capable de trouver les bogues dans le code


Sujet :

Programmation parallèle, calcul scientifique et de haute performance (HPC)

  1. #1
    Communiqués de presse

    Femme Profil pro
    Rédacteur technique
    Inscrit en
    mai 2018
    Messages
    1 050
    Détails du profil
    Informations personnelles :
    Sexe : Femme
    Âge : 31
    Localisation : France, Paris (Île de France)

    Informations professionnelles :
    Activité : Rédacteur technique
    Secteur : Communication - Médias

    Informations forums :
    Inscription : mai 2018
    Messages : 1 050
    Points : 46 772
    Points
    46 772
    Par défaut Microsoft développe une intelligence artificielle (IA) capable de trouver les bogues dans le code
    Microsoft a mis au point une intelligence artificielle (IA) capable de trouver des bogues dans le code, afin d'aider les développeurs à déboguer leurs applications avec plus de précision et d'efficacité

    Les chercheurs Miltos Allamanis, chercheur principal, et Marc Brockschmidt, directeur principal de la recherche, ont développé leur IA, BugLabs, de la même manière que les réseaux adversariaux génératifs (GAN).

    Microsoft a opposé deux réseaux - l'un conçu pour introduire des petits bogues dans le code existant et l'autre visant à trouver ces bogues. Les deux réseaux sont devenus de plus en plus performants, ce qui a donné naissance à une IA capable d'identifier les bogues cachés dans le code réel.

    L'avantage de cette approche est que le processus est entièrement auto-supervisé et ne nécessite pas de données étiquetées.

    Les résultats sont présentés ci-dessous :

    En théorie, nous pourrions appliquer le jeu de cache-cache à grande échelle, en apprenant à une machine à identifier des bogues arbitrairement complexes. Cependant, de tels bugs sont encore hors de portée des méthodes modernes d'IA. Nous nous concentrons plutôt sur un ensemble de bogues courants. Il s'agit notamment de comparaisons incorrectes (par exemple, l'utilisation de "<=" au lieu de "<" ou ">"), d'opérateurs booléens incorrects (par exemple, l'utilisation de "and" au lieu de "or" et vice versa), de mauvais usages de variables (par exemple, l'utilisation incorrecte de "i" au lieu de "j") et de quelques autres. Pour tester notre système, nous nous concentrons sur le code Python.

    Une fois que notre détecteur est entraîné, nous l'utilisons pour détecter et réparer des bogues dans du code réel. Pour mesurer la performance, nous annotons manuellement un petit ensemble de bogues provenant de paquets dans le Python Package Index avec de tels bogues et nous montrons que les modèles formés avec notre méthode "hide-and-seek" sont jusqu'à 30% meilleurs par rapport à d'autres alternatives, par exemple, les détecteurs formés avec des bogues insérés aléatoirement. Les résultats sont prometteurs et montrent qu'environ 26 % des bogues peuvent être trouvés et corrigés automatiquement. Parmi les bogues que notre détecteur a trouvés, il y avait 19 bogues inconnus auparavant dans du code GitHub open-source réel. Cependant, les résultats ont également montré de nombreux faux positifs, ce qui suggère que des progrès supplémentaires sont nécessaires avant que de tels modèles puissent être déployés en pratique.


    Nom : Figure2_BugLab_Blog.png
Affichages : 9398
Taille : 57,6 Ko

    Ils concluent que leur approche est prometteuse, même si, bien entendu, il reste encore beaucoup à faire pour que ces détecteurs soient fiables et utilisables dans la pratique. Cependant, étant donné le travail de Microsoft sur GitHub pour GPT-3, il est tout à fait possible que ce travail soit commercialisé à terme.

    Source : Microsoft

    Et vous ?

    Que pensez-vous de BugLabs ?
    Croyez-vous que ce projet pourrait être viable à l'avenir ?

    Voir aussi :

    Les développeurs sont-ils trop lents pour innover ou pour déployer de nouvelles fonctionnalités ? la chasse aux bogues, les petites équipes et les limites budgétaires en seraient quelques causes

    Des chercheurs ont mis au point Geneva, une IA capable de contourner la censure de l'Internet, en détectant les bogues et les lacunes dans le système de censure

    Microsoft a mis au point une IA qui peut différencier les bugs dans 99 % des cas, et qui arrive à mesurer la gravité de 97 % des problèmes de sécurité
    Publication de communiqués de presse en informatique. Contribuez au club : corrections, suggestions, critiques, ... Contactez le service news et Rédigez des actualités

  2. #2
    Membre chevronné Avatar de Cpt Anderson
    Profil pro
    Développeur informatique
    Inscrit en
    novembre 2005
    Messages
    554
    Détails du profil
    Informations personnelles :
    Âge : 47
    Localisation : France, Rhône (Rhône Alpes)

    Informations professionnelles :
    Activité : Développeur informatique

    Informations forums :
    Inscription : novembre 2005
    Messages : 554
    Points : 2 086
    Points
    2 086
    Par défaut
    Ca s'appelle un compilateur. C'est vieux comme le métier de développeur presque.
    Voici la méthode de mon chef:

    copy (DateTimeToStr(Now),7,4)+
    copy (DateTimeToStr(Now),4,2)+copy (DateTimeToStr(Now),1,2)+copy (DateTimeToStr(Now),12,2)+
    copy (DateTimeToStr(Now),15,2)+copy (DateTimeToStr(Now),18,2)

    Je lui ai dit que FormatDateTime irait surement mieux


  3. #3
    Membre habitué
    Homme Profil pro
    Data
    Inscrit en
    octobre 2021
    Messages
    41
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Haute Garonne (Midi Pyrénées)

    Informations professionnelles :
    Activité : Data

    Informations forums :
    Inscription : octobre 2021
    Messages : 41
    Points : 185
    Points
    185
    Par défaut
    Je me demandais justement, n'étant pas du tout expert dans le domaine, quelle est la différence avec un compilateur conventionnel

  4. #4
    Membre à l'essai
    Inscrit en
    février 2007
    Messages
    24
    Détails du profil
    Informations forums :
    Inscription : février 2007
    Messages : 24
    Points : 13
    Points
    13
    Par défaut
    Espérons qu'ils vont appliquer cette idée sur leurs propres créations. Ca ne pourrait que leur être profitable.

  5. #5
    Expert éminent sénior
    Homme Profil pro
    Responsable Données
    Inscrit en
    janvier 2009
    Messages
    4 736
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 48
    Localisation : France, Hérault (Languedoc Roussillon)

    Informations professionnelles :
    Activité : Responsable Données

    Informations forums :
    Inscription : janvier 2009
    Messages : 4 736
    Points : 11 382
    Points
    11 382
    Par défaut
    Un compilateur "conventionnel" te dira si la syntaxe de ton code est incorrecte (un point-virgule manquant, une parenthèse oubliée…).
    Mais pour reprendre un exemple cité dans l'article, il ne te dira pas que ta comparaison est incorrecte ("<" au lieu de "<=", "and" au lieu de "or").

    Pour les utilisateurs de Visual Studio, ça me fait penser à Intellicode, mais en plus avancé.

    Tatayo.

  6. #6
    Expert confirmé Avatar de marsupial
    Homme Profil pro
    Retraité
    Inscrit en
    mars 2014
    Messages
    1 432
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : Autre

    Informations professionnelles :
    Activité : Retraité

    Informations forums :
    Inscription : mars 2014
    Messages : 1 432
    Points : 5 394
    Points
    5 394
    Par défaut
    A plus de 60 000 failles logiciels en un an, source dvp, il s'agit d'un produit à fort potentiel à mettre au point.
    Repeat after me
    Le monsieur lutte pour la défense des libertés individuelles et collectives

    Repeat after me...

Discussions similaires

  1. Réponses: 4
    Dernier message: 19/11/2021, 23h35
  2. Réponses: 1
    Dernier message: 26/05/2019, 13h32
  3. Une intelligence artificielle peut-elle être un juge juste dans un tribunal ?
    Par Jonathan dans le forum Intelligence artificielle
    Réponses: 9
    Dernier message: 06/04/2019, 12h41
  4. Réponses: 0
    Dernier message: 27/02/2015, 14h52
  5. [Debutant] Apprendre à créer une Intelligence Artificielle (IA)
    Par Aspic dans le forum Intelligence artificielle
    Réponses: 46
    Dernier message: 21/12/2010, 19h04

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo