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; VICTOR BRABERMAN; SEBASTIAN UCHITEL
Fecha inicio:
2016-12-01
Fecha finalización:
2017-05-01
Campo de Aplicación:
Otros campos
Descripción:
El equipo técnico ha realizado hasta el momento actividades de verificación de la funcionalidad de matching del sistema GENis. Más específicamente se ha trabajado sobre la funcionalidade centrale y críticas del sistema GENis: el algoritmo de matching de perfiles autosomales basado en las recomendaciones del ENSFI. El enfoque seguido por el equipo es uno basado en testing de conformidad de caja negra basado en modelos. Para el algoritmo de matching, la metodología incluyó 1) La confección de una especificación formal y declarativa del objetivo del algoritmo de matching.2) La construcción, a partir de la especificación del algoritmo, una especificación de casos de tests usando la técnica de category-partition con la intención de verificar la conformidad GENis a la especificación formal,3) La descripción de las hipótesis de test subyacentes a la especificación de casos de tests y su motivación4) La generación de casos de test a partir de esta especificación y la ejecución de los test5) La documentación del proceso y resultados.