Generadores ScalaCheck para property-based testing de programas Spark y Spark Streaming

En los últimos años hemos sido testigos de la expansión del paradigma big data a una velocidad vertiginosa. Los cambios en este campo, nos permiten ampliar las áreas a tratar; lo que a su vez implica una mayor complejidad de los sistemas software asociados a estas tareas, como sucede en sistemas de monitorización o en el Internet de las Cosas (Internet of Things). Asimismo, la necesidad de implementar programas cada vez robustos y eficientes, es decir, que permitan el cómputo de datos a mayor velocidad y de los se obtengan información relevante, ahorrando costes y tiempo, ha propiciado la necesidad cada vez mayor de herramientas que permitan evaluar estos programas. En este contexto, el presente proyecto se centra en extender la herramienta sscheck. Sscheck permite la generación de casos de prueba basados en propiedades de programas escritos en Spark y Spark Streaming. Estos lenguajes forman parte de un mismo marco de código abierto para la computación distribuida en clúster. Dado que las pruebas basadas en propiedades generan datos aleatorios, es difícil reproducir los problemas encontrados en una cierta sesion; por ello, la extensión se centrará en cargar y guardar casos de test en disco mediante el muestreo de datos desde colecciones mayores.

Software de comunicación para personas con parálisis cerebral

El objetivo de este Trabajo de Fin de Grado es la creación de un software para la comunicación de personas con discapacidad exclusivamente motriz, incluyendo el habla, pero sin tener afectada la cognición; concretamente va dirigido a un niño que padece una parálisis cerebral. Dicho software se ha desarrollado en dos programas separados. El primero es un software de seguimiento de pupila basado en la tecnología de EyeTracking, para lo que se usa un ratón de mirada proporcionado por un programa ya existente. La aportación en este apartado ha sido crear una interfaz, como capa superior, mediante botones que ejecutan las acciones correspondientes a seleccionar el método de comunicación y las opciones correspondientes a cada método que ofrece el sistema. Nuestro niño, Moisés, sufre disponía, lo que implica fluctuación ene el tono muscular, unas veces hipertónico y otras hipotónico en distintas partes de su cuerpo, afectándole a la sujeción de la cabeza. Por ese motivo se ha desarrollado un segundo programa que funciona con ratón y teclado, al cual se le ha añadido un pulsador. Incluye un menú para seleccionar distintas formas de comunicación. Las opciones de este menú se le ofrecen al usuario de forma secuencial ya que solo podrá comunicarse con el sistemas mediante clicks de ratón o pulsaciones de teclado. En España la empresa Vía Libre de la fundación ONCE vende materiales ortopédicos y de comunicación, todos con licencia de uso, como el usado por Stephen Hawking, no asequibles a familias que ya tienen gastos en sillas, adaptadores, y material ortopédico. Este segundo programa ha sido probado y modificado según las principales necesidades de comunicación de Moisés, es de código abierto y puede ser descargable desde https://sourceforge.net/p/clickspeak/