01. Universidade Federal Rural de Pernambuco - UFRPE (Sede)
URI permanente desta comunidadehttps://arandu.ufrpe.br/handle/123456789/1
Navegar
5 resultados
Resultados da Pesquisa
Item Análise de dados coletados para a melhoria de uma suite de testes em um site de e-commerce(2024-03-08) Lubambo, Manoela Timossi; Monteiro, Cleviton Vinicius Fonsêca; http://lattes.cnpq.br/9362573782715504; http://lattes.cnpq.br/5743969633597802Quality is important in Software Engineering so that systems maintain and meet specified requirements, are reliable, efficient and free from defects. This is guaranteed through a series of standards, practices and processes. As an essential part of the quality assurance process, software testing aims to verify the software’s compliance with established functional and non-functional requirements, such as performance, security, usability, reliability, among others. They are conducted by running the software under controlled conditions, using specific techniques and strategies to detect problems and ensure their correction. One of its diverse approaches is through test automation. In this work, a detailed report is made on the process of automating a test suite, highlighting the challenges faced throughout this process. And, a thorough analysis of the data collected regarding automation is carried out and, through this analysis, we seek identify the root of the problems related to the lack of effectiveness of the automation presented, where possible improvements are identified based on the results obtained, aiming to optimize the effectiveness of the test automation process.Item Mssbox, um pacote python para facilitar a automação de testes mobile que envolvem sim cards usando o hardware matrix SIM switch box(2022-06-03) Silva, Antonio Carlos da; Bocanegra, Silvana; Oliveira, Renan Marques Gomes de; http://lattes.cnpq.br/6483902648151599; http://lattes.cnpq.br/4596111202208863Mobile apps require testing like any other software system. However, running mobile tests is quite challenging, as you need to think carefully about each test type when thinking about creating test cases. For automation, the challenges are even greater due to the variety of devices, operating systems and mobile network issues. Bringing it to the testing scenario on cell phones, one of the ways to test considering the mobile network is by inserting a SIM card in the device. The need to manipulate these SIM cards during testing is the challenge that this work seeks to explore. The present work has as main objective to present a tool to aid in the automation of tests that need this manipulation and the development of a package that allows the tool to be used in automation. For this, an action research was carried out through an experiment in a mobile testing project, in which it was possible to describe the tool and its functionalities, as well as the necessary steps for its use. It is also described how the created package was structured and the tests implemented to use the package. Finally, it was possible to identify the benefits that can be obtained using this tool for test execution and automation on cell phones.Item Guidelines para análise de viabilidade de projetos de automação de teste(2019) Silva, Tamires Pereira da; Furtado, Ana Paula Carvalho Cavalcanti; http://lattes.cnpq.br/5862330768739698; http://lattes.cnpq.br/4997802496764016Context: Performing tests is an essential activity in software development. Need some companies neglect their execution, with a justification of the effort and costs are not validin the project. With this, a test automation has emerged as an alternative to lessen these problems. But once solved, an automation, corrected, can make a project unfeasible,bringing more problems than solutions. The way to analyze is a feasibility of automatingthe automated testing of your deployment in a software project.Objective: This work,therefore, has as a goal a way of seeing the feasibility of an automation project, an increasing number of main tasks in the execution of the activity. From the data found, it isa way of performing an analysis of the feasibility of automation within a software project.Method: this proposal was elaborated with the intention of compiling a bibliographicalsurvey, in order to obtain the points of interest in the feasibility analysis, the meeting point was banned in the area, in order to compare the data contained in the results ofthe first part of search. The results were organized in the form of guidelines, validated from the execution of a case study.Results: The proposal was made according to the guidelines, which are points that must be included before starting an automation.The proposal was validated with a case body without the context of three reais. Ineach project, checklists were carried out in order to evaluate the possibility of using the automation.Conclusion: based on the results can be recognized as a whole, afeasibility analysis, there fore, represents a form of automation of the problems. The proposal of the guidelines was used through the case study as a way of validating the guidelines.Item Uma proposta de taxonomia de casos de teste de software de caixa preta(2019) Moreira, Rodrigo Cunha Alves; Furtado, Ana Paula Carvalho Cavalcanti; http://lattes.cnpq.br/5862330768739698; http://lattes.cnpq.br/2898385632548078In recent years, there has been a huge growth of companies that work with software development, in the same way, the demand for quality in these softwares has also increased. Because of this, software testing plays a very important role in ensuring the quality of software. When it comes to software testing, it is important to mention test cases, which are a set of inputs, conditions, and expected results for the purpose of validating a specific function or software requirement. Countless test cases are created during the development of a software, and it may confuse the test engineers. Thus, the objective of this work was to develop a classification of black box software test cases with the purpose of assisting the test engineers in their test plan executions. To accomplish this, an exploratory literature review was done with the intention of seeking a theoretical basis and analysis of related works. A taxonomy has been developed, which is a collection of terms, from a controlled vocabulary, organized in a hierarchical structure. After the development of this taxonomy, a validation of this proposal was accomplished through the focal group technique. From this validation, it was possible to obtain positive feedback regarding the proposal, verify the relevance of the research and to show evidence of its validity.Item Uma abordagem para tradução de uma linguagem de programação de robôs para um modelo formal(2018) Pereira, Iverson Luís; Nogueira, Sidney de Carvalho; http://lattes.cnpq.br/9171224058305522; http://lattes.cnpq.br/1186672408246777There is an increasing interest in virtual robot programming environments for educational purposes in recent years. These environments are an alternative to the use of real robots, which have a high acquisition value. Automatic verification of robot programs is a demand of students and teachers that expect to have fast and automatic feed back about the correctness of robot programs.However,no free software provides an automatic verification of virtual robot programs. This work proposes an approach for the automatic verification of virtual robot programs authored in the educational language called ROBO. We propose a compiler that reads programs written in ROBO and translates its source code into a formal notation called CSP (Communicating Sequential Processes), which is the input to a model checking tool called FDR (FailuresDivergences Refinement). The compiler was implemented using the facilities of the Spoofax framework, which is used to define a parser for the ROBO language and a set of translation rules from ROBO to CSP. This work removes a limitation of our previous verification approach that does not perform the verification of ROBO programs containing variables and procedures. A significant contribution is the extension of the verification approach to allow the automatic analysis of ROBO programs with variables and procedures.The extension consists of the modification of the compiler Grammar by the inclusion of variables and procedures and the inclusion of translation rules that define the formal semantics for the elements added into the grammar.Moreover, the work proposes a tool that makes transparent the translation process from ROBO to CSP and the automatic verification using FDR.We validate the approach using the proposed tool to verify the behavior of a ROBO program with variables and procedures.