La certeza de estar modelando el software correcto es una preocupación de los ingenieros desde las primeras etapas del proceso de construcción del software. Es así que garantizar la actividad de validación es un objetivo primordial y como tal debe…