Person:
Granda Juca, María Fernanda

Birth Date

1975-04-30

ORCID

0000-0002-5125-8234

Scopus Author ID

56405314000

Afiliación

Universidad de Cuenca, Cuenca, Ecuador
Universidad de Cuenca, Departamento de Ciencias de la Computación, Cuenca, Ecuador

País

Ecuador

Organizational Units

Organizational Unit

Facultad de Ingeniería

La Facultad de Ingeniería, a inicios de los años 60, mediante resolución del Honorable Consejo Universitario, se formalizó la Facultad de Ingeniería de la Universidad de Cuenca, conformada por las escuelas de Ingeniería Civil y Topografía. Esta nueva estructura permitió una mayor especialización y fortalecimiento en áreas clave para el desarrollo regional. Cuenta con programas académicos reconocidos internacionalmente, que promueven y lideran actividades de investigación. Aplica un modelo educativo centrado en el estudiante y con procesos de mejora continua. Establece como prioridad una educación integra, la formación humanística es parte del programa de estudios que complementa a la sólida preparación científico-técnica. Las actividades culturales pertenecen a un programa permanente y activo al interior de nuestras dependencias, a la par de proyectos que desde el alumnado y bajo la supervisión de docentes cumplen con servicios de apoyo a nivel local y regional; promoviendo así una vinculación estrecha con la comunidad.

Job Title

Profesor (T)

Last Name

Granda Juca

First Name

María Fernanda

Full item page

Search Results

Now showing 1 - 10 of 22

