Tesinas concluidas

Título:Automatización de pruebas de regresión
Alumno:Borio, Juan Ignacio – Paterno, Ricardo Javier
 
Directores:Dr. Claudia Pons
Fecha de defensa:28 de mayo de 2021
ResumenLa presente tesina tiene como objeto investigar e instrumentar un Proyecto de Testing automático que realiza pruebas de regresión. Se analizan aspectos singulares vinculados con la estructura del proyecto abordado, el contexto en que fue creado, los antecedentes de pruebas manuales y la participación que tuvimos en el desarollo del mismo, y que nos motivó a abordar presente trabajo. Se presenta una reseña de los principales antecedentes de pruebas de software y conceptos relacionados con automatización de pruebas. Se investiga el uso de Herramientas de testing automático, aplicadas a otro tipo de sistemas.
(descargar el informe completo)
Título:Análisis de la técnica Transfer Learning en Machine Learning a través de un caso de estudio: La clasificación de productos en el Banco Alimentario de La Plata
Alumno:De Luca, Agustín – Irigoitia, Matías Exequiel
 
Directores:Dr. Claudia Pons
Fecha de defensa:19 de Abril de 2021
ResumenLa presente investigación propone analizar la técnica de transfer learning y la comparación de distintos modelos pre-entrenados, para determinar si estos pueden ser utilizados efectivamente en el caso de estudio, la clasificación de productos para el Banco Alimentario de La Plata, a partir del reconocimiento de imágenes.
(descargar el informe completo)
Título:Interoperabilidad semántica en el manejo de datos normativos sobre la presencia de agroquímicos en alimentos
Alumno:Carlos Francisco Ragout
Directores: Dr. Alejandro Fernández y Dr. Diego Torres
Fecha de defensa:26 de Marzo de 2021
ResumenEl objetivo de esta tesina es demostrar de qué manera las tecnologías de la web semántica ofrecen soluciones a la problemática de la publicación interoperable de datos normativos sobre la presencia de agroquímicos en alimentos. Para esto se creó una ontología que permite representar formalmente este dominio y se elaboró un pipeline de transformación de datos de sus fuentes originales a un dataset semántico. Se utilizó este dataset para luego demostrar cómo estas tecnologías facilitan la ejecución de distintas operaciones de interoperabilidad entre los datasets demostrando la diferencia entre usar la estrategia propuesta respecto de los métodos existentes.
(descargar el informe completo)
Título:Extensión P2P para enriquecer la Web con soporte semántico para la toma de decisiones
Alumno:Iván Colman
Directores: Dr. Alejandro Fernández y Dr. Diego Torres
Fecha de defensa:18 de Marzo de 2021
ResumenEsta tesina propone una estrategia para extraer información de la Web, crear un modelo semántico siguiendo las pautas de la Web Semántica y compartir el modelo entre usuarios mediante la arquitectura Peer-to-Peer (P2P) logrando así: (1) que los usuarios enriquezcan la Web; (2) integrar y agregar información a la Web Semántica; (3) mejorar la toma de decisiones basada en el modelo semántico que un usuario genera y comparte; (4) evitar la dependencia de un nodo central para compartir los modelos semánticos generados.
(descargar el informe completo)
Título:Detección y Clasificación Zero-Day Malware a través de Data Mining y Machine Learning
Alumno:Augusto Recordon – Silvia Ruiz Diaz
Directores: Dra. Claudia Pons
Fecha de defensa:17 de octubre de 2020
ResumenDado el constante incremento, tanto en número como en complejidad, de los ataques informáticos, los mecanismos
convencionales de detección resultan ineficientes en la mayoría de los escenarios. En este contexto, la presente
investigación propone determinar si técnicas de data mining y machine learning pueden ser utilizadas efectivamente
para el entrenamiento de algoritmos capaces de detectar y clasificar correctamente nuevos tipos de amenazas.
(descargar el informe completo)
Título:Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
Alumno:Cristian Fabián Sottile
Director: Alejandro Díaz-Caro
Co-Director:Dra. Claudia Pons
Fecha de defensa:Febrero de 2020
ResumenTanto los sistemas de tipos como los sistemas de pruebas distinguen elementos que tienen diferente forma aunque
tengan el mismo significado, como pueden ser las pruebas de las conjunciones A􀂚B y B􀂚A, por lo cual una prueba de
una no constituye una prueba de la otra, a pesar de que se puede demostrar mediante la existencia de un isomorfismo
que dichas proposiciones son equivalentes. Sistema I es un cálculo lambda simplemente tipado con pares, extendido
con una teoría ecuacional obtenida a partir de los isomorfismos de tipos existentes entre los tipos simples con pares, de
forma tal que las proposiciones con mismo significado son equivalentes. En este trabajo proponemos una extensión de
Sistema I hacia polimorfismo, añadiendo al sistema de tipos el cuantificador universal y sus isomorfismos relacionados.
(descargar el informe completo)
Título:BlockGuitars: Herramienta para las transacciones de instrumentos musicales mediante blockchain
Alumno:Castelli Lluch – Carlos Damián – Tallarico, Aníbal
Director: Dra. Claudia Pons
Fecha de defensa:Diciembre 2019
ResumenEl robo y el hurto constituyen un problema creciente en nuestro país. Se habría hecho una práctica habitual el robo de instrumentos, ya sea en salas de ensayo, escuelas de música, estudiantes, amateurs y profesional, sin distinción. En la mayoría de los casos, los ladrones no saben a ciencia cierta que estarían robando, por ende tampoco son conscientes de la importancia sobre todo laboral que tiene para un músico y su familia quizás, y el instrumento luego terminaría siendo vendido a un tercero por un valor infinitamente menor al real. El problema se potencia al existir un comercio informal tan grande con aplicaciones como MercadoLibre, OLX, MarketPlace o los mismos grupos de Facebook de compra-venta. Debido a la escasez de software, que permita registrar la adquisición o posesión de instrumentos musicales, surge la necesidad de brindar una solución moderna, que estimule tanto a los músicos profesionales como a los recién iniciados a utilizar la herramienta y que el proceso de aprendizaje sea motivador y acorde a los tiempos de corren; y lo decidimos llamar BlockGuitars. Los problemas de seguridad involucran a todo nuestro país, y la música no escapa a esta realidad, por ende el desarrollo de este tipo de herramientas proporciona beneficios a los músicos.
(descargar el informe completo)
Título:Despliegue ágil en proyectos de gran escala
Alumno:Orias, Mauro – Marfil, Alejandro Javier
 
