Search

Copyright of Revista Foco (Interdisciplinary Studies Journal) is the property of Revista Foco and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Este estudio explora cómo la Ingeniería del Software Clásico, especialmente la ingeniería dirigida por modelos en testing, puede contribuir a la mejora de la Ingeniería del Software Cuántico (Quantum Software Engineering, QSE). Adoptando principios de "agnosticismo", se busca desarrollar procesos de ingeniería del software que sean independientes de cualquier lenguaje o plataforma específicos para software cuántico. Actualmente, el testing de software cuántico se considera un área emergente con múltiples propuestas focalizadas en lenguajes o plataformas particulares. Este trabajo propone una extensión del UML Testing Profile 2.0 para modelar pruebas de software cuántico, permitiendo (i) la exploración de nuevos conceptos necesarios para especificar estas pruebas, (ii) el modelado de diferentes tipos de pruebas durante el diseño del software cuántico, y (iii) la especificación de pruebas independiente del lenguaje o plataforma de ejecución. Esta aproximación busca establecer una base más flexible y extensible para el testing en QSE.

Copyright of Memoria Investigaciones en Ingeniería is the property of Universidad de Montevideo and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Software tests are fundamental in the reliability and quality of systems, contributing to their positioning in the market. Generating test data is a critical task, as exhaustive testing is costly in time and effort. An adequate design of the test cases, which contemplates a selection of adequate values, can detect a high number of defects. The effectiveness of the test cases is measured according to the number of errors they managed to detect. However, the proposals that address these issues with the use of heuristic algorithms focus on the reduction of generation time and different coverage criteria. This article presents a search-based optimization model for the generation of unit test suites that integrates different test case design techniques considering the significance of the values generated in the detection of errors. The significance of the paths is also taken into account, with the aim of obtaining test cases with greater potential to detect errors. The optimization model uses heuristic algorithms that maximize the coverage of the paths. The results of the experimentation are presented, which show that the proposal presented generates test suits with a high capacity to detect errors. For this, the effectiveness of the generated test suits to detect errors in the mutated code was evaluated. [ABSTRACT FROM AUTHOR]

Blockchain technology has gained significant prominence in the business world. Its impact has been felt in many sectors, but its integration and interoperability remain complex. Many challenges remain, both for users and business consultants, as well as for IT engineers. One of the challenges identified by the research community is the need to provide mechanisms to specify, verify and validate the requirements and business rules that smart contracts must comply with before they can be deployed in a blockchain network. This paper describes a proposal, based on model-driven and useroriented engineering, that aims to obtain functional verification from smart contract specifications in a systematic way. This proposal has been validated in the SmartISBN project, an R+D+i project whose objectives included ensuring the software quality of smart contracts and, above all, improving the traceability of digital publishing (electronic books and journals) using blockchain technology. In this context, this proposal has facilitated the communication between functional experts (authors, publishers, booksellers, etc.) and IT engineers during the specification phase of the global SmartISBN solution and in particular of the smart contracts, as well as during the definition of the functional tests necessary for the validation of the project. [ABSTRACT FROM AUTHOR]

The Sugarcane Research Institute worked on the development of the software (SW) LabraS specialized in the planning of soil tillage processes. Evaluating the functional adequacy of the LabraS software in the planning of the sustainable soil preparation for sugarcane cultivation is the objective of this paper. The work was carried out at "Héctor Rodríguez" Base Business Unit (UEB), of the AZCUBA Sugar Group. The evaluation included the 2020-2021 soil preparation campaign, with 2 619.2 ha, concentrated in 57 blocks dedicated to sugarcane. The research conditions were characterized as complex, with a predominance of poorly drained areas (57%), medium and heavy textured soils (89%), and fallows or cane fields with very low agricultural yields without harvest (67%). The results showed an adequate selection of the technological alternatives, their operational variants and tasks by management condition. In addition, the correct application of the ISMACE criteria (integration of knowledge on soil, machinery, crop and working environment) in the algorithm of the LabraS software, for selecting the technologies with the best technological, economic, energetic and environmental impact, generally demonstrated satisfactory results in the validation of the functional adequacy for the planning of sustainable soil preparation. [ABSTRACT FROM AUTHOR]

