INVESTIGADORES
UCHITEL Sebastian
convenios, asesorías y/o servicios tecnológicos
Título:
Validación y Verificación Independiente del Sistema GENIS
Autor/es:
HERNAN MELGRATTI; BRABERMAN, VICTOR; SEBASTIAN UCHITEL
Fecha inicio:
2018-01-01
Fecha finalización:
2019-02-01
Campo de Aplicación:
Otros campos
Descripción:
El enfoque propuesto por el equipo independiente es uno basado en testing de conformidad de caja negra basados en modelos que han sido utilizados en grandes iniciativas internacionales de documentación rigurosa de comportamiento como el caso de las especificaciones abiertas de Microsoft. Esta primera etapa realizada por el equipo independiente consistió de los siguientes pasos:1) sugerir una actualización de la especificación formal y declarativa del objetivo del algoritmo de valoración estadística que actuará de modelo,2) construir a partir de la especificación un modelo ejecutable en el lenguaje funcional Haskell,3) validar la especificación y modelo por medio de expertos del dominio y la ejecución de pruebas exploratorias,4) investigar la interface programática de GENis para la automatización de tests, 5) proponer una estrategia de generación y ejecución de casos de prueba, 6) describir el resultado de estos pasos en el presente informe.En este trabajo se analiza la calidad, en términos de cobertura, de la test suite generada aleatoriamente. Para ello se ha evaluado la cobertura de código y de especificación de la test suite generada. Asimismo se analizan los casos no cubiertos.