Director: Dra. Claudia Pons
Fecha de defensa:Mayo de 2018
ResumenEl despliegue de una aplicación es una parte muy importante en el desarrollo de software, mediante el mismo, se pone en marcha lo construido en un determinado tiempo, ya sea un sistema nuevo de cero o una nueva versión del mismo. Dicho producto de software a desplegar, en organizaciones de gran tamaño, involucra el esfuerzo de las distintas áreas implicadas de la organización (diseño y desarrollo, análisis funcional, testing, capacitación, arquitectura, soporte, seguridad, coordinación, gestión de proyectos, etc.). En proyectos de gran tamaño, cuyo sistema a desplegar es una pieza fundamental para el funcionamiento de la organización, el proceso de despliegue cobra una relevancia notoria. Por tal motivo, es fundamental que el mismo se lleve a cabo de la manera más rápida y eficiente posible, permitiendo entregar nueva funcionalidad a los usuarios en el menor tiempo posible sin afectar la operatoria normal del sistema.
(descargar el informe completo)
Título:Clasificación de subjetividad utilizando técnicas de aprendizaje automático
Alumno:Coria, Juan Manuel
 
Director:Dra. Claudia Pons
Fecha de defensa:Noviembre 2017
ResumenLa clasificación de subjetividad es un ámbito de la minería de texto poco estudiado en el idioma español, y sin embargo sus aplicaciones son extensas. Su estudio permite comprender mejor la semántica de un texto y la intención de su autor, sin mencionar las implicaciones de su uso en la inteligencia de negocios, para identificar las necesidades de los clientes y obtener métricas valiosas a partir de sus críticas. En este trabajo se intenta aplicar técnicas conocidas de análisis de subjetividad en inglés, adaptadas al español, construyendo en el proceso una base de datos y un sistema clasificador de oraciones.
(descargar el informe completo)
Título:Verificación de modelos Independientes de la plataforma: un caso de estudio
Alumno:Carolina Inés Actis
 
