Navegando por Orientadores "Nogueira, Sidney de Carvalho"

Agora exibindo 1 - 7 de 7

Análise de portabilidade dos testes automatizados entre as plataformas android e iOS: um relato de experiência
(2024-09-30) Diniz, Felipe Bernard de Oliveira Soares; Nogueira, Sidney de Carvalho; http://lattes.cnpq.br/9171224058305522; http://lattes.cnpq.br/5689859464036461
Testabilidade multiplataforma é uma característica essencial e desafiadora no desenvolvimento de software, especialmente devido à diversidade de dispositivos e plataformas disponíveis no mercado. Este trabalho avalia a portabilidade de scripts de teste automatizados utilizando Robot Framework e Appium nas plataformas Android e iOS. A metodologia incluiu a execução de um conjunto de testes em ambas as plataformas, mapeando e analisando as divergências observadas. Os resultados indicam que, embora Robot Framework e Appium sejam ferramentas amplamente utilizadas e eficazes, ainda existem desafios significativos na portabilidade completa dos scripts, exigindo adaptações específicas para cada plataforma. A pesquisa documenta essas limitações e oferece recomendações para melhorar a eficiência dos testes automáticos e a qualidade em projetos de software móvel.
Aplicação do design thinking no processo de inovação na gestão de pessoas no TCE-PE
(2025-03-25) Lima Filho, Ricardo Alves de; Nogueira, Sidney de Carvalho; http://lattes.cnpq.br/9171224058305522; http://lattes.cnpq.br/0334306149363599
A agilidade de processos no setor público é raramente associada às experiências dos cidadãos devido à burocracia de procedimentos obrigatórios desatualizados que não dependem dos servidores públicos. Para enfrentar esse desafio, o Tribunal de Contas do Estado de Pernambuco (TCE-PE) investiu em inovação tecnológica, utilizando o design thinking em parceria com pesquisadores para resolver problemas complexos. Essa abordagem, que se mostra eficaz por compreender e resolver as necessidades dos usuários, vem ganhando espaço no setor público e recebendo boas avaliações. O objetivo da abordagem é melhorar a fluidez e velocidade dos processos internos, aumentando a satisfação dos cidadãos. Como resultado, foi criado um protótipo que torna mais efetiva a gerência das férias dos servidores do TCE, garantindo que tenham descanso ininterrupto enquanto a população continua recebendo atendimento constante.
Avaliação do uso de IA generativa como auxiliar na portabilidade de scripts de testes
(2024-10-04) Pinheiro, Filipe Paz Reis; Nogueira, Sidney de Carvalho; http://lattes.cnpq.br/9171224058305522; http://lattes.cnpq.br/9082954764188177
Os frameworks de automação de testes estão se tornando mais avançados e complementares. Este trabalho investiga o potencial do ChatGPT v3.5 para realizar a migração de scripts de testes entre Selenium e Cypress, avaliando a precisão e a confiabilidade dos códigos gerados. Após selecionar scripts e elaborar prompts, foi mensurada a taxa de sucesso da conversão, verificando se os scripts convertidos executaram corretamente sem erros de sintaxe e com mesmo resultado do original. Constatou uma taxa de conversão satisfatória, 100% de Selenium para Cypress e 97.73% de Cypress para Selenium. Contudo, evidenciou a necessidade de ajustes manuais para garantir o sucesso da migração, já que ocorreu scripts convertidos com resultados errados.
Geração de Testes automáticos para sistemas web a partir de casos de uso
(2024-10-03) Batista, Lucas Carneiro de Freitas; Nogueira, Sidney de Carvalho; http://lattes.cnpq.br/9171224058305522; http://lattes.cnpq.br/7911945427967450
Casos de uso são amplamente utilizados para descrever interações entre usuários e sistemas em linguagem natural, uma fonte valiosa para derivar casos de teste. Este trabalho explora a geração de testes automáticos para sistemas web através da extensão de TaRGeT, uma ferramenta de geração de casos de teste manuais a partir de um modelo do sistema derivado de casos de uso, para permitir gerar scripts para execução automática de testes implementados em Cypress. A extensão consiste na introdução de mapeamentos dos itens do caso de uso para o respectivo código, permitindo que TaRGeT gere testes automáticos em adição aos testes manuais. Para avaliar a extensão proposta, a mesma foi aplicada em um sistema real, demonstrando sua aplicabilidade.
SIPACBot: uma ferramenta para otimizar os fluxos de processos acadêmicos
(2024-02-29) Santiago, André Felipe Alves; Souza, Rodrigo de; Nogueira, Sidney de Carvalho; http://lattes.cnpq.br/9171224058305522; http://lattes.cnpq.br/3244120769640989
Um desafio nas instituições acadêmicas é conseguir tratar a grande quantidade de processos eletrônicos existente com a pequena quantidade de servidores disponível. Este artigo introduz a ferramenta SIPACBot que automatiza as atividades de download e despacho de processos eletrônicos. A avaliação da ferramenta dentro do contexto da secretaria de um departamento acadêmico da UFRPE demonstrou uma redução significativa no tempo das tarefas, em comparação com a execução realizada de forma manual. Apesar de ser um protótipo, a ferramenta foi considerada de fácil utilização pelo participante da avaliação. Esses resultados destacam o potencial do SIPACBot para aumentar a agilidade dos processos acadêmicos.
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/1186672408246777
O 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.
Verificação eficiente de robôs educacionais
(2021-03-03) Correia, Lucas Francisco Pereira de Gois; Nogueira, Sidney de Carvalho; http://lattes.cnpq.br/9171224058305522; http://lattes.cnpq.br/1957154709677653
Robótica educacional é uma área de interesse crescente dentro das instituições de ensino. Devido ao seu baixo custo e facilidade de aquisição, ambientes virtuais de programação para robôs têm sido desenvolvidos para suportar o ensino de conceitos de computação, programação e robótica. A principal ferramenta de depuração disponível nestes ambientes é a simulação do robô dentro de um ambiente virtual. Nestes ambientes, a depuração acontece de forma visual: não é possível analisar de forma automática se um programa vai convergir para um objetivo específico. Soluções para analisar de forma automática programas de robôs virtuais são ferramentas de ensino importantes para a avaliação eficiente e precisa dos programas. O objetivo deste projeto é aperfeiçoar uma abordagem de verificação automática de programas de robô. Esta abordagem traduz programas na linguagem ROBO para a notação formal CSP e utiliza o verificador de modelos FDR para analisar o comportamento do programa. O resultado retornado pelo verificador é utilizado para informar se o programa analisado possui o comportamento esperado. O aperfeiçoamento corresponde a implementação de um tradutor de ROBO para CSP que gera um modelo CSP mais eficiente de ser analisado do que o modelo produzido pelo tradutor atual. Através de avaliação empírica, pode-se observar uma redução significativa no tempo para análise dos modelos CSP obtidos a partir do tradutor desenvolvido neste trabalho. O tempo de análise observado foi praticamente constante para os mapas analisados, enquanto o tempo de análise dos modelos gerados pelo tradutor anterior, produzido antes deste trabalho, apresentou um crescimento exponencial com relação ao tamanho do mapa onde o programa é analisado. Uma contribuição adicional deste trabalho é que o tradutor transforma em CSP programas com qualquer sintaxe da linguagem ROBO, enquanto o tradutor anterior lidava apenas com um subconjunto da sintaxe.