Bacharelado em Ciência da Computação (Sede)
URI permanente desta comunidadehttps://arandu.ufrpe.br/handle/123456789/6
Siglas das Coleções:
APP - Artigo Publicado em Periódico
TAE - Trabalho Apresentado em Evento
TCC - Trabalho de Conclusão de Curso
Navegar
3 resultados
Resultados da Pesquisa
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/4997802496764016Contexto: realizar testes é uma atividade imprescindível no desenvolvimento de software. Apesar disso algumas, empresas negligenciam sua execução, com a justificativa de que o esforço e custo empreendidos não seriam válidos no projeto. Com isso a automação de testes surgiu como uma alternativa para diminuir esses problemas a longo prazo no desenvolvimento. Mas apesar de ser uma possível solução, a automação,se mal aplicada, pode inviabilizar um projeto, trazendo mais problemas do que soluções. Uma forma de se tentar evitar essa situação é analisando a viabilidade de se implantar testes automatizados antes de sua implantação em um projeto de software. Objetivo: este trabalho, portanto, tem como objetivo propor uma forma de analisar a viabilidade de um projeto de automação, inicialmente levantando-se os principais problemas encontrados na execução da atividade. A partir dos dados encontrados propõe uma forma de realizar a análise da viabilidade da automação dentro de um projeto de software. Método: esta proposta foi elaborada a partir da realização de um levantamento na bibliografia, para assim conseguir averiguar os pontos de interesse na análise da viabilidade, após essa etapa foram realizadas entrevistas com especialistas na área, com a finalidade de comparar os dados encontrados com resultados da primeira etapa de pesquisa. Os resultados destas fases foram organizados em forma de guidelines, validados a partir da execução de um estudo de caso. Resultados: a proposta foi composta pela criação de guidelines, que consistem em pontos que devem ser considerados antes de iniciar a automação. A proposta foi validada com um estudo de casos aplicado no contexto de três projetos reais. Em cada projeto foram aplicados checklists a fim de se avaliar a possibilidade do uso da automação. Conclusão: com base nos resultados da pesquisa foi possível notar que os problemas causados por uma aplicação incorreta da automação podem prejudicar o projeto como um todo, a análise da viabilidade, portanto, representa uma forma de minimizar esses problemas. A proposta dos guidelines pôde ser usado através do estudo de caso como forma de validar os 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/2898385632548078Nos últimos anos houve um grande crescimento de empresas que trabalham com desenvolvimento de software, da mesma maneira, a exigência pela qualidade nestes softwares produzidos também aumentou. Consequentemente, o teste de software tem um papel muito importante na garantia da qualidade de um software. Casos de teste é um conceito fundamental para teste de software; consiste em um conjunto de entradas, condições e resultados esperados com o objetivo de validar uma função específica ou requisito do software. No desenvolvimento do software são criados inúmeros casos de teste, e isto pode deixar os engenheiros de testes confusos. Com isso, este trabalho tem como objetivo desenvolver uma classificação de casos de testes de software de caixa preta com o intuito de auxiliar os engenheiros de testes em suas execuções de planos de teste. Para realizar isto, foi feito uma revisão bibliográfica exploratório com o intuito de buscar uma fundamentação teórica, embasamento da pesquisa e análise dos trabalhos relacionados. Foi desenvolvido então uma taxonomia, que é uma coleção de termos, de um vocabulário controlado, organizados em uma estrutura hierárquica. Após o desenvolvimento da taxonomia, foi realizado uma validação dessa proposta por meio da técnica de grupo focal. A partir desta validação, foi possível obter feedbacks positivos com relação a proposta, constatar a relevância da pesquisa e mostrar indícios de sua validade.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/1186672408246777O interesse por ambientes de programação de robôs virtuais para fins educacionais tem crescido nos últimos anos. Estes ambientes são uma alternativa para o uso de robôs reais que possuem um alto custo de aquisição. No entanto, não existem ambientes gratuitos que oferecem mecanismos automatizados para verificação dos programas de robôs virtuais, o que impossibilita que alunos e professores tenham um feedback rápidoeautomáticosobreofuncionamentodosprogramas.Estetrabalhopropõe umaabordagemdeverificaçãoautomáticadeprogramasderobôsvirtuaisescritosna linguagemeducacionalROBO.DesenvolvemosumcompiladorquelêprogramasescritosemROBOetraduzosprogramasparaumanotaçãoformalchamadaCSP(Communicating Sequential Processes), que é a entrada para uma ferramenta de verificação automática de modelos chamada FDR (Failures-Divergences Refinement). As fases da compilação foram implementadas usando a plataforma Spoofax, onde definimos a gramática da linguagem ROBO e especificamos regras de tradução de ROBO para CSP. Estetrabalhoremoveumalimitaçãodanossaabordagemanteriordeverificação que não permite a análise de programas ROBO contendo variáveis e procedimentos. Uma importante contribuição deste trabalho é a extensão da abordagem de verificação para permitir a análise automática de programas ROBO com variáveis e procedimentos. A extensão consiste na modificação da gramática do compilador pela inclusão de variáveis e procedimentos e na inclusão de novas regras de tradução que definem a semântica formal para os elementos adicionados na gramática. O trabalho propõe uma ferramenta que torna transparente o processo de tradução de ROBO para CSP e a verificação automática usando FDR. Validamos a abordagem utilizando a ferramenta proposta para verificar o comportamento de um programa ROBO com variáveis e procedimentos.