Proceso de generación de casos de prueba en el contexto MDD/MBT

Desde la aparición de la metodología MDD, mucho se ha propuesto y definido en cuanto a lenguajes y herramientas que sirven de soporte y automatizan sus diferentes aspectos. Uno de estos aspectos donde se ha puesto más énfasis es en la definición de lenguajes que permiten traducir un modelo en otro. Luego, con la aparición de MBT, se han propuesto nuevos aportes e investigaciones que sirven de soporte para la generación de casos de prueba y para el testing en general. En este sentido, se ha analizado que las actividades de testeo a nivel modelado, muchas veces se realizan en la etapa de diseño del sistema, con los detalles de implementación ya definidos. Sin embargo, es en etapas iniciales del desarrollo de software, cuando se define claramente la funcionalidad del sistema, indicando el "qué" sin mencionar el "cómo". Esta tesina presenta un proceso, dentro de los contextos mencionados, que permite generar casos de prueba tempranamente en el ciclo de vida del desarrollo, de manera automática por medio de transformaciones y con generación de trazabilidad. Se brinda, de esta manera, soporte testing de sistemas y a las técnicas de trazabilidad dentro de los contextos MDD y MBT.Facultad de Informátic

Proceso de generación de casos de prueba en el contexto MDD/MBT

Desde la aparición de la metodología MDD, mucho se ha propuesto y definido en cuanto a lenguajes y herramientas que sirven de soporte y automatizan sus diferentes aspectos. Uno de estos aspectos donde se ha puesto más énfasis es en la definición de lenguajes que permiten traducir un modelo en otro. Luego, con la aparición de MBT, se han propuesto nuevos aportes e investigaciones que sirven de soporte para la generación de casos de prueba y para el testing en general. En este sentido, se ha analizado que las actividades de testeo a nivel modelado, muchas veces se realizan en la etapa de diseño del sistema, con los detalles de implementación ya definidos. Sin embargo, es en etapas iniciales del desarrollo de software, cuando se define claramente la funcionalidad del sistema, indicando el "qué" sin mencionar el "cómo". Esta tesina presenta un proceso, dentro de los contextos mencionados, que permite generar casos de prueba tempranamente en el ciclo de vida del desarrollo, de manera automática por medio de transformaciones y con generación de trazabilidad. Se brinda, de esta manera, soporte testing de sistemas y a las técnicas de trazabilidad dentro de los contextos MDD y MBT.Facultad de Informátic

Perfiles de testing aplicados a modelos de software

Actualmente, la complejidad de los sistemas de software se ha incrementado. El software sufre cambios y evoluciona durante todo el ciclo de vida del desarrollo, por lo tanto es fundamental contar con un proceso de pruebas que detecte errores y fallas en la implementación en todas las etapas garantizando además la calidad del producto final. Las técnicas de validación y verificación también se pueden aplicar a los modelos de pruebas de software permitiendo automatizar la creación y ejecución de los casos de pruebas, aumentando la productividad y reduciendo los costos. El Desarrollo de software Dirigido por Modelos (en inglés Model Driven software Development, MDD) propone un nuevo mecanismo de construcción de software a través de un proceso guiado por modelos que van desde los más abstractos (en inglés Platform Independent Model, PIM) a los más concretos (en inglés Platform Specific Model, PSM) realizando transformaciones y/o refinamientos sucesivos que permitan llegar al código aplicando una última transformación. Dentro del contexto de MDD, las Pruebas de software Dirigidas por Modelos (en inglés Model-Driven Testing, MDT) son una forma de prueba de caja negra que utiliza modelos estructurales y de comportamiento para automatizar el proceso de generación de casos de prueba. Para ello, MDT utiliza un lenguaje definido con mecanismos de perfiles basado en el Perfil de Pruebas UML (en inglés UML 2.0 Testing Profile, U2TP). Este lenguaje permite diseñar los artefactos de los sistemas de pruebas e identificar los conceptos esenciales del dominio en cuestión adaptados a plataformas tecnológicas y a dominios específicos. La especificación del Perfil de Pruebas UML proporciona además un marco formal para la definición de un modelo de prueba bajo la propuesta de caja negra que incluye las reglas que se deben aplicar para transformar dicho modelo a código ejecutable. Actualmente existen herramientas basadas en técnicas de validación y verificación formal de programas y de chequeo de modelos que se enfocan principalmente en cómo expresar las transformaciones. Sin embargo, la validación y verificación en forma automática a través de una alternativa práctica como es el testing dirigido por modelos lo hacen en menor medida. El testing consiste en el proceso de ejercitar un producto para verificar que satisface los requerimientos e identificar diferencias entre el comportamiento real y el comportamiento esperado (IEEE Standard for Software Test Documentation, 1983), lo cual es más simple y no requiere tener experiencia en métodos formales comparadas con las técnicas mencionadas anteriormente. Tanto UML y sus extensiones, como el Perfil de Pruebas UML, están definidos a través de una especificación de tecnología estandarizada por OMG (en inglés Object Management Group) denominada MOF (en inglés Meta-Object Facility). MOF es un meta-metamodelo utilizado para crear metamodelos que pueden ser transformados a texto a través de herramientas que soporten la definición MOF. MOFScript [Oldevik 06] es un lenguaje textual basado en QVT (en inglés "Queries, Views and Transformations") que puede ser utilizado para realizar transformaciones de metamodelos MOF a texto. El objetivo de esta tesis es desarrollar una herramienta que permita realizar las transformaciones en forma automática de los modelos de pruebas estructurales y de comportamiento a código JUnit. Para lograr dicho objetivo, definimos el lenguaje para modelar dominios de pruebas utilizando el Perfil de Pruebas UML y las reglas formales de transformación de modelos U2TP a código de testing JUnit basadas en el lenguaje MOFScript. Esta tesis está organizada de la siguiente manera. En el capítulo 2 se introducen los conceptos del desarrollo de software dirigido por modelos. En el capítulo 3 se describen las pruebas de software dirigidas por modelos. En el capítulo 4 se definen las reglas de transformación de modelos de prueba a código JUnit. En el capítulo 5 se describe la implementación de la herramienta que permite transformar en forma automática modelos definidos con el Perfil de Pruebas UML a código JUnit, además de describir la arquitectura utilizada en el proyecto. El capitulo 6 muestra un caso de estudio del trabajo realizado desde la perspectiva del usuario final. En el capítulo 7 se detallan los trabajos relacionados. En el capítulo 8 se exponen las conclusiones finales y se citan futuros trabajos.Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática (UNLP).Facultad de Informátic

