{"id":1257,"date":"2026-08-21T14:31:43","date_gmt":"2026-08-21T14:31:43","guid":{"rendered":"https:\/\/matforge.org\/?p=1257","raw":"https:\/\/matforge.org\/?p=1257"},"modified":"2026-08-21T14:31:43","modified_gmt":"2026-08-21T14:31:43","slug":"versioning-reproducibility-and-why-research-software-teams-face-integrity-issues-too","status":"publish","type":"post","link":"https:\/\/matforge.org\/fr\/versioning-reproducibility-and-why-research-software-teams-face-integrity-issues-too\/","title":{"rendered":"Le versioning, la reproductibilit\u00e9 et pourquoi les \u00e9quipes de logiciels de recherche sont \u00e9galement confront\u00e9es \u00e0 des probl\u00e8mes d’int\u00e9grit\u00e9","raw":"Le versioning, la reproductibilit\u00e9 et pourquoi les \u00e9quipes de logiciels de recherche sont \u00e9galement confront\u00e9es \u00e0 des probl\u00e8mes d'int\u00e9grit\u00e9"},"content":{"rendered":"Reading Time: <\/span> 7<\/span> minutes<\/span><\/span>

La question de l’int\u00e9grit\u00e9 ne commence pas \u00e0 la publication<\/h2>\n

L’int\u00e9grit\u00e9 de la recherche dans les sciences lourdes du logiciel commence bien avant qu’un manuscrit ne soit soumis. Dans la simulation des mat\u00e9riaux, la mod\u00e9lisation informatique et les flux de travail de recherche, l’affirmation publi\u00e9e n’est souvent que la surface finale d’une cha\u00eene beaucoup plus longue : code, configuration, versions des d\u00e9pendances, donn\u00e9es d’entr\u00e9e, comportement du solveur, historique d’ex\u00e9cution et interpr\u00e9tation.<\/p>\n

Cette cha\u00eene peut s’affaiblir tranquillement. Un chiffre peut provenir d’un script qui a ensuite \u00e9t\u00e9 modifi\u00e9. Une simulation peut d\u00e9pendre d’un environnement local que personne d’autre ne peut reconstruire. Un ordinateur portable peut contenir la sortie finale mais pas la s\u00e9quence exacte qui l’a produit. Un fichier de param\u00e8tres peut avoir \u00e9t\u00e9 modifi\u00e9 apr\u00e8s la premi\u00e8re discussion du r\u00e9sultat. Aucune de ces situations ne prouve automatiquement une faute, mais chacune rend la recherche plus difficile \u00e0 v\u00e9rifier.<\/p>\n

Pour les \u00e9quipes de logiciels de recherche, l’int\u00e9grit\u00e9 ne consiste pas seulement \u00e0 \u00e9viter les textes copi\u00e9s ou les donn\u00e9es fabriqu\u00e9es. Il s’agit \u00e9galement de pr\u00e9server suffisamment de preuves de flux de travail pour r\u00e9pondre \u00e0 une question pratique : l’\u00e9quipe peut-elle expliquer comment ce r\u00e9sultat informatique a vu le jour ?<\/p>\n

Le contr\u00f4le des versions est une preuve, pas seulement une organisation<\/h2>\n

Le contr\u00f4le des versions est souvent introduit comme un moyen d’organiser la collaboration. C’est vrai, mais incomplet. Dans les logiciels de recherche, les engagements, les branches, les balises, les versions et l’historique des modifications deviennent \u00e9galement des preuves. Ils montrent quand le code a chang\u00e9, qui l’a chang\u00e9, ce que le changement devait aborder et quel \u00e9tat logiciel prend en charge un r\u00e9sultat signal\u00e9.<\/p>\n

Cela compte car les logiciels scientifiques sont rarement statiques. Un solveur peut \u00eatre affin\u00e9, une condition aux limites peut \u00eatre corrig\u00e9e, un script de tra\u00e7age peut \u00eatre nettoy\u00e9 ou une d\u00e9pendance peut changer de comportement entre les versions. Sans un enregistrement de version stable, une \u00e9quipe peut savoir qu’un r\u00e9sultat provenait du code actuel, mais cette phrase devient inutile une fois le code actuel.<\/p>\n

Le mod\u00e8le de dossier familier de FINAL_CODE, FINAL_CODE_V2 et FINAL_CODE_REVISED peut sembler inoffensif pendant une date limite de projet. Plus tard, cela devient un probl\u00e8me de tra\u00e7abilit\u00e9. Si un article, un rapport ou un ensemble de donn\u00e9es ne peut pas \u00eatre li\u00e9 \u00e0 un commit ou \u00e0 une version \u00e9tiquet\u00e9e sp\u00e9cifique, le r\u00e9sultat d\u00e9pend de la m\u00e9moire plut\u00f4t que des preuves.<\/p>\n

Une bonne gestion des versions ne garantit pas une science correcte. Il fait quelque chose de plus \u00e9troit et essentiel : il maintient l’enregistrement de calcul inspectable.<\/p>\n

La reproductibilit\u00e9 fait que le d\u00e9bogage et l’int\u00e9grit\u00e9 se chevauchent<\/h2>\n

Le d\u00e9bogage et l’examen de l’int\u00e9grit\u00e9 commencent souvent par des motifs diff\u00e9rents, mais posent des questions connexes. Le d\u00e9bogage demande : \u00ab\u00a0Qu’est-ce qui a chang\u00e9?\u00a0\u00bb Integrity Review demande : \u00ab Qu’est-ce qui a produit ce r\u00e9sultat ? \u00bb Ces deux questions d\u00e9pendent de la reproductibilit\u00e9.<\/p>\n

Lorsqu’une simulation cesse de correspondre \u00e0 un chiffre pr\u00e9c\u00e9dent, une \u00e9quipe doit savoir si la cause \u00e9tait un changement de code, un r\u00e9glage des param\u00e8tres, une mise \u00e0 jour de d\u00e9pendance, un param\u00e8tre de maillage, une graine al\u00e9atoire ou une \u00e9tape manuelle non document\u00e9e. Ces m\u00eames informations sont importantes si un examinateur, un collaborateur ou un futur utilisateur demande plus tard si le r\u00e9sultat signal\u00e9 peut \u00eatre approuv\u00e9.<\/p>\n

C’est pourquoi Reproductibilit\u00e9 dans le cadre du d\u00e9bogage de logiciels scientifiques<\/a> n’est pas seulement une commodit\u00e9 pour les d\u00e9veloppeurs. Il fait partie de l’infrastructure d’int\u00e9grit\u00e9 d’un flux de travail de recherche. Un flux de travail reproductible donne aux \u00e9quipes un moyen de diagnostiquer des erreurs sans deviner et de d\u00e9fendre les r\u00e9sultats sans se fier uniquement \u00e0 l’autorit\u00e9.<\/p>\n

Le chevauchement est particuli\u00e8rement important dans les projets de recherche en \u00e9volution rapide. Une \u00e9quipe peut corriger des bogues, explorer des alternatives et r\u00e9ex\u00e9cuter plusieurs fois des simulations avant la publication. \u00c0 moins que ces changements ne soient tra\u00e7ables, les travaux de d\u00e9veloppement ordinaires peuvent ressembler plus tard \u00e0 une lacune inexpliqu\u00e9e dans la cha\u00eene de preuves.<\/p>\n

La cha\u00eene d’int\u00e9grit\u00e9 des logiciels de recherche<\/h2>\n

Une fa\u00e7on utile de penser \u00e0 l’int\u00e9grit\u00e9 des logiciels de recherche n’est pas comme une liste de meilleures pratiques isol\u00e9es, mais comme une cha\u00eene. Chaque lien relie une affirmation scientifique aux preuves de flux de travail qui le soutiennent. Si un lien est faible, l’ensemble de la r\u00e9clamation devient plus difficile \u00e0 inspecter.<\/p>\n\n\n\n\n\n\n\n\n\n\n
Lien de la cha\u00eene d’int\u00e9grit\u00e9<\/th>\nquestionne il r\u00e9pond<\/th>\nLes \u00e9quipes de preuves doivent pr\u00e9server<\/th>\n<\/tr>\n
question de recherche<\/td>\nQuels r\u00e9sultats de r\u00e9clamation, de comportement ou de mod\u00e8le ont \u00e9t\u00e9 test\u00e9s ?<\/td>\nNotes d’exp\u00e9rience, r\u00e9f\u00e9rences de probl\u00e8mes, plan de projet ou objectif d’analyse<\/td>\n<\/tr>\n
\u00c9tat du code<\/td>\nQuelle version exacte du logiciel a produit le r\u00e9sultat ?<\/td>\nHash de validation, balise de lib\u00e9ration, r\u00e9f\u00e9rence de branche, snapshot archiv\u00e9<\/td>\n<\/tr>\n
Environnement<\/td>\nQuelles conditions de calcul ont affect\u00e9 l’ex\u00e9cution ?<\/td>\nFichiers de d\u00e9pendance, recette de conteneur, d\u00e9tails du compilateur, versions du solveur<\/td>\n<\/tr>\n
Configuration du mod\u00e8le<\/td>\nQuels param\u00e8tres, conditions aux limites, param\u00e8tres de maillage ou entr\u00e9es ont \u00e9t\u00e9 utilis\u00e9s ?<\/td>\nFichiers de configuration, jeux de donn\u00e9es d’entr\u00e9e, journaux de param\u00e8tres, ex\u00e9cution des m\u00e9tadonn\u00e9es<\/td>\n<\/tr>\n
Record d’ex\u00e9cution<\/td>\nQuand et comment la simulation ou l’analyse a-t-elle \u00e9t\u00e9 ex\u00e9cut\u00e9e ?<\/td>\nEx\u00e9cuter les journaux, ordre d’ex\u00e9cution du portable, scripts de travail, graines al\u00e9atoires<\/td>\n<\/tr>\n
Lien de sortie<\/td>\nQuels chiffres, tableaux ou valeurs signal\u00e9es proviennent de cette ex\u00e9cution ?<\/td>\nR\u00e9pertoires de sortie, scripts de g\u00e9n\u00e9ration de figures, manifestes de r\u00e9sultats<\/td>\n<\/tr>\n
Sentier de r\u00e9vision<\/td>\nQuels changements, tickets, corrections ou discussions expliquent l’historique des r\u00e9sultats ?<\/td>\n\u00c9mettre des entr\u00e9es de suivi, des demandes d’extraction, des notes de r\u00e9vision, des rapports de bogues<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

La cha\u00eene aide les \u00e9quipes \u00e0 faire la distinction entre un flux de travail d\u00e9sordonn\u00e9 et un \u00e9cart de flux de travail sensible \u00e0 l’int\u00e9grit\u00e9. Une note manquante peut \u00eatre g\u00eanante. Un cha\u00eenon manquant entre un chiffre publi\u00e9 et l’\u00e9tat du code qui l’a produit est plus grave car il affaiblit la capacit\u00e9 de r\u00e9vision du r\u00e9sultat.<\/p>\n

Pourquoi la simulation des mat\u00e9riaux augmente les enjeux<\/h2>\n

La simulation des mat\u00e9riaux peut \u00eatre particuli\u00e8rement sensible aux petits changements de flux de travail. Un mod\u00e8le de champ de phase, un solveur PDE, un choix de maillage ou une condition aux limites peuvent influencer le comportement d’un r\u00e9sultat et comment il doit \u00eatre interpr\u00e9t\u00e9. M\u00eame lorsque le code est math\u00e9matiquement raisonnable, la sortie peut d\u00e9pendre de d\u00e9tails faciles \u00e0 perdre si le flux de travail n’est pas disciplin\u00e9.<\/p>\n

Dans flows de mod\u00e9lisation de champ de phase bas\u00e9 sur Fipy<\/a>, par exemple, la cha\u00eene d’int\u00e9grit\u00e9 peut inclure les param\u00e8tres de solveur, la r\u00e9solution de la grille, les choix de pas de temps, les mat\u00e9riaux Param\u00e8tres, hypoth\u00e8ses d’initialisation et scripts de post-traitement. Si ces pi\u00e8ces ne sont pas versionn\u00e9es ou enregistr\u00e9es, un critique ult\u00e9rieur peut voir le trac\u00e9 final, mais pas le chemin de calcul qui l’a rendu significatif.<\/p>\n

Cela ne signifie pas que tous les projets de simulation ont besoin d’un processus logiciel au niveau de l’entreprise. Cela signifie que les \u00e9quipes de simulation de mat\u00e9riaux doivent traiter les preuves de configuration et d’ex\u00e9cution comme faisant partie de l’objet de recherche. Le mod\u00e8le n’est pas seulement les \u00e9quations. Il s’agit \u00e9galement du workflow impl\u00e9ment\u00e9, param\u00e9tr\u00e9 et ex\u00e9cut\u00e9 qui produit une sortie interpr\u00e9table.<\/p>\n

Plus la sortie est sensible aux choix de configuration, plus il devient important de pr\u00e9server ces choix d’une mani\u00e8re qu’un autre membre de l’\u00e9quipe peut inspecter.<\/p>\n

Les trackers de probl\u00e8mes font partie du dossier de recherche<\/h2>\n

Les trackers de probl\u00e8mes sont souvent trait\u00e9s comme des outils de gestion de projet, mais dans les logiciels de recherche, ils peuvent \u00e9galement faire partie du dossier scientifique. Un rapport de bogue peut expliquer pourquoi un r\u00e9sultat a chang\u00e9. Une demande de fonctionnalit\u00e9 peut s’afficher lorsqu’une nouvelle fonctionnalit\u00e9 de mod\u00e8le a \u00e9t\u00e9 introduite. Un fil de discussion peut clarifier pourquoi un param\u00e8tre a \u00e9t\u00e9 ajust\u00e9 ou pourquoi une sortie pr\u00e9c\u00e9dente n’\u00e9tait pas consid\u00e9r\u00e9e comme non fiable.<\/p>\n

Ce contexte est important parce que le code scientifique \u00e9volue \u00e0 travers l’incertitude. Un ticket sur une convergence instable, une sortie inattendue, des changements de d\u00e9pendance ou un post-traitement incorrect peut \u00eatre directement pertinent pour une figure qui appara\u00eet plus tard dans un article.<\/p>\n

Un historique des probl\u00e8mes ne doit pas \u00eatre utilis\u00e9 comme journal de bl\u00e2me. Son r\u00f4le plus fort est explicatif. Il aide les futurs lecteurs \u00e0 comprendre la relation entre le d\u00e9veloppement de logiciels et l’interpr\u00e9tation scientifique. Si un probl\u00e8me a \u00e9t\u00e9 r\u00e9solu avant la publication, l’enregistrement peut montrer comment. S’il est rest\u00e9 ouvert, l’\u00e9quipe peut expliquer si cela a affect\u00e9 le r\u00e9sultat rapport\u00e9.<\/p>\n

Lorsque les trackers de probl\u00e8mes sont d\u00e9connect\u00e9s des sorties, les \u00e9quipes perdent une couche importante de preuves. Lorsque les tickets, les validations et les r\u00e9sultats sont li\u00e9s, le flux de travail peut s’expliquer plus clairement.<\/p>\n

Lorsque les \u00e9carts de flux de travail deviennent des risques d’int\u00e9grit\u00e9<\/h2>\n

Tous les \u00e9carts de flux de travail ne sont pas un probl\u00e8me d’int\u00e9grit\u00e9. Les logiciels de recherche sont complexes et une documentation incompl\u00e8te est courante. Le risque augmente lorsque les preuves de workflow manquantes emp\u00eachent une \u00e9quipe d’expliquer la paternit\u00e9, la provenance, la g\u00e9n\u00e9ration de r\u00e9sultats ou la relation entre le logiciel et la revendication publi\u00e9e.<\/p>\n

Les exemples incluent un manuscrit qui cite un r\u00e9f\u00e9rentiel mais pas une version marqu\u00e9e, un ordinateur portable \u00e9dit\u00e9 apr\u00e8s la g\u00e9n\u00e9ration de chiffres, un script interne copi\u00e9 avec une provenance peu claire, une mise \u00e0 jour de d\u00e9pendance qui modifie la sortie sans \u00eatre enregistr\u00e9e ou les r\u00e9sultats de la simulation stock\u00e9s s\u00e9par\u00e9ment de la configuration d’ex\u00e9cution qui les a produits.<\/p>\n

Ce ne sont pas seulement des inconv\u00e9nients techniques. Ils peuvent devenir des probl\u00e8mes d’examen, car les \u00e9diteurs, les collaborateurs et les syst\u00e8mes d’assurance qualit\u00e9 peuvent avoir besoin d’\u00e9valuer les risques d’int\u00e9grit\u00e9 au niveau du flux de travail dans les logiciels de recherche<\/a> lorsque les preuves informatiques font partie du dossier de recherche.<\/p>\n

Le point important est la proportionnalit\u00e9. Un processus technique d’assurance qualit\u00e9 ne doit pas traiter tous les fichiers manquants comme une faute. Mais il doit reconna\u00eetre quand l’absence de tra\u00e7abilit\u00e9 rend un r\u00e9sultat difficile \u00e0 v\u00e9rifier, \u00e0 attribuer ou \u00e0 reproduire.<\/p>\n

Une liste de contr\u00f4le pratique de la tra\u00e7abilit\u00e9 pour les \u00e9quipes de logiciels de recherche<\/h2>\n

Les \u00e9quipes de logiciels de recherche n’ont pas besoin d’une infrastructure parfaite pour r\u00e9duire le risque d’int\u00e9grit\u00e9. Ils ont besoin d’un ensemble minimum d’habitudes qui maintiennent les r\u00e9clamations li\u00e9es \u00e0 la preuve.<\/p>\n