Diciembre 2019 - Pregunta 3

Diciembre 2019 - Pregunta 3

de Bruno Enzo Hernandez Biasco -
Número de respuestas: 3

Buenas tardes, viendo la solución para esta pregunta (opción c), esta incluye la afirmación II la cual dice:

[En relación a las técnicas de verificación estática] "Se pueden usar tanto para verificación como para validación."

Si vamos a la presentación de la Clase 2 de Verificación y Validación, en la página 26 dice que las técnicas estáticas [consisten en] "analizar el producto para deducir su correcta operación", y abajo cita las técnicas de Análisis de código y Análisis estático. Si tenemos en cuenta esto esto, y además los conceptos de esas dos técnicas (que están mencionados más adelante), a mi juicio la verificación estática no se podría usar para la validación, teniendo presente que este concepto se trata de averiguar si estamos construyendo un producto que se adecúa a las necesidades/expectativas del cliente.

Más aún, en la presentación de la Clase 4 de Verificación y Validación, en la página 8 hay un cuadro comparativo entre técnicas de verificación estáticas y dinámicas, donde dice explícitamente que las estáticas "No se usan para validación (solo verificación)".

Por lo tanto, yo considero que la afirmación II es incorrecta, y debería ser la opción b (no la c) la respuesta correcta.

Agradezco comentarios sobre este asunto.

Saludos.


En respuesta a Bruno Enzo Hernandez Biasco

Re: Diciembre 2019 - Pregunta 3

de Cecilia Apa -

Hola Bruno, cómo estás?

Es cierto que en la clase 4 de verificación dice lo que mencionás en tu mensaje y por tanto vamos a estar dando la opción b y la c como correctas.

En relación a esa pregunta y para aclarar en general, si bien las técnicas de verificación estática no son muy usadas para validación, puede pasar que dentro de los criterios de aceptación de un software (y por tanto para darlo como válido por el cliente) existan algunos que pueden ser validados (por el cliente) con técnicas estáticas, como por ejemplo: "que las pruebas exitosas cubran al menos un 80% del código construido", lo cual se puede comprobar por medio de un analizador estático.

Vamos a corregir las diapositivas donde se menciona esto para este año.


Saludos,

Cecilia.

En respuesta a Cecilia Apa

Re: Diciembre 2019 - Pregunta 3

de Bruno Enzo Hernandez Biasco -

Hola Cecilia.

Muchas gracias por tener en cuenta la situación, y también por aportarnos una perspectiva distinta donde una técnica de verificación estática podría usarse para validar. Me parece muy acertado que actualicen las diapositivas para presentar este caso en futuras ediciones del curso.

Saludos,
Bruno.