Vérification des calculs AutoPrisme

Résultats consolidés

Tests de formules

180 / 180 PASS

Tests historiques

26 / 26 PASS

Tests de rendu HTML

5 / 5 PASS

Qualité et compilation

lint PASS · build PASS

Anomalies suivies

F01 à F12 résolues

Périmètre contrôlé

L’inventaire a couvert les calculs utilisés pour les véhicules actuels, les futurs achats au comptant, les crédits avec apport ou reprise, la LOA, la LLD, l’analyse budgétaire, les projets de modifications, le comparateur et le mode « Et si ? ».

Chaque formule a été rapprochée de ses entrées, de son unité, de ses écrans utilisateurs et de sa fonction source. Les données financières communes ont aussi été contrôlées pour détecter les implémentations divergentes et les doubles comptages de capital.

Types de données testés

• valeurs normales, décimales et très élevées ;
• zéros, champs vides, données nulles et données partielles ;
• division par zéro, taux à 0 % et kilométrage nul ;
• dates passées et durées aux limites ;
• achat comptant, crédit, reprise, LOA, LLD et modifications.

Contrôles de cohérence

• augmenter une dépense ne réduit pas le coût total ;
• augmenter le revenu ne détériore pas le reste à vivre ;
• aucune entrée couverte ne produit NaN ou Infinity ;
• le capital, l’apport et la reprise ne sont pas comptés deux fois ;
• les conversions annuelles et mensuelles restent cohérentes ;
• l’arrondi d’affichage ne modifie pas les calculs internes.

Version vérifiée et non-régression

Empreinte SHA-256 du module central validé : 45fbfe5c6acb863e0492a1dd503c221146cf479131cc33621897406918004f3e. Cette empreinte permet de vérifier que les pages éditoriales et les évolutions d’interface n’ont pas modifié silencieusement le moteur.

Les tests sont conservés dans le projet et doivent rester exécutables à chaque future version. Toute modification de formule devra produire un nouveau résultat de test et une mise à jour explicite de ce rapport.

Nature du rapport

Il s’agit d’un audit interne reproductible, et non d’une certification délivrée par un cabinet indépendant. Les résultats AutoPrisme restent des estimations dépendantes des données saisies. Pour comprendre leur sens et leurs limites, consultez la méthodologie de calcul et la charte éditoriale.