GENis

Proyecto:

Validación y Verificación Independiente de Software

Responsables:

Victor Braberman, Diego Garbervetsky, Sebastián Uchitel, Hernán Melgratti, Nicolás D’Ippolito.

GENis es una herramienta de genética forense desarrollada bajo la dirección de la Fundación Sadosky. La tarea de transferencia tecnológica consistió en realizar actividades de validación y verificación que puedan dar confianza en que los módulos críticos del sistema (matching de perfiles autosomales y la calculadora de verosimilitud de hipótesis) estén libres de errores. Se desarrollaron y validaron especificaciones formales de los módulos críticos y, a partir de ellas, se aplicaron técnicas de verificación avanzada incluyendo generación automática de tests y análisis de mutaciones.