En la actualidad, se busca que el proceso de desarrollo de software sea más rápido y efectivo. Las principales causas que impiden cumplir con este objetivo son los errores en las especificaciones de requisitos y la ausencia de pruebas acordes al producto construido. Como consecuencia, se obtienen productos de software que no alcanzan la calidad esperada por los clientes. Por ello, es crítico que los equipos de desarrollo de software le den prioridad a la etapa de pruebas, así como a la definición correcta de los requisitos, para evitar crear un producto que pueda resultar en la pérdida de recursos y en la insatisfacción de los stakeholders. Como respuesta a esta problemática, en el ámbito de desarrollo de software, se han diseñado distintas prácticas basadas en pruebas para minimizar errores en el proceso de desarrollo, entre estas, se pueden mencionar: Test-Driven Development, Behaviour-Driven Development y Acceptance Test Driven Development. En este artículo, se aborda una revisión literaria de estas prácticas con el objetivo de determinar la importancia de cada una, en el proceso de desarrollo de software, mediante el análisis de sus características y diferencias.

La formación en pruebas de software es relevante en los diferentes niveles de formación del Ingeniero, dado que esta actividad es intensiva en conocimiento y pertinente para la calidad de los productos de Software. Siendo necesario una definición de competencias que logre establecer salidas ocupacionales diferenciables en campo laboral. En la industria del software es necesario reconocer las competencias para definir perfiles de formación de los programas académicos asociados a la cadena de valor de las pruebas de software a través de estrategias de formación acordes a las demandas del sector productivo y los retos de la educación superior. Por ello, este estudio presenta resultados de un proceso, que valida con la academia y la industria los perfiles ocupacionales y competencias del proceso de pruebas de software para establecer un proceso de enseñanza aprendizaje centrado en el estudiante a través de un entorno educativo que instancia el modelo de aprendizaje experiencial y la cultura maker.

Copyright of Revista Cubana de Ciencias Informáticas is the property of Universidad de las Ciencias Informaticas (UCI) and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Copyright of Revista Cubana de Ciencias Informáticas is the property of Universidad de las Ciencias Informaticas (UCI) and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Copyright of Revista Cubana de Ciencias Informáticas is the property of Universidad de las Ciencias Informaticas (UCI) and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

A partir del proceso de implementación del sistema para la gestión de datos de urocultivo, se hace necesario comprobar el correcto funcionamiento de los requisitos especificados. Las pruebas de software representan la forma de comprobar la correspondencia entre los elementos solicitados por el cliente y el correcto funcionamiento de esto. La presente investigación describe una solución al proceso de prueba después de la implementación de los requisitos definidos para lo cual se realizan pruebas de interfaz utilizando el método de partición equivalencia.

This paper presents a proposal for assigning priorities to test cases in agile development environments. Through mathematical methods, a function is obtained to calculate the priority of the test cases of the software projects and their relationship with the phases of the project development life cycle. The defined function is based on four indicators whose information is possible to obtain in each of the project's iterations. A case study is also presented that allows comparing the results of ordering of the test cases, according to the priority with their effectiveness for the detection of potential errors and get expected result. [ABSTRACT FROM AUTHOR]

An activity of vital importance in software testing is the design and creation of effective test cases associated with adequate generation of test values, because empirical tests can't guarantee detection of all errors and the exhaustive testing is very costly in time and effort. Therefore, the strategy is try to make the tests the most inclusive possible to consider a subset of possible cases and test values most likely to detect errors. In this context, the need arises for using test case design techniques for the automatic generation of test cases, which ensure high levels of error coverage. This paper presents a component that generates automatically, values for unit testing, using design techniques Loops and Conditions. [ABSTRACT FROM AUTHOR]

Several authors agree with the importance of the tests like element of quality control of the software and in the impossibility of their realization of exhaustive way. This opinion defends that, the necessary quan-tity of stages and test values to achieve the maximum coverage is too big, what converts the test-case design, and in particular the generation of its values, in a combinatorial problem. That´s why, in many instances, in front of the impossibility of covering all the stages, testers leave out of the design some inter-esting values, which can discover inconsistencies with the specified requirements.This work presents a proposal for the automatic generation of values of functional test cases, by means of the use of meta-heu-ristic algorithms and maximizing the coverage of the stages. Furthermore, the algorithms implemented for the generation of initial values and for the generation of combinations are detailed. Additionally a set of good practices to use the component and the comparison of the obtained results with other existing solutions are described.