Generation of Microservice Names from Functional Requirements: An Automated Approach
(Springer Science and Business Media Deutschland GmbH, 2024) Granda Juca, María Fernanda; Saquicela Galarza, Víctor Hugo; Arias Barros, Jhoan Sebastian; Suquisupa Nacipucha, Pamela Aracely
In the context of the advancement of software architectures based on microservices and the relevance of requirements engineering in application development, the problem of manual creation and the need for expertise to define microservices, a human activity that requires a high level of knowledge and experience, arises. To address this challenge, a solution is proposed that consists of finding the ideal names for microservices. To automate the process of identifying microservice names, this proposal is based on the application of Natural Language Processing (NLP) techniques, graph analysis and community detection, including the use of artificial intelligence language models such as ChatGPT.
Testing-based conceptual schema validation in a model- Driven environment
(CEUR-WS, 2013-06-21) Granda Juca, María Fernanda
In Model-Driven Development, the main artefacts are conceptual schemas, and efforts are focused on their creation, testing and evolution at different levels of abstraction through transformations. If a conceptual schema has defects, these are passed on to the following stages, including coding. Therefore, techniques for improving the quality of conceptual schemas must be implemented to assure the correct generation of final software products. One of the challenges in Model-Driven Development is being able to identify defects early on, at the level of conceptual schemas, as this would help reduce development costs and improve software quality. In this research proposal we suggest an approach for testing-based conceptual schema validation in order to improve quality.
Testing-based conceptual schema validation in a modeldriven environment
(CEUR-WS, 2013) Granda Juca, María Fernanda; Granda Juca, María Fernanda
In Model-Driven Development, the main artefacts are conceptual schemas, and efforts are focused on their creation, testing and evolution at different levels of abstraction through transformations. If a conceptual schema has defects, these are passed on to the following stages, including coding. Therefore, techniques for improving the quality of conceptual schemas must be implemented to assure the correct generation of final software products. One of the challenges in Model-Driven Development is being able to identify defects early on, at the level of conceptual schemas, as this would help reduce development costs and improve software quality. In this research proposal we suggest an approach for testing-based conceptual schema validation in order to improve quality.
Exploring the influence of the emotional state on the efficiency for correcting defects in conceptual models: a live study
(CEUR-WS, 2020) Suni Lopez, Franci; Mayhua, Angela; Granda Juca, María Fernanda
The purpose of this live study is to investigate the impact of emotional states on the efficiency of correcting defects within a Conceptual Model verification context. We plan to use the CoSTest tool for verifying defects and measure the experimented emotions during the testing tasks through I-PANAS-SF and SUDS instruments. Furthermore, the design, overview and potential threats of this experiment are presented. Copyright © 2020 for this paper by its authors.
Analyzing emotions in conceptual models verification tasks performed in online contests
(Institute of Electrical and Electronics Engineers Inc., 2021) Mayhua Quispe, Angela; Suni Lopez, Franci; Condori Fernandez, Nelly; Granda Juca, María Fernanda
Emotion research in the area of software engineering has gained significant attention. Mostly this research has been focused on understanding the role of emotions in software programming carried out within collaborative software development environments. With the purpose of providing more evidence on emotion research in the early stages of the software life cycle, in this paper, we report the results of a live study conducted in competitive conditions. The main objective of the study is to analyze the emotions expressed by competitors when performing verification tasks with the support of CoSTest, a model-driven testing tool. Our results show that participants tend to experience more positive emotions (e.g., attentive, alert, active) than negative emotions (upset, hostile, afraid) when verification tasks are performed in an online contest.
An experiment design for validating a test case generation strategy from requirements models
(IEEE, 2014) Granda Juca, María Fernanda; Granda Juca, María Fernanda
Currently, in a Model-Driven Engineering environment, it is a difficult and challenging task to fully automate model-driven testing because this demands complete and unambiguous models as input. Although some approaches have been developed to generate test cases from models, they require rigorous assessment of the completeness of the derivation rules. This paper proposes the plan and design of a controlled experiment that analyses a test case generation strategy for the purpose of evaluating its completeness from the viewpoint of those testers who will use a Communication Analysis-based requirements model. We will compare the abstract test cases obtained by applying (i) manual derivation without derivation rules with (ii) manual derivation with transformation rules; and both these strategies against a case of automated generation using transformation rules.
How do negative emotions influence on the conceptual models verification?: a live study proposal
(Association for Computing Machinery, Inc, 2020) Mayhua Quispe, Angela; Suni Lopez, Franci; Granda Juca, María Fernanda; Condori Fernández, Nelly
The present live study is proposed with the objective of investigating the influence of negative emotions (i.e., stress) in the efficiency for verifying conceptual models. To conduct this study, we use a Model-driven Testing tool, named CoSTest, and our own version of stress detector within a competition setting. The experiment design, overview of the empirical procedure, instrumentation and potential threats are presented in the proposal.
Mutation operators for UML class diagrams
(Springer, Cham, 2016) Granda Juca, María Fernanda; Condori Fernandez, Nelly; Vos, Tanja Ernestina; Pastor López, Oscar; Granda Juca, María Fernanda
Mutation Testing is a well-established technique for assessing the quality of test cases by checking how well they detect faults injected into a software artefact (mutant). Using this technique, the most critical activity is the adequate design of mutation operators so that they reflect typical defects of the artefact under test. This paper presents the design of a set of mutation operators for Conceptual Schemas (CS) based on UML Class Diagrams (CD). In this paper, the operators are defined in accordance with an existing defects classification for UML CS and relevant elements identified from the UML-CD meta-model. The operators are subsequently used to generate first order mutants for a CS under test. Finally, in order to analyse the usefulness of the mutation operators, we measure some basic characteristics of mutation operators with three different CSs under test.
Mutation operators for UML class diagrams
(Springer, Cham, 2016) Granda Juca, María Fernanda; Condori Fernández, Nelly; Vos, Tanja Ernestina; Pastor López, Oscar; Granda Juca, María Fernanda
Mutation Testing is a well-established technique for assessing the quality of test cases by checking how well they detect faults injected into a software artefact (mutant). Using this technique, the most critical activity is the adequate design of mutation operators so that they reflect typical defects of the artefact under test. This paper presents the design of a set of mutation operators for Conceptual Schemas (CS) based on UML Class Diagrams (CD). In this paper, the operators are defined in accordance with an existing defects classification for UML CS and relevant elements identified from the UML-CD meta-model. The operators are subsequently used to generate first order mutants for a CS under test. Finally, in order to analyse the usefulness of the mutation operators, we measure some basic characteristics of mutation operators with three different CSs under test.
Using ALF within the CoSTest process for validation of UML-based conceptual schema
(CEUR-WS, 2017) Granda Juca, María Fernanda; Condori Fernández, Nelly; Vos, Tanja Ernestina; Granda Juca, María Fernanda
The Unified Modelling Language (UML) is widely used for modelling software systems and its integration with executable languages, such as the Action Language for Foundational UML (ALF), provides a bridge between the graphical specification techniques used by mainstream software engineers and the precise analysis and validation techniques essential for the model-driven development of information systems. As far as we know, the idea of transforming Conceptual Schemas (CS) based on UML Class Diagrams into ALF to execute systematic ALF-based test cases against these CSs and to report defects by checking logs has not been explored to date. In this paper, we use ALF to create a testing environment to validate requirements and verify some system properties at the CS level. We also report on some of the implementation details and design decisions of our proof-of-concept tool, as well as its limitations and possible use scenarios.