{"id":1231,"date":"2018-08-02T12:40:20","date_gmt":"2018-08-02T15:40:20","guid":{"rendered":"https:\/\/icc.fcen.uba.ar\/?p=1231"},"modified":"2021-09-17T15:16:49","modified_gmt":"2021-09-17T18:16:49","slug":"investigadores-del-icc-certificaron-la-calidad-del-software-genis","status":"publish","type":"post","link":"https:\/\/icc.fcen.uba.ar\/en\/investigadores-del-icc-certificaron-la-calidad-del-software-genis\/","title":{"rendered":"Investigadores del ICC certificaron la calidad del software GENis"},"content":{"rendered":"

El software GENis fue creado como una herramienta inform\u00e1tica para el registro nacional de datos forenses, por iniciativa del Ministerio de Ciencia, Tecnolog\u00eda e Innovaci\u00f3n Productiva, a trav\u00e9s de la Fundaci\u00f3n Sadosky y en colaboraci\u00f3n con otras instituciones nacionales. GENis brinda un aporte fundamental para esclarecer delitos, permitiendo contrastar perfiles gen\u00e9ticos provenientes de muestras biol\u00f3gicas obtenidas en distintas escenas de crimen, vinculando as\u00ed eventos ocurridos en diferente tiempo y lugar, y aumentando las probabilidades de individualizaci\u00f3n de los delincuentes. Fue configurado para atender a las necesidades investigativas de todo tipo de delito y no solo los vinculados a la integridad sexual. Cuenta con c\u00f3digo abierto, lo que significa que es una herramienta adaptable a las recomendaciones de los usuarios finales.<\/span><\/p>\n

Para el desarrollo del sistema, la Fundaci\u00f3n Sadosky convoc\u00f3 a un concurso p\u00fablico en el a\u00f1o 2014, adjudicando a la firma Baufest las tareas de programaci\u00f3n. Del mismo modo, formaron parte del equipo cient\u00edfico asesor especialistas del Instituto Leloir, de la Universidad de Buenos Aires y el CONICET. <\/span><\/p>\n

Cabe destacar que investigadores del grupo LAFHIS del ICC colaboraron en las tareas de especificaci\u00f3n formal y testing sistem\u00e1tico de funcionalidades claves de el software GENis, que resulten en una certificaci\u00f3n de calidad del mismo. \u201cLa tarea de transferencia tecnol\u00f3gica consisti\u00f3 en realizar actividades de \u00a0verificaci\u00f3n que puedan dar confianza en que los m\u00f3dulos cr\u00edticos del sistema (dos versiones de la funcionalidad de matching de perfiles autosomales y la calculadora de verosimilitud de hip\u00f3tesis) est\u00e9n libres de errores<\/em>\u201d, puntualiza V\u00edctor Braberman<\/strong>, investigador del ICC. <\/span><\/p>\n

En este contexto, los investigadores desarrollaron y validaron especificaciones formales de los m\u00f3dulos cr\u00edticos y, a partir de ellas, aplicaron t\u00e9cnicas de verificaci\u00f3n avanzada incluyendo la programaci\u00f3n de especificaciones ejecutables que sirvieran de or\u00e1culo, la definici\u00f3n de especificaciones de test, la generaci\u00f3n autom\u00e1tica de tests y el an\u00e1lisis de cobertura de c\u00f3digo y especificaci\u00f3n. \u201cEstas labores concluyeron con informes finales y la comunicaci\u00f3n de problemas encontrados. En t\u00e9rminos generales se volvi\u00f3 a comprobar el inestimable valor de las especificaciones formales como herramienta para poder revelar comportamiento inesperado que requiere ser revalidado o corregido. Adem\u00e1s, las especificaciones fueron claves para generar miles de casos de prueba que analizan casos espec\u00edficos que resultan de la l\u00f3gica de las funcionalidades<\/em>\u201d, asegura Braberman.<\/span><\/p>\n

\"\"GENis es el proyecto de desarrollo local m\u00e1s importante en el campo de la bioinform\u00e1tica. Ha sido desarrollado \u00edntegramente en Argentina a partir de un esfuerzo conjunto entre la Fundaci\u00f3n Sadosky, la Sociedad Argentina de Gen\u00e9tica Forense, el Consejo de Procuradores, Fiscales, Defensores y Asesores Generales de la Rep\u00fablica Argentina y el Consejo Federal de Pol\u00edtica Criminal. Durante los \u00faltimos a\u00f1os se realizaron diferentes acuerdos para que 18 provincias argentinas puedan utilizar el software: los convenios firmados por los procuradores de cada uno de los distritos ponen en marcha registros provinciales de gen\u00e9tica forense.<\/span><\/p>\n

M\u00e1s informaci\u00f3n del proyecto en:<\/strong><\/p>\n

http:\/\/www.fundacionsadosky.org.ar\/genis\/<\/span><\/a><\/p>\n

http:\/\/www.fundacionsadosky.org.ar\/descargas\/Presentacion_GENis-3.pdf<\/span><\/a><\/p>\n<\/div>

<\/div><\/div><\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":3,"featured_media":1299,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[69],"tags":[34],"class_list":["post-1231","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-vinculacion","tag-ingenieria-software"],"_links":{"self":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts\/1231","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/comments?post=1231"}],"version-history":[{"count":6,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts\/1231\/revisions"}],"predecessor-version":[{"id":2165,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts\/1231\/revisions\/2165"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/media\/1299"}],"wp:attachment":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/media?parent=1231"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/categories?post=1231"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/tags?post=1231"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}