Evaluación del estándar SQL:1999 respecto a las características orientadas al objeto que soporta y su implementación a los SGBD object-relational

Memoria de TFC en el que se analiza el estándar SQL:1999 y se compara con PostgreeSQL y Oracle.

Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming

Las pruebas de software (Testing) son en la actualidad la técnica más utilizada para la validación y la evaluación de la calidad de un programa. El testing está integrado en todas las metodologías prácticas de desarrollo de software y juega un papel crucial en el éxito de cualquier proyecto de software. Desde las unidades de código más pequeñas a los componentes más complejos, su integración en un sistema de software y su despliegue a producción, todas las piezas de un producto de software deben ser probadas a fondo antes de que el producto de software pueda ser liberado a un entorno de producción. La mayor limitación del testing de software es que continúa siendo un conjunto de tareas manuales, representando una buena parte del coste total de desarrollo. En este escenario, la automatización resulta fundamental para aliviar estos altos costes. La generación automática de casos de pruebas (TCG, del inglés test case generation) es el proceso de generar automáticamente casos de prueba que logren un alto recubrimiento del programa. Entre la gran variedad de enfoques hacia la TCG, esta tesis se centra en un enfoque estructural de caja blanca, y más concretamente en una de las técnicas más utilizadas actualmente, la ejecución simbólica. En ejecución simbólica, el programa bajo pruebas es ejecutado con expresiones simbólicas como argumentos de entrada en lugar de valores concretos. Esta tesis se basa en un marco general para la generación automática de casos de prueba dirigido a programas imperativos orientados a objetos (Java, por ejemplo) y basado en programación lógica con restricciones (CLP, del inglés constraint logic programming). En este marco general, el programa imperativo bajo pruebas es primeramente traducido a un programa CLP equivalente, y luego dicho programa CLP es ejecutado simbólicamente utilizando los mecanismos de evaluación estándar de CLP, extendidos con operaciones especiales para el tratamiento de estructuras de datos dinámicas. Mejorar la escalabilidad y la eficiencia de la ejecución simbólica constituye un reto muy importante. Es bien sabido que la ejecución simbólica resulta impracticable debido al gran número de caminos de ejecución que deben ser explorados y a tamaño de las restricciones que se deben manipular. Además, la generación de casos de prueba mediante ejecución simbólica tiende a producir un número innecesariamente grande de casos de prueba cuando es aplicada a programas de tamaño medio o grande. Las contribuciones de esta tesis pueden ser resumidas como sigue. (1) Se desarrolla un enfoque composicional basado en CLP para la generación de casos de prueba, el cual busca aliviar el problema de la explosión de caminos interprocedimiento analizando de forma separada cada componente (p.ej. método) del programa bajo pruebas, almacenando los resultados y reutilizándolos incrementalmente hasta obtener resultados para el programa completo. También se ha desarrollado un enfoque composicional basado en especialización de programas (evaluación parcial) para la herramienta de ejecución simbólica Symbolic PathFinder (SPF). (2) Se propone una metodología para usar información del consumo de recursos del programa bajo pruebas para guiar la ejecución simbólica hacia aquellas partes del programa que satisfacen una determinada política de recursos, evitando la exploración de aquellas partes del programa que violan dicha política. (3) Se propone una metodología genérica para guiar la ejecución simbólica hacia las partes más interesantes del programa, la cual utiliza abstracciones como generadores de trazas para guiar la ejecución de acuerdo a criterios de selección estructurales. (4) Se propone un nuevo resolutor de restricciones, el cual maneja eficientemente restricciones sobre el uso de la memoria dinámica global (heap) durante ejecución simbólica, el cual mejora considerablemente el rendimiento de la técnica estándar utilizada para este propósito, la \lazy initialization". (5) Todas las técnicas propuestas han sido implementadas en el sistema PET (el enfoque composicional ha sido también implementado en la herramienta SPF). Mediante evaluación experimental se ha confirmado que todas ellas mejoran considerablemente la escalabilidad y eficiencia de la ejecución simbólica y la generación de casos de prueba. ABSTRACT Testing is nowadays the most used technique to validate software and assess its quality. It is integrated into all practical software development methodologies and plays a crucial role towards the success of any software project. From the smallest units of code to the most complex components and their integration into a software system and later deployment; all pieces of a software product must be tested thoroughly before a software product can be released. The main limitation of software testing is that it remains a mostly manual task, representing a large fraction of the total development cost. In this scenario, test automation is paramount to alleviate such high costs. Test case generation (TCG) is the process of automatically generating test inputs that achieve high coverage of the system under test. Among a wide variety of approaches to TCG, this thesis focuses on structural (white-box) TCG, where one of the most successful enabling techniques is symbolic execution. In symbolic execution, the program under test is executed with its input arguments being symbolic expressions rather than concrete values. This thesis relies on a previously developed constraint-based TCG framework for imperative object-oriented programs (e.g., Java), in which the imperative program under test is first translated into an equivalent constraint logic program, and then such translated program is symbolically executed by relying on standard evaluation mechanisms of Constraint Logic Programming (CLP), extended with special treatment for dynamically allocated data structures. Improving the scalability and efficiency of symbolic execution constitutes a major challenge. It is well known that symbolic execution quickly becomes impractical due to the large number of paths that must be explored and the size of the constraints that must be handled. Moreover, symbolic execution-based TCG tends to produce an unnecessarily large number of test cases when applied to medium or large programs. The contributions of this dissertation can be summarized as follows. (1) A compositional approach to CLP-based TCG is developed which overcomes the inter-procedural path explosion by separately analyzing each component (method) in a program under test, stowing the results as method summaries and incrementally reusing them to obtain whole-program results. A similar compositional strategy that relies on program specialization is also developed for the state-of-the-art symbolic execution tool Symbolic PathFinder (SPF). (2) Resource-driven TCG is proposed as a methodology to use resource consumption information to drive symbolic execution towards those parts of the program under test that comply with a user-provided resource policy, avoiding the exploration of those parts of the program that violate such policy. (3) A generic methodology to guide symbolic execution towards the most interesting parts of a program is proposed, which uses abstractions as oracles to steer symbolic execution through those parts of the program under test that interest the programmer/tester most. (4) A new heap-constraint solver is proposed, which efficiently handles heap-related constraints and aliasing of references during symbolic execution and greatly outperforms the state-of-the-art standard technique known as lazy initialization. (5) All techniques above have been implemented in the PET system (and some of them in the SPF tool). Experimental evaluation has confirmed that they considerably help towards a more scalable and efficient symbolic execution and TCG.

