摘要 |
L'invention concerne un procédé (100) d'ajustement de la précision fournie par un programme d'ordinateur source manipulant au moins un nombre à virgule, comprenant les étapes suivantes : - mesure (106,110) en précision initiale, d'au moins une valeur d'au moins un nombre à virgule ; - mesure (108,110), dite en précision infinie, d'au moins une valeur dudit nombre à virgule dans ledit programme source ; - pour au moins une instruction manipulant, dans ledit programme source (200), au moins un nombre à virgule, une étape (114-118), dite d'optimisation, identifiant, pour ladite instruction, une variante fournissant une meilleure précision, et - modification (120) dudit programme source par remplacement de ladite instruction par ladite variante sélectionnée. Elle concerne également un programme d'ordinateur et un système mettant en œuvre un tel procédé. |