Este proyecto se enfoca en presentar un modelo de referencia tomando herramientas ya creadas para automatizar el proceso de realización de las pruebas funcionales durante la fase de evaluación de la calidad del producto desarrollado. Esta automatización contempla la evaluación de ciertas herramientas automatizadas de administración de pruebas, así como la automatización de pruebas funcionales. El desarrollo del software y el logro de un servicio informático de primera calidad es lo que actualmente se logra con las pruebas funcionales hechas en la etapa de desarrollo. Este proceso es una parte muy importante y crítica dentro del proceso de desarrollo de software, y debe realizarse con la mayor eficacia y la mejor eficiencia. Durante el proyecto se conocieron los procesos actuales que forman parte de la metodología de desarrollo de aplicaciones, tanto teórica como práctica. Se evaluaron herramientas y metodologías para automatización de pruebas. Se consideró muy importante que las soluciones tanto metodológicas como técnicas apoyen aspectos como: encontrar defectos en fases más tempranas del desarrollo, lograr mayor y mejor cobertura de funcionalidad durante las pruebas, la ejecución de las pruebas viables en costo y tiempo.

Las organizaciones deben brindar sus bienes o servicios con un alto grado de calidad, garantizando la satisfacción de sus clientes. Las normas, contribuyen a la estandarización de los procesos de las organizaciones, para lograr su acreditación y certificación a partir de estas, con reconocimiento a escala internacional. Las actividades relacionadas con las pruebas de software, se brindan como tendencia actual, bajo el principio del outsourcing en las Factorías de Pruebas. Existen modelos de referencia para estas organizaciones, los cuales definen un conjunto de buenas prácticas a realizar, con el objetivo de llevar a cabo una mejora de procesos. Sin embargo, no toman en cuenta lo definido en las normas de la Organización Internacional de Normalización, en función de facilitar la acreditación y certificación del laboratorio de pruebas y lograr un aumento en la eficiencia de las pruebas. En este trabajo se presenta una estrategia para desarrollar la perspectiva procesos internos en un laboratorio de pruebas de software que brinda servicios outsourcing, facilitando su acreditación y certificación, así como un aumento en la eficiencia de las pruebas de software. La propuesta considera las normas NC-ISO/IEC 9001: 2008, NC-ISO/IEC 17025:2006 y NC- ISO/IEC 9126-1:2005. Se elaboró la Guía de requisitos complementarios, esencial para la interpretación de la norma de acreditación. Se aplicó la propuesta en un entorno real, evidenciándose excelentes resultados en los tres métodos aplicados para su validación.

La calidad en sentido general, tanto de software como de otros tipos de productos, es un elemento que cada día se tiene más en cuenta a nivel mundial y su logro se relaciona directamente con el proceso que se emplee para obtenerla. Este trabajo presenta una propuesta de proceso de pruebas de software, para un Laboratorio de Calidad, inmerso en un ambiente universitario. Se detallan las actividades de los procesos fundamentales y los artefactos de salida, los niveles de prueba que se aplican y otros elementos de interés. Además se muestra una experiencia práctica de aplicación del proceso y los resultados de varios casos de estudio. Esta propuesta incluye la definición de los aspectos metodológicos y la selección de herramientas que automaticen el proceso. ABSTRACT In general terms, the quality of the software as of other products, is an element of increasing importance worldwide and it is strongly linked to its obtaining process. This work presents a proposal of a software testing process for a Quality Laboratory, integrated into an academic environment. The activities of the main processes and the output artifacts were detailed, as well as the testing levels applied, among other elements of interest. It was also showed a practical experience related to the process implementation and the results of several study cases. This proposal includes the definition of the methodological issues and the selection of the tools for the process automation.

La gestión de conocimiento se ha convertido en una clave fundamental en los procesos de la ingeniería de software, permitiendo mejorar y optimizar cada una de las actividades que se ejecutan durante todo el ciclo de desarrollo de software. Cada una de las etapas de la ingeniería de software ha adoptado de la gestión de conocimiento algunas características, de acuerdo con las necesidades que se presentan, adecuándolos y fortaleciéndolos para reducir los tiempos y disminuir la fuga de información dentro de las organizaciones. Es por esto que las pruebas de software han adoptado la gestión de conocimiento como la alternativa para disminuir el reproceso en las pruebas de software.

