Validation et vérification de son logiciel scientifique

Florent Langrognet (1) , Laurent Perochon (2)

1 LMB - Laboratoire de Mathématiques de Besançon (UMR 6623)
2 INRA - Institut National de la Recherche Agronomique

Différences entre vérification et validation dans un contexte scientifique Enjeux de la vérification et de la validation Tests logiciels, arithmétique d'ordinateurs, intégration continue

Domaines: Génie logiciel [cs.SE]

Florent Langrognet, Laurent Perochon. Validation et vérification de son logiciel scientifique. JDEV (Journées du DEVeloppement logiciel) 2015, 2015, Bordeaux, France. ⟨hal-01355427⟩