Publicaciones en Congresos, Conferencias y Jornadas

Permanent URI for this collectionhttp://48.217.138.120/handle/20.500.12272/535

Browse

Subject: search.filters.subject.Modelo conceptual

Search Results

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Una gramática libre de contexto para la especificación de modelos conceptuales
    (JIT, 2023-09-04) Meichtry Regner, Victoria Elizabeth
    Este trabajo tiene como finalidad la construcción de una herramienta que de soporte a la definición por etapas de un modelo de simulación. El objetivo es especificar una sintaxis que permita la definición de un modelo conceptual a partir de la abstracción de una situación del mundo real. Para esto, se establece una gramática que permite reconocer oraciones válidas y, a partir de ello, se permita la visualización de un conjunto de relaciones entre las entidades del modelo a través de un diagrama de clases. Para el desarrollo de cada etapa se utilizan como soporte, primeramente, ANTLR4 para definir reglas sintácticas con el fin de reconocer sentencias válidas. Además, se utilizó USE para realizar un diagrama de clases con el propósito de definir clases y establecer relaciones entre ellas. Por último, a través del lenguaje de programación Java, se pretende desarrollar las clases con sus relaciones propuestas en el diagrama.
  • Thumbnail Image
    Item
    Un modelo conceptual para la especificación y trazabilidad de requerimientos funcionales basados en casos de uso y casos de prueba
    (2017) Roldán, María Luciana; Marciszack, Marcelo Martín; Vegetti, Marcela; Gonnet, Silvio; Leone, Horacio
    Existe una estrecha relación entre las actividades de la ingeniería de requerimientos y las pruebas de sistemas de software intensivos. Por un lado, una especificación completa, consistente y legible de requerimientos permite una buena definición de casos de prueba. Por otro lado, la realización de actividades de prueba, particularmente la definición de los casos de prueba, provee información valiosa para la mejora de la especificación de requerimientos. En este trabajo se propone un enfoque basado en modelos de prueba que permite la derivación de casos de prueba (CP) a partir de la especificación de casos de uso (CU) textuales, que permite definir la cobertura de las pruebas a realizar sobre el sistema. Tal derivación se logra mediante un artefacto intermedio denominado modelo de prueba, el cual tiene una doble función. Por un lado permite validar posibles cursos de acción en un CU, y por el otro permite generar CP teniendo en cuenta diferentes criterios de cobertura sobre el comportamiento especificado en los CU. Para alcanzar el objetivo se construye una ontología basada en un modelo conceptual que permite definir e integrar conceptos relativos a los metamodelos de las diferentes herramientas de soporte a las actividades del proceso de desarrollo de software intervinientes, posibilitando la interoperabilidad entre ellas para lograr consistencia y trazabilidad de artefactos