Una aproximación a la generación automática de código en un contexto MDD sobre modelos BPMN

Este trabajo expone los esfuerzos realizados para lograr una transformación entre modelos, en un contexto de desarrollo dirigido por modelos (MDD), mediante la elaboración de un prototipo, partiendo desde la especificación del metamodelo del lenguaje BPMN, UML (diagramas de actividades) y las reglas de transformación pertinentes. El prototipo se implementó como un plugin para la plataforma de desarrollo Eclipse. El resultado obtenido es un prototipo de herramienta visual que provee al desarrollador los recursos necesarios para poder definir un metamodelo origen, un metamodelo destino y las correspondientes reglas de transformación entre uno y otro, las cuales serán aplicadas para la generación automática de un modelo final a partir de otro inicial. Gracias al enfoque dirigido por modelos que pretende cubrir este plugin, se favorece ampliamente la fabricación de software, brindando al encargado del desarrollo más tiempo para preocuparse por cuestiones relacionadas al diseño y la captura fiable de requisitos estrechamente relacionadas con el dominio, en detrimento del tiempo que debería utilizar en cuestiones más tecnológicas que no afectan directamente con la resolución del problema.Sociedad Argentina de Informática e Investigación Operativ

Especificación e implementación de transformaciones de modelos de software aplicando estándares

La comunidad informática ha buscado mejorar siempre la calidad de los procesos de desarrollo de software. Con el paso del tiempo ha tomado fuerza el concepto de desarrollo dirigido por modelos (MDD) que propone mejorar la calidad de los procesos con la idea de que el punto de partida del desarrollo sean los modelos y las transformaciones entre los mismos. En respuesta a ello el Object Management Group, a través de su iniciativa denominada Model Driven Architecture (MDA), ha elaborado una seria de estándares para impulsar el desarrollo dirigido por modelos, parte de ello es la definición de un lenguaje de transformaciones estándar el cual denominaron QVT. El objetivo de este trabajo es la realización de un repositorio de transformaciones de modelos de software el cual permitirá la difusión y expansión de dichas transformaciones que se encuentren publicadas en él. Las transformaciones que contendrá el repositorio se basaran en los estándares definidos por la OMG para tal fin. Las mismas estarán desarrolladas en leguaje QVT y resolverán problemas recurrentes presentes en la ingeniería de software.Facultad de Informátic

Especificación e implementación de transformaciones de modelos de software aplicando estándares

La comunidad informática ha buscado mejorar siempre la calidad de los procesos de desarrollo de software. Con el paso del tiempo ha tomado fuerza el concepto de desarrollo dirigido por modelos (MDD) que propone mejorar la calidad de los procesos con la idea de que el punto de partida del desarrollo sean los modelos y las transformaciones entre los mismos. En respuesta a ello el Object Management Group, a través de su iniciativa denominada Model Driven Architecture (MDA), ha elaborado una seria de estándares para impulsar el desarrollo dirigido por modelos, parte de ello es la definición de un lenguaje de transformaciones estándar el cual denominaron QVT. El objetivo de este trabajo es la realización de un repositorio de transformaciones de modelos de software el cual permitirá la difusión y expansión de dichas transformaciones que se encuentren publicadas en él. Las transformaciones que contendrá el repositorio se basaran en los estándares definidos por la OMG para tal fin. Las mismas estarán desarrolladas en leguaje QVT y resolverán problemas recurrentes presentes en la ingeniería de software.Facultad de Informátic

