#

Points clés

• Microsoft indique que des agents d'IA aident à moderniser de très vastes bases de code.

• L'entreprise associe les agents à l'analyse statique, aux tests et à la vérification formelle.

• Des experts humains valident toujours les bases de connaissances et traitent les cas ambigus.

• Microsoft affirme que la vérification est plus difficile que la génération de modifications.

• La source ne signale aucun déploiement ni partenariat au Maroc.

L'approche de Microsoft axée sur la vérification

Microsoft a publié le 26 octobre un compte rendu technique sur l'utilisation d'agents d'IA pour moderniser de très vastes bases de code logiciel. Les projets mentionnés incluent Windows et Azure. Les auteurs décrivent des travaux allant du déplacement d'une base de code d'environ 400 millions de lignes vers une autre chaîne d'outils de compilation à la réécriture de composants hérités en C et C plus plus en Rust.

Le message central est simple. Produire des modifications de code est plus facile que prouver que ces modifications préservent le comportement, la sécurité et l'intention d'ingénierie. Microsoft structure son travail autour de cet écart. L'entreprise indique avoir combiné des agents avec l'analyse statique, les tests et la vérification formelle depuis 2024.

Comment le flux de travail des agents est structuré

Microsoft décrit un schéma de migration dans lequel les agents élaborent d'abord une base de connaissances candidate à partir de résultats échantillonnés. Un agent réviseur vérifie ensuite les correctifs proposés pour leur exactitude, leur minimalité, leur cohérence et leur maintenabilité. Des experts humains valident la base de connaissances et traitent les cas nouveaux ou ambigus. Ils ne relisent pas chaque modification répétitive.

Cette configuration déplace une partie du travail de la revue manuelle vers la planification par les agents et l'utilisation d'outils. Les auteurs indiquent que les agents planifient de plus en plus le travail et appellent des outils conçus par des ingénieurs. Cela suggère un flux de travail où l'agent n'agit pas seul. Il opère dans un processus d'ingénierie contrôlé.

Modernisation des langages et tests

Pour la modernisation des langages, Microsoft privilégie la traduction d'une fonctionnalité visible par l'utilisateur à la fois. L'entreprise associe cette approche à des tests de scénarios et à des comparaisons différentielles avec le comportement d'origine. Elle retient aussi certains tests hors de portée de l'agent. L'objectif est de mettre à l'épreuve la robustesse.

Il s'agit d'un détail opérationnel important. La source montre que Microsoft ne considère pas la génération de code comme l'étape finale. Elle utilise les tests pour comparer les sorties, révéler les différences et vérifier si le nouveau code se comporte comme l'ancien. Le processus est conçu pour détecter les régressions avant qu'elles ne se propagent dans un grand système.

Spécifications formelles et Verus

Microsoft décrit aussi une étape plus récente. L'entreprise extrait des spécifications formelles à partir du code source et utilise Verus pour vérifier le Rust traduit par rapport à ces spécifications. Cela ajoute une couche de vérification supplémentaire au-delà des tests et de l'analyse statique.

Les auteurs laissent aussi ouverte une question clé. Ils se demandent si les spécifications inférées par l'IA capturent le comportement voulu plutôt que des bogues existants. C'est une limite importante. Si une spécification reflète un bogue déjà présent dans la source, la vérification peut confirmer avec une grande confiance le mauvais comportement.

Ce que le rapport affirme et n'affirme pas

La source est prudente quant au périmètre. Elle présente l'approche d'ingénierie de Microsoft. Elle n'affirme pas que tout le code généré ou toutes les migrations sont vérifiés. Elle ne dit pas non plus que chaque modification est sûre par défaut. Elle montre plutôt un processus en couches qui combine agents, réviseurs, tests et méthodes formelles.

Cette distinction est importante. Le rapport porte sur la manière dont Microsoft cherche à rendre la modernisation pilotée par des agents digne de confiance. Il ne s'agit pas d'une garantie générale sur les systèmes de codage par IA. La valeur vient des contrôles environnants, et non de la génération seule.

Pertinence pour le Maroc

La source ne signale aucun déploiement ni partenariat au Maroc. Pour les lecteurs, la leçon globale est conditionnelle : si une organisation utilise des agents d'IA pour la modernisation, elle doit les associer à la revue, aux tests et à la vérification plutôt que de faire confiance aux modifications générées seules.

Pourquoi cela compte pour les équipes d'ingénierie

L'article met en lumière un schéma pratique pour les grandes migrations. Découper le travail en unités plus petites. Comparer le comportement avec celui du système d'origine. Garder des humains dans la boucle pour les cas ambigus. Utiliser des vérifications formelles lorsque c'est possible.

Il montre aussi que la vérification peut être progressive. Certains contrôles passent par les tests. D'autres passent par des agents réviseurs. D'autres encore passent par des spécifications formelles. Ce modèle en couches est l'idée principale de la source. C'est aussi le signal le plus clair que la modernisation à grande échelle dépend du processus, et pas seulement de la sortie du modèle.