Director:Dra. Claudia Pons
Fecha de defensa:Noviembre 2017
ResumenEl lenguaje UML ha sido ampliamente aceptado como el lenguaje estándar de modelado en la industria. El lenguaje OCL es una parte integral de UML, y fue introducido para definir restricciones adicionales que no se pueden expresar en este. Las expresiones OCL son concisas y precisas, y no presentan las ambigüedades del lenguaje natural. Sin embargo, al ser una notación de diseño, OCL no es ejecutable: está definido sobre el modelo, por lo que sus restricciones no se reflejan en el código fuente. Por otro lado, JML es un lenguaje de especificación formal que puede ser utilizado para especificar clases Java. A diferencia de OCL, las expresiones JML están escritas de forma que pueden ser compiladas y analizadas en tiempo de ejecución. En este trabajo se propone transformar de forma automática las restricciones OCL a especificaciones escritas en el lenguaje JML. De esta forma se podrán verificar las restricciones en tiempo de ejecución, y se podrá hacer un análisis estático de estas mediante el uso de probadores de teoremas implementados para JML.
(descargar el informe completo)
Título:Reglas de traducción de restricciones entre OCL y LN
Alumno:Maria Amalia Ibarguengoytia – Danae Lopez
 
Director:Dra. Claudia Pons
Fecha de defensa:Julio 2017
ResumenEl Desarrollo de Software Dirigido por Modelos es un paradigma que ayuda a las compañías de desarrollo con la gestión de los sistemas que construyen y mantienen; para adaptarse rápidamente a los cambios tecnológicos. Permite generar modelos altamente abstractos, utilizando modelos gráficos como Ecore. Si bien estos modelos son expresivos no permiten describir toda la información que debería mostrar el modelo. Para reducir este problema, los lenguajes formales permiten incrementar la expresividad, aunque resultan más complejos. El lenguaje formal OCL es difícil de entender por personas que no posean conocimientos sobre matemáticas, lógica e inclusive orientación a objetos lo que hace compleja su utilización como extensión de un modelo con un nivel de abstracción muy alto. Esta desventaja hace que se deban realizar tareas manuales extras, como traducir las restricciones OCL a lenguaje natural para poder presentar un modelo completo a alto nivel a personas sin conocimientos técnicos. El objetivo principal de la presente tesina es generar una herramienta que permite realizar la traducción de dichas restricciones a lenguaje natural de forma automática mediante el uso de transformación de modelos utilizando una gramática de lenguaje natural reducida. Lo que se intenta lograr es fomentar el uso de OCL restringiendo sus limitaciones.
(descargar el informe completo)
Título:Minería de opiniones y visualización de datos aplicables a estudios de mercado
Alumno:Ignacio Saporiti – Juan Agustín Tibaldo
 
Director:Dra. Claudia Pons
Fecha de defensa:Junio 2017
ResumenEl objetivo principal es llevar adelante un trabajo de investigación sobre ​análisis de opiniones​. Para esto, vamos a implementar un sistema informático que haga uso de distintas herramientas cognitivas disponibles actualmente en el mercado, y observar los resultados que son capaces de obtener. Documentaremos conceptos asociados con y usados por estas tecnologías.
(descargar el informe completo)
Título:Cliente para plataforma de búsqueda de biomarcadores con valor pronóstico/predictivo de cáncer
Alumno:Diego Martínez
 