Axiomatización de clases y conjunto en la matemática en la programación orientada a objetos

El objetivo de este documento es presentar dos aproximaciones generales a la axiomatización de clases y conjuntos. De una parte, la aproximación matemáticas, mostrando el origen, evolución y desarrollo de la teoría matemática de clases y conjuntos, sin formular completamente el desarrollo axiomático, sólo mostrando los conceptos básicos y las crisis generadas por ellos y la solución más usualmente aceptada. Por otra parte, la aproximación dada por el paradigma orientado a objetos, siguiendo especialmente la línea marcada por el lenguaje smalltalk-80

Java y la programación orientada a objetos

Java es un lengua de programación orientado a objetos desarrollados por Sun Microsystems a principios de la década de los años 90. Java es inspirado en gran parte de C++ y a un nivel menor de Objective C y Smaltalk. Según la Sun Microsystems, Java fue creado inicial mente porque C++ no era adecuado para ciertas tareas. El éxito del lenguaje empieza en 1995, cuando Netscape anuncio que su visualizador, Navigator, trabajaría con programas Java insertados en las páginas Web. La idea era ofrecer a los desarrolladores de páginas HTML, una forma de crear documentos interactivos y animados.

REPOCLACAI: Una estrategia regional orientada al acceso y preservación del conocimiento sobre aborto.

Presentado en IV Reunión de investigación sobre embarazo no deseado y aborto inseguro. Desafíos de salud pública en América Latina y el Caribe México, D.F., octubre 18 al 20, 2011

Implementación de una metodología docente basada en las TIC y orientada al autoaprendizaje en asignaturas con un elevado contenido iconográfico en la Licenciatura de Veterinària de la UAB