Especificación e implementación de transformaciones de modelos de software aplicando estándares

La comunidad informática ha buscado mejorar siempre la calidad de los procesos de desarrollo de software. Con el paso del tiempo ha tomado fuerza el concepto de desarrollo dirigido por modelos (MDD) que propone mejorar la calidad de los procesos con la idea de que el punto de partida del desarrollo sean los modelos y las transformaciones entre los mismos. En respuesta a ello el Object Management Group, a través de su iniciativa denominada Model Driven Architecture (MDA), ha elaborado una seria de estándares para impulsar el desarrollo dirigido por modelos, parte de ello es la definición de un lenguaje de transformaciones estándar el cual denominaron QVT. El objetivo de este trabajo es la realización de un repositorio de transformaciones de modelos de software el cual permitirá la difusión y expansión de dichas transformaciones que se encuentren publicadas en él. Las transformaciones que contendrá el repositorio se basaran en los estándares definidos por la OMG para tal fin. Las mismas estarán desarrolladas en leguaje QVT y resolverán problemas recurrentes presentes en la ingeniería de software.Facultad de Informátic

Un marco formal para transformaciones en la Ingeniería de Software conducida por modelos

El paradigma MDE (Model Driven Engeenering) tiene dos ejes principales: - por un lado hace énfasis en la separación entre la especificación de la funcionalidad esencial del sistema y la implementación de dicha funcionalidad usando plataformas tecnológicas específicas. Los modelos son considerados los conductores primarios en todos los aspectos del desarrollo de software. La transformación entre modelos constituye el motor del MDE y de esta manera los modelos pasan de ser entidades meramente contemplativas a ser entidades productivas. Existe también una visión genérica sobre la metodología MDE, en la cual el proceso de desarrollo de software es implementado mediante una red de transformaciones que se combinan o componen en modos diversos. La habilidad de organizar o componer diferentes transformaciones en manera flexible y confiable con el fin de producir el resultado requerido, es un desafío principal en MDE. Por lo tanto la definición formal de lenguajes de transformación debe incluir mecanismos de composición.Es revisado por: http://sedici.unlp.edu.ar/handle/10915/9623Facultad de Informátic

Diseño de un Almacén de Datos Históricos en el marco del desarrollo de software dirigido por modelos

Un Decision Support System (DSS) asiste a los usuarios en el proceso de análisis de datos en una organización con el propósito de producir información que les permita tomar mejores decisiones. Los analistas que utilizan el DSS están más interesados en identificar tendencias que en buscar algún registro individual en forma aislada [HRU96]. Con ese propósito, los datos de las diferentes transacciones se almacenan y consolidan en una base de datos central denominada Data Warehouse (DW); los analistas utilizan esas estructuras de datos para extraer información de sus negocios que les permita tomar mejores decisiones [GHRU97]. Basándose en el esquema de datos fuente y en los requisitos de información de la organización, el objetivo del diseñador de un DSS es sintetizar esos datos para reducirlos a un formato que le permita, al usuario de la aplicación, utilizarlos en el análisis del comportamiento de la empresa. Dos tipos diferentes (pero relacionados) de actividades están presentes: el diseño de las estructuras de almacenamiento y la creación de consultas sobre esas estructuras. La primera tarea se desarrolla en el ámbito de los diseñadores de aplicaciones informáticas; la segunda, en la esfera de los usuarios finales. Ambas actividades, normalmente, se realizan con escasa asistencia de herramientas automatizadas. A partir de lo expresado anteriormente Identificamos, por consiguiente, tres problemas a resolver: a) la creación de estructuras de almacenamiento eficientes para la toma de decisión, b) la simplificación en la obtención de la información sobre esas estructuras para el usuario final y, c) la automatización, tanto del proceso de diseño de las estructuras de almacenamiento, como en la elaboración iterativa de consultas por parte del usuario de la aplicación. La solución propuesta es el diseño de una nueva estructura de almacenamiento que denominaremos Historical Data Warehouse (HDW) que combina, en un modelo integrado, un Historical Data Base (HDB) y un DW; el diseño de una interface gráfica, derivada del HDW, que permite realizar consultas en forma automática y, por último, el desarrollo de un método de diseño que engloba ambas propuestas en el marco del Model Driven Software Development (MDD).Facultad de Informátic