Director:Dra. Claudia Pons
Fecha de defensa:Junio 2016
ResumenEl objetivo de esta tesina es el diseño y desarrollo de una aplicación cliente extensible, portable, de fácil distribución en el marco de una plataforma, cuyo origen se remite a la tesis ‘Metodología analítica e integradora para la generación de biomarcadores de pacientes con cáncer de mama sobre la base de perfiles de expresión génica’ de maestría en Explotación de datos y descubrimiento de conocimiento de Matías Butti. En dicho trabajo se presenta una plataforma, denominada Bioplat, para la identificación, validación y optimización de biomarcadores en cáncer. La plataforma Bioplat está compuesta de varios componentes y una de los principales es el cliente desarrollado en este trabajo, en el cual se describe la integración del mismo con el resto de la plataforma, tanto desde el punto de vista funcional y de sus requerimientos, como desde lo técnico. Además, se presentan las soluciones de software propuestas a la estructura de la plataforma que permitan fácilmente, que ésta sea extensible por el equipo de desarrollo Bioplat, por desarrolladores que deseen enriquecer la plataforma con ideas y/o desarrollos propios compartidos luego con la comunidad Bioplat o por usuarios finales.
(descargar el informe completo)
Título:Análisis de herramientas de generación automática de código Android a partir de modelos
Alumno:Gabriel Vidal
 
Director:Dra. Claudia Pons
Fecha de defensa:Diciembre 2016
ResumenInicialmente solo se desarrollaban aplicaciones con herramientas y lenguajes de bajo nivel, destinadas a un tipo de arquitectura en particular, los cuales requerían de complicadas instrucciones para completar su objetivo. Hace ya varios años se implementaron los lenguajes de alto nivel, permitiéndonos algo más de abstracción en el desarrollo y la consecuente portabilidad de las aplicaciones a través de diferentes sistemas operativos, donde el compilador automáticamente se encargará de la traducción al lenguaje de bajo nivel. En la actualidad, adoptando el concepto de desarrollo dirigido por modelos, se pretende subir la apuesta para ahora abstraernos también del lenguaje de programación, con lo cual se han realizado productos de software, donde a partir del diseño y modelado, se produce la generación automática del código de la aplicación. La tesina se enfoca específicamente en la generación de código para ser ejecutado en el sistema operativo Android. El objetivo de nuestro trabajo consiste en la comparación de las herramientas disponibles, para lo cual se logró identificar las más relevantes (App Inventor, Rational Rhapsody y Acceleo), analizar sus características y presentar ejemplos concretos de aplicación para cada una.
(descargar el informe completo)
Título:Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL
Alumno:Ilan Rosenfeld
 
Director:Dra. Claudia Pons
Fecha de defensa:Noviembre 2015
ResumenQué testear es un tema siempre vigente. Con tal propósito, y en caso de querer derivar casos de prueba automáticamente desde un modelo de software, no contamos con la precisión necesaria en los mismos para generar los tests acordes a nuestros intereses. Lenguajes formales como OCL permiten enriquecer cualquier modelo mediante información adicional o restricciones sobre sus elementos; entonces, la derivación de código y casos de prueba a partir de un modelo enriquecido con restricciones y especificaciones en este lenguaje permitirá contar con un soporte mucho más robusto de nuestro sistema. Tras el análisis de varias herramientas de generación automática de código a partir de modelos de software, se llegó a la conclusión de que casi ninguna de ellas incluye la traducción de restricciones en el modelo escritas en un lenguaje formal. Es por ello que la tesina consistió en un análisis de varios lenguajes formales de especificación (o modelado), especialmente de los lenguajes UML/OCL y Alloy. A partir de ello se desarrolló una herramienta para Eclipse, que permite, a partir de una especificación de un modelo UML poseyendo restricciones OCL, la generación automática de código Java, incluyendo las clases del modelo junto con sus respectivos Casos de Prueba, regulados por OCL. Paralelamente se genera de forma automática una especificación Alloy que permite el análisis formal estático del modelo.
(descargar el informe completo)