Desarrollo de Software Dirigido por Modelos: nuevos desafíos

Permanent URI for this collection

https://repositorio.uai.edu.ar/handle/123456789/369

Browse

Recent Submissions

Now showing 1 - 5 of 9
  • Item
    Facilitando el análisis formal de código Java especificado con UML+OCL
    (Edutecne, 2018-11) Pons, Claudia Fabiana ; Actis, Carolina ; Baum, Gabriel
    El lenguaje UML es 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 las restricciones especificadas en el modelo son verificadas de manera ágil y simple en tiempo de ejecución, y también se habilita el análisis estático de éstas mediante el uso de probadores de teoremas implementados para JML.
  • Item
    Improving model-driven software testing by using formal languages
    (Universidad Tecnológica Nacional. Facultad Regional Concepción del Uruguay, 2018-10) Pons, Claudia Fabiana ; Rosenfeld, Ilan ; Baum, Gabriel
    Model-Driven Testing or MDT is a new and promising approach for software testing automation that can significantly reduce the efforts in the testing cycle of a software development. It consists in a black box test that uses structural and behavioral models to automate the tests generation process. In this paper, we describe a tool that allows developers to translate a software model written in UML with OCL formal constraints to its corresponding Java code, automating the generation of strong test-cases codes and specifying them not only in Java language but also in two formal languages, which are OCL and Alloy. This tool provides more reliable support by amalgamating different techniques, which strengthens the testing process.
  • Item
    Ingeniería de software dirigida por modelos aplicada a sistemas robóticos usando los estándares de la OMG
    (Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales, 2019) Pons, Claudia Fabiana ; Giandini, Roxana Silvia ; Neil, Carlos Gerardo ; De Vincenzi Zemborain, Marcelo Edgardo ; Pérez, Gabriela
    El Desarrollo de software Dirigido por Modelos (MDD, Model Driven software Development) aparece como una alternativa viable para aplicar técnicas de ingeniería de software en el desarrollo de sistemas robóticos. Su uso logra un nivel de abstracción superior, permitiendo utilizar los estándares propuestos para robótica, y así obtener ventajas como generalidad, reutilización, claridad, expresividad. Estas son todas cualidades inherentes a un proceso de creación de software eficiente y eficaz. ?? objetivo general de esta investigación es contribuir al mejoramiento de los procesos de desarrollo de software de los sistemas robóticos, a través del análisis del paradigma de desarrollo MDD aplicando los estándares definidos por la OMG.
  • Item
    Programming as learning resource in middle school
    (Faculdade Três de Maio (SETREM), 2018-11-18) Pons, Claudia Fabiana ; Salvador, Ricardo Pablo ; Rodríguez, Guillermo
    In this work we study the influence, in the kinematics learning of secondary students, of the construction of a simulation using the SqueakEtoys graphical programming environment, as learning resource in a Rosario (Argentine) city preuniversity middle school. The pupils are almost 16 years old and do not have knowledge about programming. Using an habitual curricular exercise the experience took about 3 classes. The results indicate an increase in students' grades and interest in programming as a didactic resource, which encourages designing similar activities and exploring this resource in other disciplines.
  • Item
    Certifying CMMI-DEV in the Context of Model-Driven Software Engineering
    (ASQ, 2018-9) Pons, Claudia Fabiana ; Esterkin, Viviana
    Model-driven software engineering (MDE) is being positioned as an alternative to conventional methods of software production. Given that MDE is an emerging paradigm, standards for measuring its quality have not yet been established. This article analyzes MDE good practices and how they relate to CMMI-DEV 1.3 Level 2. MDE best practices were assessed to determine whether they support each CMMI Level 2 specific practice in seven of the 22 process areas: configuration management, supplier agreement management, requirement management, process and product quality assurance, measurement and analysis, project monitoring and control, and project planning. An expert panel of five software engineering professionals offered consulting services to provide an initial evaluation of the results. For each process area, the percentage of practices supported by MDE was determined and recommendations to enhance MDE support were identified. Although further research is needed, this suggests that an organization that uses MDE can certify at CMMI-DEV 1.3 Level 2.