La adaptación de los estudios universitarios al Espacio Europeo de Educación Superior (EEES) pretende conseguir un nuevo modelo educativo basado en el aprendizaje activo del estudiante. En este sentido, las Tecnologías de la Información y la Comunicación (TICs) pueden desempeñar un papel importante en la renovación de la metodología docente, y muy especialmente en asignaturas donde la carga iconográfica es fundamental, tal como ocurre en las Ciencias morfológicas y en algunas materias clínicas. En la Licenciatura en Veterinària de la UAB la carga presencial del alumno es muy elevada, lo que deja poco tiempo para el autoaprendizaje activo y el estudio autónomo. Para intentar paliar este problema, en nuestra Titulación se han elaborado en los últimos años diversos atlas y otros documentos virtuales cuyos contenidos didácticos están relacionados con materias como la Anatomía, Parasitología, Radiología y Anatomía Patológica. Estos materiales, algunos de los cuales ya están publicados on line en la plataforma Veterinària Virtual (http://quiro.uab.es), y que están a disposición de los estudiantes, posibilitan reducir en parte la carga presencial, sirven de ayuda en el proceso de enseñanza y aprendizaje, facilitan el aprendizaje no presencial, autónomo y activo y permiten la evaluación continuada, consiguiendo en definitiva un aumento del protagonismo del alumno en el proceso educativo, lo que constituye una de las metas de la adaptación al EEES. Los alumnos valoran muy positivamente la publicación on line de material educativo, ya que representa un recurso didáctico fácilmente disponible, de acceso permanente y de bajo coste económico. La duración del proyecto ha sido de dos años.

Sistema de comandes amb serveis web

Aquest treball aborda la construcció d'un sistema de programari distribuït emprant tecnologia orientada a aquest objecte. Veurem, doncs, les diverses fases per les quals passa la construcció del sistema, és a dir, l'especificació, el disseny i la implementació.

Avaluació de l'estàndard SQL : 1999 respecte les característiques orientades a l'objecte que suporta i la seva implementació als SGBD object-relational

L'objectiu és estudiar les característiques orientades a l'objecte de l'estàndard SQL: 1999 i posar-les a prova amb un producte comercial que les suporti.

Risc i seguretat en el context educatiu: un debat necessari en el marc d'una educació orientada al desenvolupament de la ciutadania

En aquest article se profunditza en torna a les repercusions dels nous escenaris teòrics relacionats amb el desenvolupament del concepte de risc en la segona modernitat. Les tradicions d'anàlisi de la violència escolar o de la gestió positiva del conflicte, han constituït-del fet encara avui dia constitueixen- referents importants per a l'anàlisi de la seguretat en els centres educatius, però el desenvolupament d'un nou concepte de seguretat humana sorgit a partir dels Programes de les Nacions Unides pel Desenvolupament (PNUD) proporciona un marc de reflexió més ampli. Partint d'aquesta perspectiva, se pretèn operativitzar un model que permeti comprendre com es construeix la percepció de risc en el context escolar.

La enseñanza en las Fuerzas Armadas orientada al siglo XXI

El trabajo trata de la reforma de la enseñanza militar que da acceso a las escalas de oficiales y suboficiales de los cuerpos generales y de Infantería de Marina. Dicha reforma está orientada a incorporar plenamente la enseñanza en las Fuerzas Armadas al sistema educativo general, dando un paso más en el camino ya iniciado por la Ley 17/1989, de 19 de julio, reguladora del Régimen del Personal Militar Profesional. Simplificando, se trata de sustituir un sistema de equivalencias entre la enseñanza militar y la civil, por el requisito de la obtención para el acceso a las escalas de oficiales y de suboficiales de un título oficial de graduado universitario o de técnico superior de formación profesional, respectivamente. Además, tanto el sistema de centros universitarios de la defensa, como las academias y escuelas autorizadas en el caso de los suboficiales, se ven sujetos a la normativa general y a los sistemas de garantía de calidad que rigen en cada ámbito de dichas enseñanzas. Todo ello sin menoscabar la finalidad esencial de la enseñanza militar: formar excelentes oficiales y suboficiales, con la capacidad profesional y el prestigio que han demostrado en más de 20 años de operaciones de mantenimiento de la paz en el exterior.

Implementación de un sistema b-learning como una modalidad de capacitación orientada al desarrollo de competencias técnicas y genéricas del personal operario maquilador.

Tesis (Maestría en Psicología Laboral y Organizacional) UANL, 2010.

Coneixmedi: una web colaborativa orientada al desarrollo de competencias profesionales en la formación de maestros y maestras

Esta experiencia se ha desarrollado en el marco de una convocatoria del Departament d’Universitats de la Generalitat de Catalunya (2004-2007), dirigida a promover trabajos conjuntos entre el profesorado de la universidad y el de educación Infantil, Primaria y Secundaria. El tema del proyecto es: “La identidad y la diversidad en un mundo globalizado”. Con él se pretende innovar los planteamientos y recursos del estudio del medio en la educación Infantil y Primaria, a partir de las experiencias y aportaciones de los centros educativos y los trabajos prácticos de nuestros estudiantes

SIG e IDE del Cabildo Insular de la Palma: una propuesta tecnológica orientada al software libre

El Sistema de Información Geográfico Corporativo así como la implantación de la IDE Insular de La Palma se plantea como un proyecto a medio plazo, de progresión constante y orientada no sólo a la publicación de información siguiendo la directiva INSPIRE, sino también a la explotación de la propia IDE mediante herramientas SIG avanzadas como gvSIG. La IDE insular de La Palma pretende dar servicio tanto al propio Cabildo como a la administración local y al ciudadano. El proyecto se aborda en la medida de lo posible con tecnología libre, orientando la inversión a los servicios y prescindiendo, en la medida de lo posible, del consumo de licencias. El uso de tecnologías libres se amplia a todos los componentes de la Infraestructura, haciendo especial hincapié en el desarrollo de nuevas aplicaciones de escritorio orientadas a la explotación de la IDE por las distintas áreas del Cabildo. En Abril de 2007 hemos puesto en marcha dentro de la IDE Insular el servicio WMS, y en base a este, el Geoportal www.mapasdelapalma.es. Paralelamente nos hemos dado de alta en la IDE Española con el fin de hacernos participes en el desarrollo de la IDE nacional. Para finales de año tenemos previsto implementar los Metadatos, el Nomenclator y el Catálogo, y poner a disposición un servicio WCS Durante el proceso inicial de implantacion hemos instalado como software de gestión y análisis de la información geográfica insular gvSIG en todas nuestras dependencias que hacen uso de información geográfica (40 PC aprox.). Paralelamente hemos suscrito convenios de colaboaración con otras entidades locales y participamos activamente en la difusión de esta tecnología mediante la organización de Jornadas, cursos y seminarios. Todos los geoservicios ofertados están disponibles en www.siglapalma.es

Risc i seguretat en el context educatiu : un debat necessari en el marc d'una educació orientada al desenvolupament de la ciutadania. 'Riesgo y seguridad en el contexto educativo : un debate necesario en el marco de una educación orientada al desarrollo de la ciudadanía'.

Resumen basado en el de los autores

Diseño de un programa para la evaluación y mejora de los procesos básicos para el desarrollo cognitivo (atención, concentración y memoria) en el ámbito de la formación orientada al desarrollo personal o comunitario de los Centros de Educación de Personas Adultas, como medida de la mejora de la atención a la diversidad.

El proyecto presenta la creación de una prueba informatizada de evaluación cognitiva inicial y de un programa informatizado de mejora de la atención, concentración y memoria para la población que se escolariza en los centros de adultos. Los resultados obtenidos pertenecen a dos conjuntos de datos: los obtenidos en el curso 2008-2009 con el objetivo de conocer el estado de los procesos básicos de desarrollo cognitivo de la población escolarizada en los centros de adultos, y los obtenidos en el curso 2009-2010 como consecuencia de la aplicación de un programa de mejora de la memoria, la atención y la concentración. En el primer conjunto de datos se observa una clara disminución de la capacidad atencional con la edad. Los alumnos de los centros de adultos mayores de 65 años obtuvieron un peor rendimiento en las tareas de atención y concentración que aquellos alumnos cuyas edades estaban comprendidas entre los 50 y los 64 años. Al mismo tiempo, esta baja capacidad atencional se relacionó, para todos los alumnos, con déficits en memoria visual inmediata y demorada. Teniendo en cuenta estos resultados, en el curso 2009-2010 se llevó a cabo un programa de entrenamiento en atención, concentración y memoria visual inmediata y demorada. Los resultados del programa muestran una clara mejora en la capacidad atencional (aumento de aciertos y disminución de errores), una mejora en la memoria visual inmediata (disminución significativa de errores de reconocimiento) y un mejor rendimiento en memoria visual demorada (mayor número de aciertos).