Ingeniería de software

Permanent URI for this community

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

Browse

Browsing Ingeniería de software by Author "Baum, Gabriel"
  • 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
    (Brazilian Journals Publicações de Periódicos e Editora Ltda., 2019-3-1) 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
    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
    La nueva inteligencia artificial : conceptos básicos y aplicaciones
    (Asociación Química Argentina, 2022-8) Pons, Claudia Fabiana ; Pérez, Gabriela ; Baum, Gabriel
    En este artículo se explican los conceptos teóricos y las nociones intuitivas que conforman a la nueva Inteligencia Artificial, en especial al Aprendizaje de Máquina basado en Redes Neuronales Artificiales. Se recorren sus orígenes y fundamentos. Se describen sus principales aplicaciones y herramientas técnicas. Finalmente se comparten reflexiones acerca de las tendencias tecnológicas en el área y se presentan experiencias de aplicaciones desarrolladas en grupos de investigación de la Universidad Nacional de La Plata.