Un aspecto crucial en el control de calidad del desarrollo de software son las pruebas y, dentro de estas, las pruebas funcionales, en las cuales se hace una verificación dinámica del comportamiento de un sistema, basada en la observación de un conjunto seleccionado de ejecuciones controladas o casos de prueba. Para hacer pruebas funcionales se requiere una planificación que consiste en definir los aspectos a chequear y la forma de verificar su correcto funcionamiento, punto en el cual adquieren sentido los casos de prueba. En este artículo derivado de investigación se define un método para generar casos de prueba funcional a partir de casos de uso del sistema, como producto intermedio del proyecto cofinanciado titulado "Herramienta para la documentación de pruebas funcionales"Testing is a main aspect in quality control of software development, especially functional tests. The aim of functional testing is to dynamically verify the system behavior, based on the observation of a given set of controlled executions or test cases. Planning is required to make functional tests, defining the aspects to be checked and the way to verify its proper operation; this allows test cases make sense. In this paper (research based), we propose a method to generate functional test cases from system use cases, based on the co-financed project "Tool for Documenting Functional Testing."

Copyright of Lámpsakos is the property of Fundacion Universitaria Luis Amigo, Facultad de Ingenierias and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

The outsourcing of software testing is a current trend and enables organizations to reduce costs, time and improve the quality of process and product. Testing Factories using reference models have applied this principle. These models are not defined as an organizational model and are not aimed at increasing efficiency in the execution of software tests. In this paper is presented the basis of a new organizational model for Testing Factories, formed by the integration of the custom perspectives of the Balanced Scorecard, the disciplines of Intelligent Organizations and international quality standards. It defines a fifth perspective, considering the characteristics of the organization. The proposal was validated from its application in the test laboratory of the National Centre for Software Quality, showing increase in testing efficiency for four years of work. [ABSTRACT FROM AUTHOR]

Copyright of Revista Cubana de Ciencias Informáticas is the property of Universidad de las Ciencias Informaticas (UCI) and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

In general terms, the quality of the software as of other products, is an element of increasing importance worldwide and it is strongly linked to its obtaining process. This work presents a proposal of a software testing process for a Quality Laboratory, integrated into an academic environment. The activities of the main processes and the output artifacts were detailed, as well as the testing levels applied, among other elements of interest. It was also showed a practical experience related to the process implementation and the results of several study cases. This proposal includes the definition of the methodological issues and the selection of the tools for the process automation. [ABSTRACT FROM AUTHOR]

Copyright of Revista Cubana de Ciencias Informáticas is the property of Universidad de las Ciencias Informaticas (UCI) and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

La Producción de Software y Servicios Informáticos se basa en la integración de los procesos de formación, investigación y producción en torno a una temática para convertirla en una rama productiva. Las investigaciones en la Universidad de las Ciencias Informáticas (UCI) potencian los resultados en la producción y la formación, con la participación importante del movimiento estudiantil. ¿Se convierte la UCI en un Centro mitad Universidad mitad Empresa? Definitivamente, la UCI es una Universidad cuya misión es producir software y brindar servicios informáticos a partir de la vinculación estudio – trabajo como modelo de formación. Con la creación del Laboratorio Industrial de Pruebas de Software (LIPS) se asegura que cada artefacto haga lo adecuado en todo momento. Va más allá de asegurar la idoneidad de un servicio o producto, ya que hace posible una gestión integral del valor añadido mediante el cumplimiento y la superación de las expectativas de los clientes. Se vincula la actividad productiva con la docente, impartiendo a los estudiantes de 2do año clases guiadas a obtener conocimientos relacionados con la gestión de la Calidad de Software desde la práctica, posibilitándole obtener una mejor y mayor preparación en los próximos años de la carrera.

En este artículo se define un flujo de trabajo de pruebas de aceptación del cliente con la participación de un tercero confiable, una empresa certificadora de calidad. En él se detallan: quiénes participan, qué hacen, cuándo y cómo deben hacerlo; así como, qué artefactos se generan. Es de destacar la participación a este nivel de los clientes, los usuarios finales, los desarrolladores y la empresa tercera garantizando la calidad y el buen desarrollo del proceso.

The article is associated with the creation of a usability lab where various types of tests performed using static and dynamic tools for evaluating the characteristics of usability, accessibility and Communicability by indicators in the software testing process with the user's presence. It also addresses the current situation in Cuba on the issue of evidence of these characteristics and the impact it could bring to the development teams. In addition, an analysis of the result of applying a tool (check list) to multiple Web applications on tests conducted at the National Center for Software Quality Cuba (CALISOFT). We also present a set of best practices that support the development of web applications to suit the user. [ABSTRACT FROM AUTHOR]