Jacson Rodrigues Barbosa

Possui doutorado em Ciências de Computação pelo Instituto de Ciências Matemáticas e de Computação da Universidade de São Paulo (2021), mestrado em Ciências de Computação pelo Instituto de Informática da Universidade Federal de Goiás (2011) e graduação em Bacharelado em Ciências da Computação pela Universidade Federal de Goiás (2007). Atualmente é docente no Instituto de Informática (INF) da Universidade Federal de Goiás (UFG). Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software e Inteligência Artificial, atuando principalmente nos temas de Mineração de Repositórios de Software, aprendizado de máquina, mineração de dados e textos (data and text mining, predictive analytics, data science).

Informações coletadas do Lattes em 26/08/2025

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação e Matemática Computacional

2016 - 2021

Universidade de São Paulo
Título: A heterogeneous information network to support the bug report resolution process
, Ano de obtenção: 2021. Márcio Eduardo Delamaro. Palavras-chave: Heterogeneous information network; Bug report resolution process; Software documents mining; Machine learning.

Mestrado em Ciência da Computação

2009 - 2011

Universidade Federal de Goiás
Título: Estudo e Definição de uma Metodologia de Teste de Software no Contexto de Sistemas Embarcados Críticos
, Ano de Obtenção: 2011.Auri Marcelo Rizzo Vincenzi.Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de Goiás, FAPEG, Brasil. Palavras-chave: Sistemas Embarcados Críticos; Teste de Software; Engenharia de Software.Grande área: Ciências Exatas e da Terra

Especialização em Melhoria de Processo de Software

2005 - 2006

Universidade Federal de Lavras
Título: Alinhamento de Práticas do TMM ao MPS.BR
Orientador: Alexandre Marcos Lins de Vasconcelos

Graduação em Ciência da Computação

2003 - 2007

Universidade Federal de Goiás
Título: Análise do Modelo TMM no Contexto do MPS.Br.
Orientador: Auri Marcelo Rizzo Vincenzi

Graduação em Tecnologia em Redes de Comunicação

2001 - 2003

Instituto Federal de Educação, Ciência e Tecnologia de Goiás
Título: Agentes Móveis: Paradigma para Gerência de Redes
Orientador: Marco Aurélio Campos Paiva

Formação complementar

2021 - 2021

Extensão universitária em II Workshop de Representações Semanticamente Enriquecidas. (Carga horária: 12h). , Universidade de São Paulo, USP, Brasil.

2020 - 2020

Extensão universitária em I Workshop de Representações Semanticamente Enriquecidas. (Carga horária: 12h). , Universidade de São Paulo, USP, Brasil.

2020 - 2020

Extensão universitária em 3a. Escola Avançada em Big Data Analysis. (Carga horária: 29h). , Universidade de São Paulo, USP, Brasil.

2019 - 2019

Extensão universitária em 2a. Escola Avançada em Big Data Analysis,. (Carga horária: 8h). , Universidade de São Paulo, USP, Brasil.

2016 - 2016

Anomaly Detection. (Carga horária: 2h). , Universidade de São Paulo, USP, Brasil.

2015 - 2015

Formação de Professores de Empreendedorismo. (Carga horária: 8h). , Universidade Federal de Goiás, UFG, Brasil.

2014 - 2014

Docência no Ensino Superior/Estágio Probatório. (Carga horária: 48h). , Universidade Federal de Goiás, UFG, Brasil.

2013 - 2013

Curso I - Formação na Metodologia de CERTICS. (Carga horária: 16h). , Centro de Tecnologia da Informação Renato Archer, CTI, Brasil.

2011 - 2011

Treinamento do Portal Capes. (Carga horária: 3h). , Universidade Federal de Goiás, UFG, Brasil.

2010 - 2010

Aggregation of Software Engineering Experiments. (Carga horária: 8h). , Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.

2010 - 2010

Introdução à Métricas e Medição de Software. (Carga horária: 8h). , Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.

2010 - 2010

Gestão de Projetos PMI na Prática. (Carga horária: 20h). , Ronaldo Silva Comunicação e Treinamento, RSCT, Brasil.

2009 - 2009

Base de Conhecimento em Teste de Software. (Carga horária: 16h). , Testanywhere, TESTANYWHERE, Brasil.

2006 - 2006

Curso de Introdução ao MPS.BR. (Carga horária: 6h). , Estratégia Tecnologia da Informação Ltda., ETI LTDA, Brasil.

2006 - 2006

Curso para Implementadores do MPS.BR. (Carga horária: 24h). , Estratégia Tecnologia da Informação Ltda., ETI LTDA, Brasil.

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Aprendizado de máquina.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Ciência da Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.

Organização de eventos

LIMA, E. A. ; GRACIANO NETO, V. V. ; ROCHA, F. H. G. C. ; BARBOSA, J. R. . 19º Congresso Brasileiro de Sistemas (CBS). 2024. (Congresso).

Sousa, L.F ; REBELO, M.S. ; BARBOSA, J. R. . Seminário de Acesso ao Ensino Superior. 2008. (Congresso).

BARBOSA, J. R. . Festival Latino Americano de Instalação de Software Livre em Goiânia-GO. 2005. (Festival).

Participação em eventos

XXIV Simpósio Brasileiro de Computação Aplicada à Saúde. 2024. (Congresso).

14ª Jornada Goiana em Engenharia de Software. 2014. (Congresso).

Proceedings of the 17th International Conference on Evaluation and Assessment in Software Engineering. 2013. (Congresso).

Computer on The Beach 2011. Teste de software no contexto de sistemas embarcados críticos. 2011. (Congresso).

VII Experimental Software Engineering Latin American Workshop. 2010. (Congresso).

II Jornada de Pesquisa do Instituto de Informática da UFG.Processo e Técnicas de Teste de Software no Contexto de Sistemas Embarcados Críticos. 2009. (Seminário).

IX Jornada Goiana em Engenharia de Software. 2009. (Congresso).

VIII Jornada Goiana em Engenharia de Software. 2008. (Congresso).

ETI 2006 - Encontro de Tecnologia em Informática. 2006. (Encontro).

III Congresso de Pesquisa, Ensino e Extensão da UFG. 2006. (Congresso).

VII Congresso de Qualidade na Produção de Software. Alinhamento de Práticas do TMM ao MPS.BR. 2006. (Congresso).

ETI 2005 - Encontro de Tecnologia em Informática.Análise do Modelo TMM no Contexto do MPS.Br. 2005. (Encontro).

II Congresso de Pesquisa, Ensino e Extensão da UFG. 2005. (Congresso).

VI Congresso de Qualidade na Produção de Software. 2005. (Congresso).

V Jornada Goiana em Engenharia de Software. 2005. (Congresso).

56ª Reunião Anual da SBPC. EDUWEB: PROTÓTIPO DE UM SÍTIO DE EDUCAÇÃO À DISTÂNCIA ATUALIZADO POR AGENTES MÓVEIS. 2004. (Congresso).

ETI 2004 - Encontro de Tecnologia em Informática. 2004. (Encontro).

ETI 2003 - Encontro de Tecnologia em Informática. 2003. (Encontro).

54ª Reunião Anual da SBPC. 2002. (Congresso).

Participação em bancas

Aluno: Luiz Cavamura Junior

VINCENZI, A. M. R.BARBOSA, J. R.; FREITAS, E. N. A.; FERRARI, F. C.; LUCREDIO, D.. Combinando perfil operacional do software e perfil de teste para uma estratégia de teste aderente às necessidades dos usuários. 2022. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de São Carlos.

Aluno: Vitor Mesaque Alves de Lima

BARBOSA, J. R.; NOGUEIRA, B. M.; MACHADO, M. I. C.; MARCACINI, R. M.. Temporal Dynamics of Requirements Engineering from Mobile App Reviews. 2022. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Julia Barros Neves

SOARES, F. A. A. M. N.; SALVINI, R. L.;BARBOSA, J. R.. Predição de Casos de Chikungunya com o Uso de Aprendizagem de Máquina: Um Estudo Sobre Dados Brasileiros. 2024. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Goiás.

Aluno: Djim de Andrade Martins e Leôncio Carlos Giarola

BARBOSA, J. R.. Nem todo comentário negativo é ruim! Identificação de problemas em aplicativos móveis a partir da análise de sentimentos das avaliações dos usuários. 2025. Monografia (Aperfeiçoamento/Especialização em Especialização em Processamento de Linguagem Natural) - Universidade Federal de Goiás.

Aluno: Gustavo C

BARBOSA, J. R.. Marchini, Pablo R. Paula e Vinícius P. da Silva. Sumarização de Sentenças Judiciais via Processamento de Linguagem Natural: Avaliação e Relato de Experiência para Otimização da Análise Processual em Departamentos Jurídicos. 2025. Monografia (Aperfeiçoamento/Especialização em Especialização em Processamento de Linguagem Natural) - Universidade Federal de Goiás.

Aluno: Cleber R

BARBOSA, J. R.. Soares, Lucas A. C. Martins e Lucas F. Araújo. Geração Automática de Respostas em Reclamações de Clientes do Setor Elétrico: Abordagem com Processamento de Linguagem Natural para Encantamento e Fidelização. 2025. Monografia (Aperfeiçoamento/Especialização em Especialização em Processamento de Linguagem Natural) - Universidade Federal de Goiás.

Aluno: Hianka Rodrigues Souza e Raphael dos Santos Guedes Vieira

BARBOSA, J. R.. Comparação de técnicas para processamento de linguagem natural na análise de sentimentos em diferentes domínios de aplicação. 2025. Monografia (Aperfeiçoamento/Especialização em Especialização em Processamento de Linguagem Natural) - Universidade Federal de Goiás.

Aluno: Gustavo M

BARBOSA, J. R.. Feitosa, Igor L. Lameira e Juliana F. Mattos. Utilização da Sumarização de Textos no Contexto da Auditoria Interna. 2025. Monografia (Aperfeiçoamento/Especialização em Especialização em Processamento de Linguagem Natural) - Universidade Federal de Goiás.

Aluno: Carlos Augusto Gonçalves Tibiriçá e Leandro Pedrosa

BARBOSA, J. R.. Sistema de Apoio à Decisão com Linguagem Natural para Consulta a Dados de Mortalidade Baseado em Modelos de Linguagem de Grande Escala. 2025. Monografia (Aperfeiçoamento/Especialização em Especialização em Processamento de Linguagem Natural) - Universidade Federal de Goiás.

Aluno: Frederico Gomes Espindola e Wilglison R

BARBOSA, J. R.; PAIVA, S. L. C.. Oliveira dos Santos. UFCAT RAG Chatbot: Sistema Inteligente de Assistência Acadêmica. 2025. Monografia (Aperfeiçoamento/Especialização em Especialização em Desenvolvimento Web e Mobile - Full Stack) - Universidade Federal de Goiás.

Aluno: Guilherme Alves Martins

BARBOSA, J. R.; SENE JUNIOR, I. G.. Sistema de Gestão de Arenas Esportivas. 2025. Monografia (Aperfeiçoamento/Especialização em Especialização em Desenvolvimento Web e Mobile - Full Stack) - Universidade Federal de Goiás.

Aluno: Bruno de M

BARBOSA, J. R.; PAIVA, S. L. C.. Barros, Felipe de A. Neves e Lara M. de Freitas. Sistema de Guarda-Roupa Virtual com Cadastro por Foto. 2025. Monografia (Aperfeiçoamento/Especialização em Especialização em Desenvolvimento Web e Mobile - Full Stack) - Universidade Federal de Goiás.

Aluno: Alan Junior Severo

BARBOSA, J. R.; BARBOSA, E. F.; VALLE, P.. Os MOOCs nos Institutos Federais de Educação, Ciência e Tecnologia: um mapeamento da oferta no período de 2012 a 2022. 2022. Monografia (Aperfeiçoamento/Especialização em Especialização em Computação Aplicada à Educação) - Universidade de São Paulo.

Aluno: Alessandra Debone de Sousa

BARBOSA, J. R.; SUZUKI, A. K.; VALLE, P. H. D.; SANTOS JUNIOR, J. J.. Perfil de Competências Digitais dos Docentes Brasileiros da Educação Básica. 2022. Monografia (Aperfeiçoamento/Especialização em Especialização em Computação Aplicada à Educação) - Universidade de São Paulo.

Aluno: Luana Ferreira de Santana

BARBOSA, J. R.; NAKAGAWA, E. Y.. Emoções na era computacional. 2020. Monografia (Aperfeiçoamento/Especialização em Especialização em Computação Aplicada à Educação) - Universidade de São Paulo.

Aluno: Rafael de Castro Medrado

GRACIANO NETO, V. V.;BARBOSA, J. R.. Desenvolvimento de Arquitetura Baseada em Blockchain com Hyperledger Besu para Apoio à Detecção e Contenção de Fake News. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Goiás.

Aluno: Rafael Rodrigues Silva

BARBOSA, J. R.; COSTA, F. M.; DIAS, R. S.. Integração de Gêmeos Digitais e IoT: Uma Análise do Impacto da Frequência de Envio de Dados na Eficiência Energética de Dispositivos Vestíveis. 2024. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás.

Aluno: Joviro Rocha Neto

BARBOSA, J. R.; COSTA, F. M.; DIAS, R. S.. Gêmeos Digitais e Configuração Dinâmica de Dispositivos IoT: Implementação e Avaliação de um Modelo Multi-Camada de Gêmeo Digital para Configuração Dinâmica em Aplicações IoT. 2024. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás.

Aluno: Lucas Rezende Soares Cesar e Thor Franco Brenner

BARBOSA, J. R.; GRACIANO NETO, V. V.; OLIVEIRA, M. A. A.. Implementação e integração de uma arquitetura de software para um crawler de postagens em plataformas digitais. 2024. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

Aluno: Lays de Freitas Melo

BARBOSA, J. R.; FERREIRA, E. B.. Estudo e definição de um modelo de predição de óbitos no contexto da COVID-19. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás.

Aluno: Geovana Morais de Melo

BARBOSA, J. R.; SANTOS, S. L. V.; CARVALHO, S. T.. Desenvolvimento de um painel web integrado a uma aplicação móvel para apoiar o acompanhamento de pacientes em cuidados paliativos. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Goiás.

Aluno: Vinicius Barreto Costa

GRACIANO NETO, V. V.;BARBOSA, J. R.. Um Quiz para Exercitar a Relação de Trade-off em Estilos Arquiteturais e Atributos de Qualidade no Ensino de Arquitetura de Software. 2021. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Goiás.

Aluno: Matheus Pereira Castro

BARBOSA, J. R.; CARVALHO, C. L.; MOURA, M. H. D.. Proposta de Desenvolvimento de um Gerenciador de Eventos como Extensão do Weby ? Um Gerenciador de Conteúdo Web. 2015. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Goiás.

Aluno: Thander Arrais de Oliveira

BARBOSA, J. R.; BULCAO NETO, R. F.; KUDO, T. N.. Estudo e Análise de Requisitos não Funcionais para Aplicações Sensíveis a Contexto. 2015. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Goiás.

Aluno: Pedro Antônio Braganick Costa

BARBOSA, J. R.; SENE JUNIOR, I. G.; ALVES, L. A.. Maquete Eletrônica Interativa Usando Unreal Engine. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Goiás.

Aluno: Leandro Sobocinski Castro

BARBOSA, J. R.; SENE JUNIOR, I. G.; ALVES, L. A.. Estudo e Desenvolvimento de um Jogo Educativo para Android. 2014. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás.

Aluno: Adriana Lima de Farias e Benigna Silva Bernardes

BARBOSA, J. R.; ALMEIDA, I.; ALVES, A. L.. Proposta de Modelo de Processo Aderente ao Nível F do MPS.BR: Processos Garantia da Qualidade e Gerência de Configuração. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica de Goiás.

Aluno: Veruska Guimarães Fragola

CANEDO, J. R.;BARBOSA, J. R.; TERRAO, W. L. J.. Estudo e Aplicação Prática de Ferramentas de Teste de Software. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Goiás.

Aluno: Eurípedes Balsanulfo Evangelista

CANEDO, J. R.;BARBOSA, J. R.; NUNES, R. S.. Mineração de uso na Web: um estudo de caso usando regras de associação. 2010. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica de Goiás.

FERREIRA, D. J.; ALBUQUERQUE, E. S.;BARBOSA, J. R.. Banca Examinadora do Processo Seletivo Simplificado para Contratação de Professor de Informática. 2024. Universidade Federal de Goiás.

Orientou

Guilherme Alves Martins

Arena Fácil ? Sistema de Gestão de Espaços Esportivos; 2025; Monografia; (Aperfeiçoamento/Especialização em Especialização em Desenvolvimento Web e Mobile - Full Stack) - Universidade Federal de Goiás; Orientador: Jacson Rodrigues Barbosa;

Bruno de M

Barros, Felipe de A; Neves e Lara M; de Freitas; Sistema de Guarda-Roupa Virtual com Cadastro por Foto; 2025; Monografia; (Aperfeiçoamento/Especialização em Especialização em Desenvolvimento Web e Mobile - Full Stack) - Universidade Federal de Goiás; Orientador: Jacson Rodrigues Barbosa;

Alessandra Debone

Perfil de Competências Digitais dos Docentes Brasileiros da Educação Básica; 2022; Monografia; (Aperfeiçoamento/Especialização em Especialização em Computação Aplicada à Educação) - Universidade de São Paulo; Orientador: Jacson Rodrigues Barbosa;

Lucas Rezende Soares Cesar e Thor Franco Brenner

Implementação e integração de uma arquitetura de software para um crawler de postagens em plataformas digitais; ; 2024; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Federal de Goiás; Orientador: Jacson Rodrigues Barbosa;

Lays de Freitas Melo

Estudo e definição de um modelo de predição de óbitos no contexto da COVID-19; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Goiás; Orientador: Jacson Rodrigues Barbosa;

Adriel Lenner Vinhal Mori

Estudo e implementação de técnicas de detecção de Deepfake; 2024; Orientação de outra natureza; (Engenharia de Software) - Universidade Federal de Goiás, Fundação de Amparo à Pesquisa do Estado de Goiás; Orientador: Jacson Rodrigues Barbosa;

Josenilton Santos de Jesus

Mapeamento do estado da arte das tecnologias que definem a arquitetura da Web 3; 0; 2023; Orientação de outra natureza; (Engenharia de Software) - Universidade Federal de Goiás, Fundação de Amparo à Pesquisa do Estado de Goiás; Orientador: Jacson Rodrigues Barbosa;

Produções bibliográficas

  • DE LIMA, VITOR MESAQUE ALVES ; BARBOSA, Jacson Rodrigues ; MARCACINI, RICARDO MARCONDES . Issue detection and prioritization based on mobile application reviews. SOFTWARE QUALITY JOURNAL , v. 33, p. 6, 2025.

  • BARBOSA, J. R. ; VALLE, P. ; VILELA, R. ; GRACIANO NETO, V. V. . Explorando a Gamificação no Ensino de Decisões Arquiteturais: Um Relato de Experiência. RENOTE. REVISTA NOVAS TECNOLOGIAS NA EDUCAÇÃO , v. 20, p. 153-162, 2022.

  • VINCENZI, A. M. R. ; BARBOSA, J. R. ; FREITAS, E. N. A. . Ferramentas de Execução Automática de Casos de Teste. In: Jose Maldonado, Marcio Delamaro, Auri Marcelo Rizzo Vincenzi. (Org.). Automatização de teste de software com ferramentas de software livre. 1ed.Rio de Janeiro, RJ: Elsevier, 2018, v. , p. 21-58.

  • BARBOSA, J. R. ; VINCENZI, A. M. R. . Ferramentas de Gerenciamento da Qualidade de Software. In: Jose Maldonado, Marcio Delamaro, Auri Marcelo Rizzo Vincenzi. (Org.). Automatização de teste de software com ferramentas de software livre. 1ed.Rio de Janeiro, RJ: Elsevier, 2018, v. , p. 205-224.

  • CARVALHO, E. A. ; BARBOSA, J. R. ; BULCAO NETO, R. F. ; GRACIANO NETO, VALDEMAR VICENTE ; VALLE, P. H. D. . DECORA: Um Sistema de Apoio ao Ensino de Decisões de Projetos Arquiteturais. In: Simpósio Brasileiro de Educação em Computação (EDUCOMP), 2025, Juiz de Fora/MG. V Simpósio Brasileiro de Educação em Computação, 2025.

  • GRACIANO NETO, V. V. ; BARBOSA, J. R. ; LIMA, E. A. ; CARVALHO, S. T. ; VENZI, S. . A Blockchain-based and AI-Endorsed Mechanism to Support Social Networks on Fake News Containment. In: XIII Brazilian Workshop on Social Network Analysis and Mining, 2024, Brasília-DF. XIII Brazilian Workshop on Social Network Analysis and Mining. Porto Alegre-RS: SBC, 2024. p. 207-213.

  • GRACIANO-NETO, VALDEMAR VICENTE ; BARBOSA, Jacson Rodrigues ; LIMA, ELIOMAR ARAÚJO DE ; CINTRA, LUIZA MARTINS DE FREITAS ; VENZI, SAMUEL ; KASSAB, MOHAMAD . Establishing a Blockchain-based Architecture for Fake News Detection. In: Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2024, Brasil. Anais do XVIII Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2024). Porto Alegre-RS: Sociedade Brasileira de Computação, 2024. p. 91-100.

  • GRACIANO NETO, VALDEMAR VICENTE ; CINTRA, LUIZA MARTINS DE FREITAS ; DAMACENA, PEDRO HENRIQUE CAMPOS ; ROCHA, ACQUILA SANTOS ; BORGES, VINÍCIUS CUNHA M. ; BARBOSA, Jacson Rodrigues ; LIMA, ELIOMAR ARAÚJO DE . Avaliando um Mecanismo de Consenso no Processo de Perícia de Desinformação através de Simulação. In: Workshop em Modelagem e Simulação de Sistemas Intensivos em Software, 2024, Brasil. Anais do VI Workshop em Modelagem e Simulação de Sistemas Intensivos em Software (MSSiS 2024). Porto Alegre-RS: SBC, 2024. p. 1-10.

  • MESAQUE ALVES DE LIMA, VITOR ; RODRIGUES BARBOSA, JACSON ; MARCONDES MARCACINI, RICARDO . Monitoring Temporal Dynamics of Issues in Crowdsourced User Reviews and their Impact on Mobile App Updates. In: 2024 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2024, Flagstaff. 2024 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2024. p. 630.

  • DE LIMA, VITOR MESAQUE ALVES ; BARBOSA, Jacson Rodrigues ; MARCACINI, RICARDO MARCODES . iRisk: A Scalable Microservice for Classifying Issue Risks Based on Crowdsourced App Reviews. In: 2024 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2024, Flagstaff. 2024 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2024. p. 858.

  • GÔLO, MARCOS P. S. ; MORI, ADRIEL L. V. ; OLIVEIRA, WILLIAM G. ; BARBOSA, JACSON R. ; GRACIANO-NETO, VALDEMAR V. ; LIMA, ELIOMAR A. DE ; MARCACINI, RICARDO M. . On the use of Large Language Models to Detect Brazilian Politics Fake News. In: Encontro Nacional de Inteligência Artificial e Computacional, 2024, Brasil. Anais do XXI Encontro Nacional de Inteligência Artificial e Computacional (ENIAC 2024). p. 1.

  • SILVA, I. ; RODRIGUES, G. ; SILVA, R. ; BORGES, H. ; CAMPOS, F. ; GRACIANO NETO, V. V. ; BULCAO NETO, R. F. ; BRAGA, R. ; BARBOSA, J. R. ; RIBEIRO-ROTTA, R. . Agentes Comunitários de Saúde e os Novos Sistemas de Monitoramento na Luta Contra o Câncer de Boca - Uma Revisão Rápida. In: Escola Regional de Informática de Goiás, 2024, Ceres- Goiás. XII Escola Regional de Informática de Goiás, 2024.

  • BARBOSA, J. R. ; FRAGA, L. ; RODRIGUES, K. ; DIAS, E. ; CORREA, S. ; NASCIMENTO, H. A. D. ; COSTA, F. M. ; CARDOSO, K. V. ; LIMA, E. A. . Visão panorâmica da Web 3.0 no cenário mundial: Mapeamento Sistemático do Estado da Arte. In: Congresso Brasileiro de Sistemas, 2024, Goiânia-GO. 19º Congresso Brasileiro de Sistemas, 2024.

  • LIMA, V. M. A. ; BARBOSA, J. R. ; MARCACINI, R. M. . MApp-IDEA: Monitoring App for Issue Detection and Prioritization. In: Brazilian Symposium on Software Engineering, 2023, Campo Grande-MS. XXXVII Brazilian Symposium on Software Engineering (SBES 2023). Porto Alegre - RS: SBC, 2023.

  • GOMES, J. R. S. ; GRACIANO NETO, V. V. ; BARBOSA, J. R. ; LIMA, E. A. . A Rapid Tertiary Review at the Fake News Domain. In: Escola Regional de Informática de Goiás - ERI-GO, 2023, Goiânia. Anais da XI ERI-GO. Porto Alegre: Sociedade Brasileira de Computação, 2023.

  • BARBOSA, J. R. ; MARCACINI, R. M. ; BRITTO, R. ; SOARES, F. ; REZENDE, S. O. ; VINCENZI, A. M. R. ; DELAMARO, M. E. . BULNER: BUg Localization with word embeddings and NEtwork Regularization. In: VII Workshop on Software Visualization, Evolution and Maintenance (VEM), 2019, Salvador - BA. Anais do VII Workshop on Software Visualization, Evolution and Maintenance (VEM). Porto Alegre - RS: SBC, 2019. p. 21-28.

  • BARBOSA, J. R. ; MATSUNO, I. P. ; GUIMARAES, E. H. R. ; REZENDE, S. O. ; VINCENZI, A. M. R. ; DELAMARO, M. E. . Mineração de Textos para Apoiar a Predição de Severidade de Relatórios de Incidentes: um Estudo de Viabilidade. In: XVI Simpósio Brasileiro de Qualidade de Software, 2017, Rio de Janeiro. Anais do XVI Simpósio Brasileiro de Qualidade de Software. Porto Alegre-RS: SBC, 2017. p. 89-103.

  • BARBOSA, J. R. ; VALLE, P. ; MALDONADO, J. C. ; VINCENZI, A. M. R. ; DELAMARO, M. E. . An Experimental Evaluation of Peer Testing in the Context of the Teaching of Software Testing. In: XIX International Symposium on Computers in Education (SIIE 2017), 2017, Lisboa- Portugal. International Symposium on Computers in Education, 2017.

  • BARBOSA, J. R. ; VINCENZI, A. M. R. . Evolução de software livre baseada em métricas de qualidade: Um estudo de caso. In: IX Simpósio Brasileiro de Sistemas de Informação, 2013, João Pessoa-PB. Trilha Regular - Tecnologia da Informação no Governo Federal II. Porto Alegre: SBC, 2013. v. 01. p. 815-826.

  • BARBOSA, J. R. ; SOARES, F. A. A. M. N. ; VINCENZI, A. M. R. . Experimentation Package for Evaluation of Problems Applied to the Software Project Subject Using PBL. In: ICSEA, 2012, Lisbon, Portugal. The Seventh International Conference on Software Engineering Advances, 2012. p. 486-492.

  • BARBOSA, J. R. ; DELAMARO, M. E. ; MALDONADO, J. C. ; VINCENZI, A. M. R. . Software Testing in Critical Embedded Systems: a Systematic Review of Adherence to the DO-178B Standard. In: VALID, 2011, Barcelona, Espanha. The Third International Conference on Advances in System Testing and Validation Lifecycle, 2011. p. 126-130.

  • BARBOSA, J. R. ; VASCONCELOS, A. M. L. . Alinhamento de Práticas do TMM ao MPS.BR. In: VII Congresso de Qualidade na Produção de Software, 2006, Lavras-MG. Relato de Experiência, 2006.

  • RODRIGUES, H. S. ; SANTOS, A. A. S. ; ROMAO, P. A. ; BARBOSA, J. R. . GynViewer: software livre para visualizar dados geotécnicos. In: Escola Regional de Informática de Goiás - ERI-GO, 2023, Goiânia. Anais da XI ERI-GO. Porto Alegre: Sociedade Brasileira de Computação, 2023.

  • BARBOSA, J. R. ; DELAMARO, M. E. ; MALDONADO, J. C. ; VINCENZI, A. M. R. . Teste de software no contexto de sistemas embarcados críticos. In: Computer on The Beach 2011, 2011, Florianópolis-SC. Trilha Computação aplicada à Engenharia, 2011. p. 339-340.

  • GUADAGNINI, H. V. A. ; CORTES FILHO, L. ; BARBOSA, J. R. . Monitoria em Introdução a Programação: Relato de Experiência. In: CONPEEX 2024, 2024, Goiânia-GO. Anais do 21º Congresso de Pesquisa, Ensino e Extensão (CONPEEX). Goiânia: UFG, 2024.

  • BARBOSA, J. R. ; VINCENZI, A. M. R. . Análise do Modelo TMM no Contexto do MPS.Br. In: ETI 2005 - Encontro de Tecnologia em Informática, 2005, Goiânia-GO. Painéis de Trabalhos de Conclusão de Curso, 2005.

  • BARBOSA, J. R. ; JÚNIOR, R.T.S. ; NOGUEIRA, E.J. . EDUWEB: PROTÓTIPO DE UM SÍTIO DE EDUCAÇÃO À DISTÂNCIA ATUALIZADO POR AGENTES MÓVEIS. In: 56ª Reunião Anual da SBPC, 2004, Cuiabá-MT. Anais/Resumos da 56a Reunião Anual da SBPC. São Paulo - SP: SBPC, 2004.

  • BARBOSA, J. R. ; FRAGA, L. ; RODRIGUES, K. ; DIAS, E. ; CORREA, S. L. ; NASCIMENTO, H. A. D. ; COSTA, F. M. ; CARDOSO, K. V. ; LIMA, E. A. . Visão panorâmica da Web 3.0 no cenário mundial: Mapeamento Sistemático do Estado da Arte. 2024. (Apresentação de Trabalho/Congresso).

  • BARBOSA, J. R. ; GURJAO, E. C. ; LIMA, E. A. . Web 3.0 e Aplicações Descentralizadas: visão geral; aspectos de segurança cibernética e ensaio de uma solução DAO. 2023. (Apresentação de Trabalho/Simpósio).

  • NOMIZO, D. H. L. ; BARBOSA, J. R. . Desenvolvimento de aplicações móveis multiplataforma com Ruby. 2012. (Apresentação de Trabalho/Conferência ou palestra).

  • BARBOSA, J. R. ; VINCENZI, A. M. R. . Processo e Técnicas de Teste de Software no Contexto de Sistemas Embarcados Críticos. 2009. (Apresentação de Trabalho/Seminário).

  • LIMA, V. M. A. ; BARBOSA, J. R. ; MARCACINI, R. M. . MApp-IDEA: design and architecture of the analytical data exploration tool from app reviews. São Carlos-SP: USP, 2023 (Relatório técnico 443).

Outras produções

BARBOSA, J. R. ; VINCENZI, A. M. R. ; RODRIGUES, C. L. ; CAMILO-JUNIOR, C. G. ; LOUZADA, J. A. ; ARAUJO, A. F. ; PESSONI, V. V. ; RODRIGUES, P. M. S. . FreeTest - Processo de Teste de Sofware para Micro e Pequena Empresas. 2013.

BARBOSA, J. R. . Revisão do artigo: 10th International Workshop on Mutation Analysis - Mutation 2015. 2015. (Revisão de artigos para evento científico).

BARBOSA, J. R. . Revisão de artigos: Brazilian Conference on Software: Theory and Practice - CBSoft 2015. 2015. (Revisão de artigos para evento científico).

BARBOSA, J. R. . Revisão de artigos: 29th Brazilian Symposium on Software Engineering - SBES'2015. 2015. (Revisão de artigos para evento científico).

BARBOSA, J. R. . Revisão de artigos: XIV Brazilian Symposium on Software Quality - SBQS'2015. 2015. (Revisão de artigos para evento científico).

BARBOSA, J. R. . Revisão de artigos: 18 Workshop em Engenharia de Software Experimental - ESELAW'2015. 2015. (Revisão de artigos para evento científico).

BARBOSA, J. R. . Revisão de artigos: XI Simpósio Brasileiro de Sistemas de Informação - SBSI'2015. 2015. (Revisão de artigos para evento científico).

BARBOSA, J. R. . Revisão de artigos: XLI Conferencia Latinoamericana en Informática - CLEI'2015. 2015. (Revisão de artigos para evento científico).

BARBOSA, J. R. . Revisão de artigos: X Simpósio Brasileiro de Sistemas de Informação - SBSI 2014. 2014. (Revisão de artigos para evento científico).

BARBOSA, J. R. . Revisão de artigos: XI Simpósio Brasileiro de Qualidade de Software - SBQS'2014. 2014. (Revisão de artigos para evento científico).

BARBOSA, J. R. ; VINCENZI, A. M. R. ; RODRIGUES, C. L. ; CAMILO-JUNIOR, C. G. . Manual de Instalação do Sikuli. 2013. (Desenvolvimento de material didático ou instrucional - Material instrucional).

BARBOSA, J. R. ; VINCENZI, A. M. R. ; RODRIGUES, C. L. ; CAMILO-JUNIOR, C. G. . Manual de Instalação do Selenium. 2013. (Desenvolvimento de material didático ou instrucional - Material instrucional).

BARBOSA, J. R. ; VINCENZI, A. M. R. ; RODRIGUES, C. L. ; CAMILO-JUNIOR, C. G. . Manual de Instalação e Utilização do Bug Wizard Report.. 2013. (Desenvolvimento de material didático ou instrucional - Material instrucional).

BARBOSA, J. R. ; VINCENZI, A. M. R. ; RODRIGUES, C. L. ; CAMILO-JUNIOR, C. G. . Manual de Utilização do JMeter. 2013. (Desenvolvimento de material didático ou instrucional - Material instrucional).

BARBOSA, J. R. . Revisão de artigos: IV Workshop de Engenharia de Software Baseada em Busca - WESB 2013. 2013. (Revisão de artigos para evento científico).

BARBOSA, J. R. . Revisão de artigos: XI Simpósio Brasileiro de Qualidade de Software - SBQS'2012. 2012. (Revisão de artigos para evento científico).

BARBOSA, J. R. . Revisão de artigos: X Simpósio Brasileiro de Qualidade de Software - SBQS' 2011. 2011. (Revisão de artigos para evento científico).

BARBOSA, J. R. . Revisão de artigos: IX Simpósio Brasileiro de Qualidade de Software - SBQS'2010. 2010. (Revisão de artigos para evento científico).

BARBOSA, J. R. . Revisão de artigos: XXXV Conferência Latino-Americana de Informática - CLEI'2009. 2009. (Revisão de artigos para evento científico).

BARBOSA, J. R. . Revisão de artigos: XVII Workshop sobre Educação em Informática do XXIX Congresso da Sociedade Brasileira de Computação - CSBC 2009. 2009. (Revisão de artigos para evento científico).

BARBOSA, J. R. . Revisão de artigos: XXIII Simpósio Brasileiro de Engenharia Software - SBES'2009. 2009. (Revisão de artigos para evento científico).

Projetos de pesquisa

  • 2022 - Atual

    Avaliação de Impacto da Web 3.0: Descentralizada, Imersiva, Semântica, Centrada no Usuário e Conectada com o Mundo Físico, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Cássio Leonardo Rodrigues - Integrante / Iwens Gervasio Sene Junior - Integrante / Sergio Teixeira de Carvalho - Integrante / KLEBER VIEIRA CARDOSO - Integrante / FABIO MOREIRA COSTA - Integrante / HUGO ALEXANDRE DANTAS DO NASCIMENTO - Integrante / RONALDO MARTINS DA COSTA - Integrante / SAND LUZ CORREA - Integrante / Eliomar Araújo de Lima - Coordenador., Financiador(es): Agência Nacional de Telecomunicações - Auxílio financeiro / Fundação de Amparo a Pesquisa do Estado de Goiás - Auxílio financeiro.

  • 2022 - Atual

    Teste de Software Baseado em Mutação com Alta Eficácia e Baixa Dívida Técnica: Processo Automatizado e Protótipo de Ambiente de Apoio Livres, Projeto certificado pelo(a) coordenador(a) Auri Marcelo Rizzo Vincenzi em 30/01/2023., Descrição: Objetivo: Considerando a relevância da automatização da atividades de teste para a indústria de produção de software e a relevância do teste baseado em mutação a partir de evidências científicas, neste projeto tem-se por objetivo definir um processo de teste baseado em mutação que possa ser executado de forma 100% automatizado por meio de um ambiente de teste de apoio, ambiente este que será especificado, implementado e validado com aplicações industriais e open-source. Métodos: Investigar e automatizar três problemas clássicos do teste de mutação: 1) geração de mutantes; 2)execução dos mutantes; e a 3) análise dos mutantes vivos e equivalentes no processo de teste. Na geração, pretende-se utilizar análise estática e informações de fluxo de controle e de dados para selecionar os pontos em que as mutações serão realizadas, além de selecionar tipos específicos de operadores a serem utilizados em função das características do produto em teste. Na execução dos mutantes, é importante que seja feita uma seleção de bons casos de teste com alta probabilidade de matar mutantes não equivalentes. Para isso, entende-se que devem ser combinados diferentes geradores automáticos de dados de teste e, possivelmente, desenvolvidos novos algoritmos de geração para matar mutantes gerados por operadores de mutação específicos. Na análise dos mutantes vivos e equivalentes serão definidas e avaliadas estratégias, de forma automatizada, para a determinação de mutantes equivalentes, utilizando-se heurísticas, aprendizado Bayesiano, e a frequência de execução dos mutantes pelos casos de teste. Resultados esperados: serão gerados um processo de teste e um ambiente de apoio gratuito, além de dados de experimentação que permitirão a geração de benchmarks de teste para C, Java e Python, viabilizando o desenvolvimento de novas pesquisas relacionadas ao teste de mutação, principalmente no contexto dessas linguagens de programação. Processo e Ambiente serão aplicados e avaliados em parceiros industriais os quais manifestaram apoio e interesse no uso do processo resultante deste projeto de pesquisa. Débito técnico no contexto desta proposta caracteriza os riscos associados à produção e à liberação de produtos de software, tendo como base o critério deteste baseado em mutação. Conclusões: Pretende-se viabilizar a aplicação do teste de mutação como um importante mecanismo de garantia da qualidade de produtos de software de forma totalmente automatizada, favorecendo a transferência tecnológica e aplicação do teste de mutação para a indústria, com a consequente evolução da capacidade de produção de software da indústria brasileira.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador / José Carlos Maldonado - Integrante / Márcio Eduardo Delamaro - Integrante / Fabiano Cutigi Ferrari - Integrante / Ana Cristina Ramada Paiva - Integrante / Rodrigo Elias Bianchi - Integrante / André Di Thommazo - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

  • 2010 - 2013

    Processo e Técnicas de Teste no Contexto de Sistemas Embarcados Críticos, Descrição: Sistemas embarcados críticos apresentam uma série de restrições no que diz respeito a desempenho, segurança, confiabilidade, dentre outras, tendo em vista que, em geral, falhas nesses sistemas podem resultar em grandes catástrofes tanto em perdas de vidas humanas quanto de grandes quantias de recursos financeiros. A identificação no estado da arte e o domínio de técnicas de desenvolvimento desse tipo de sistemas é de interesse do país, tendo que um dos Institutos Nacionais de Ciência e Tecnologia (INCT) trata, especificamente, em definir uma rede de colaboração para trabalhar no contexto de sistemas embarcados críticos. O projeto aprovado, intitulado ``Sistemas Embarcados Críticos: Aplicações em Segurança e Agricultura'' resultou na criação do Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos (INCT-SEC). Dentre as diferentes metas exploradas no contexto do INCT-SEC, está a criação de uma metodologia para o desenvolvimento de sistemas de software críticos, metodologia esta que, impreterivelmente, terá ênfase em atividades de garantia da qualidade, sendo o teste uma dessas atividades exploradas durante todo o desenvolvimento. Observa-se que tal objetivo também se enquadra em um dos grandes desafios da computação estabelecidos pela SBC para os anos de 2006 a 2016 que é o "desenvolvimento tecnológico de qualidade: sistemas disponíveis, corretos, seguros, escaláveis, persistentes e ubíquos"'. Estudos realizados pelo NIST (US National Institute of Standard & Technology) em 2002 demonstrou que os gastos decorrentes do emprego de infra-estruturas inadequadas de teste de software demandam gastos anuais da ordem de 59 bilhões de dólares, desconsiderando os custos associados com as falhas catastróficas de softwares de missão crítica. Assim sendo, o objetivo do presente projeto é investigar processo e técnicas de teste no contexto de sistemas embarcados críticos visando a definir métodos, critérios e ferramentas que possam ser empregados em conju. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador / Márcio Eduardo Delamaro - Integrante / Plínio de Sá Leitão Júnior - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 2

  • 2008 - 2014

    Sistemas Embarcados Críticos: Aplicações em Segurança e Agricultura, Descrição: A criação de um Instituto de Sistemas Embarcados Críticos é proposta neste projeto. O objetivo geral desse instituto é elevar o nível de conhecimento, competência e qualidade no país sobre o desenvolvimento desse tipo de sistema, considerando que se trata de tecnologia importante para apoiar o desenvolvimento de áreas estratégicas do país, como a do meio ambiente, a de segurança e defesa e a de agricultura. O projeto é abrangente e envolve grupos de pesquisadores de nove universidades brasileiras e sete empresas. Os principais objetivos mais específicos são o desenvolvimento de pesquisas para a construção de sistemas embarcados críticos com ênfase para veículos autônomos móveis e a construção de pelo menos dois protótipos de veículo, um aéreo e um terrestre, com o objetivo de serem transferidos para as empresas associadas, visando a possível fabricação e comercialização. Outros objetivos relevantes são: a produção de uma metodologia que documente esse conhecimento e possa ser usada para o treinamento de pessoal formado na área; a produção de mestres e doutores e produção intelectual na forma de artigos científicos apresentados e publicados em conferências e periódicos de boa qualidade, bem como de patentes.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jacson Rodrigues Barbosa - Integrante / Auri Marcelo Rizzo Vincenzi - Integrante / José Carlos Maldonado - Coordenador / Márcio Eduardo Delamaro - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 2

Projetos de desenvolvimento

  • 2011 - 2013

    Estudo e Definição de Processo de Teste de Software para Micro e Pequenas Empresas de TI, Descrição: Na Engenharia de Software, as atividades de Validação e Verificação (V&V) são aplicadas para assegurar que um software se comporte conforme sua especificação. No entanto, o corpo de conhecimentos em V&V é muito amplo para ser contemplado em sua totalidade pelo projeto. Além disso, uma avaliação prévia da realidade das empresas envolvidas no projeto revelou como prioritário a definição e melhoramento do Processo de Teste (PT). Ficou constatado que a qualidade dos produtos de software comercializados pelas empresas pode ser melhorada de forma considerável abordando-se a definição de um PT e suporte ferramental para a integração das ferramentas de teste atualmente disponíveis. O PT define quando testar, o que testar e como testar. O quando diz respeito a fase de desenvolvimento em que o teste será aplicado e qual artefato será testado. Nesse ponto, divide-se a atividade de teste em níveis, visando não apenas reduzir a complexidade da atividade de teste, mas também atacar de forma incremental, diferentes tipos de defeitos existentes no software. Os níveis de teste são: teste unitário, teste de integração, teste de sistema, teste de aceitação e teste de regressão. O que testar corresponde a qual característica do software será testada, como por exemplo, teste de funcionalidade, volume, segurança, dentre outros. E o como testar se refere a quais técnicas e critérios de teste são empregados em cada nível, em função das características do produto de software em teste. Utilizam-se as técnicas funcional e estrutural. Cada uma das técnicas possui um conjunto de critérios de teste que pode ser utilizado tanto para avaliar a qualidade de um conjunto de teste existente, quanto para a geração de casos de teste, direcionando o testador na busca pelos melhores elementos do domínio de entrada de modo a minimizar os custos da atividade de teste, maximizar a detecção de defeitos e ainda decidir quando parar os testes [1]. Por isso, o projeto proposto visa agrupar diferentes ativ. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador / Celso Gonçalves Camilo Junior - Integrante / Cássio Leonardo Rodrigues - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Goiás - Auxílio financeiro., Número de produções C, T & A: 5

  • 2011 - 2013

    Estudo e Definição de Processo de Teste de Software para Micro e Pequenas Empresas de TI, Descrição: Na Engenharia de Software, as atividades de Validação e Verificação (V&V) são aplicadas para assegurar que um software se comporte conforme sua especificação. No entanto, o corpo de conhecimentos em V&V é muito amplo para ser contemplado em sua totalidade pelo projeto. Além disso, uma avaliação prévia da realidade das empresas envolvidas no projeto revelou como prioritário a definição e melhoramento do Processo de Teste (PT). Ficou constatado que a qualidade dos produtos de software comercializados pelas empresas pode ser melhorada de forma considerável abordando-se a definição de um PT e suporte ferramental para a integração das ferramentas de teste atualmente disponíveis. O PT define quando testar, o que testar e como testar. O quando diz respeito a fase de desenvolvimento em que o teste será aplicado e qual artefato será testado. Nesse ponto, divide-se a atividade de teste em níveis, visando não apenas reduzir a complexidade da atividade de teste, mas também atacar de forma incremental, diferentes tipos de defeitos existentes no software. Os níveis de teste são: teste unitário, teste de integração, teste de sistema, teste de aceitação e teste de regressão. O que testar corresponde a qual característica do software será testada, como por exemplo, teste de funcionalidade, volume, segurança, dentre outros. E o como testar se refere a quais técnicas e critérios de teste são empregados em cada nível, em função das características do produto de software em teste. Utilizam-se as técnicas funcional e estrutural. Cada uma das técnicas possui um conjunto de critérios de teste que pode ser utilizado tanto para avaliar a qualidade de um conjunto de teste existente, quanto para a geração de casos de teste, direcionando o testador na busca pelos melhores elementos do domínio de entrada de modo a minimizar os custos da atividade de teste, maximizar a detecção de defeitos e ainda decidir quando parar os testes [1]. Por isso, o projeto proposto visa agrupar diferentes ativ. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador / Celso Gonçalves Camilo Junior - Integrante / Cássio Leonardo Rodrigues - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Goiás - Auxílio financeiro., Número de produções C, T & A: 5

  • 2011 - Atual

    Estudo e Definição de Processo de Teste de Software para Micro e Pequenas Empresas de TI, Descrição: Na Engenharia de Software, as atividades de Validação e Verificação (V&V) são aplicadas para assegurar que um software se comporte conforme sua especificação. No entanto, o corpo de conhecimentos em V&V é muito amplo para ser contemplado em sua totalidade pelo projeto. Além disso, uma avaliação prévia da realidade das empresas envolvidas no projeto revelou como prioritário a definição e melhoramento do Processo de Teste (PT). Ficou constatado que a qualidade dos produtos de software comercializados pelas empresas pode ser melhorada de forma considerável abordando-se a definição de um PT e suporte ferramental para a integração das ferramentas de teste atualmente disponíveis. O PT define quando testar, o que testar e como testar. O quando diz respeito a fase de desenvolvimento em que o teste será aplicado e qual artefato será testado. Nesse ponto, divide-se a atividade de teste em níveis, visando não apenas reduzir a complexidade da atividade de teste, mas também atacar de forma incremental, diferentes tipos de defeitos existentes no software. Os níveis de teste são: teste unitário, teste de integração, teste de sistema, teste de aceitação e teste de regressão. O que testar corresponde a qual característica do software será testada, como por exemplo, teste de funcionalidade, volume, segurança, dentre outros. E o como testar se refere a quais técnicas e critérios de teste são empregados em cada nível, em função das características do produto de software em teste. Utilizam-se as técnicas funcional e estrutural. Cada uma das técnicas possui um conjunto de critérios de teste que pode ser utilizado tanto para avaliar a qualidade de um conjunto de teste existente, quanto para a geração de casos de teste, direcionando o testador na busca pelos melhores elementos do domínio de entrada de modo a minimizar os custos da atividade de teste, maximizar a detecção de defeitos e ainda decidir quando parar os testes [1]. Por isso, o projeto proposto visa agrupar diferentes ativ. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador / Celso Gonçalves Camilo Junior - Integrante / Cássio Leonardo Rodrigues - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Goiás - Auxílio financeiro., Número de produções C, T & A: 5

  • 2002 - 2003

    Modelo e Protótipo de um Sítio de Educação a Distância Atualizado por Agentes Móveis, Descrição: Nota-se atualmente uma grande oferta de sítios de ECAD (Educação Continuada a Distância) na internet. Observando esta crescente demanda de sítios, o Departamento de Redes de Comunicação do CEFET-Go está desenvolvendo o EDUWEB, visando justamente oferecer à comunidade um sítio onde se possa cadastrar e especificar qual é a área de interesse do estudante. Após a efetivação do cadastro, os AM (Agentes Móveis) fazem consultas a sítios de ECAD filiados ao programa e atualiza o BD (Banco de Dados) do EDUWEB periodicamente de acordo com o perfil dos usuários.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Rafael Timóteo de Sousa Júnior - Coordenador / Eduardo José Nogueira - Integrante., Número de produções C, T & A: 1

  • 2011 - Atual

    Estudo e Definição de Processo de Teste de Software para Micro e Pequenas Empresas de TI, Descrição: Na Engenharia de Software, as atividades de Validação e Verificação (V&V) são aplicadas para assegurar que um software se comporte conforme sua especificação. No entanto, o corpo de conhecimentos em V&V é muito amplo para ser contemplado em sua totalidade pelo projeto. Além disso, uma avaliação prévia da realidade das empresas envolvidas no projeto revelou como prioritário a definição e melhoramento do Processo de Teste (PT). Ficou constatado que a qualidade dos produtos de software comercializados pelas empresas pode ser melhorada de forma considerável abordando-se a definição de um PT e suporte ferramental para a integração das ferramentas de teste atualmente disponíveis. O PT define quando testar, o que testar e como testar. O quando diz respeito a fase de desenvolvimento em que o teste será aplicado e qual artefato será testado. Nesse ponto, divide-se a atividade de teste em níveis, visando não apenas reduzir a complexidade da atividade de teste, mas também atacar de forma incremental, diferentes tipos de defeitos existentes no software. Os níveis de teste são: teste unitário, teste de integração, teste de sistema, teste de aceitação e teste de regressão. O que testar corresponde a qual característica do software será testada, como por exemplo, teste de funcionalidade, volume, segurança, dentre outros. E o como testar se refere a quais técnicas e critérios de teste são empregados em cada nível, em função das características do produto de software em teste. Utilizam-se as técnicas funcional e estrutural. Cada uma das técnicas possui um conjunto de critérios de teste que pode ser utilizado tanto para avaliar a qualidade de um conjunto de teste existente, quanto para a geração de casos de teste, direcionando o testador na busca pelos melhores elementos do domínio de entrada de modo a minimizar os custos da atividade de teste, maximizar a detecção de defeitos e ainda decidir quando parar os testes [1]. Por isso, o projeto proposto visa agrupar diferentes ativ. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador / Celso Gonçalves Camilo Junior - Integrante / Cássio Leonardo Rodrigues - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Goiás - Auxílio financeiro., Número de produções C, T & A: 5

  • 2002 - 2003

    Modelo e Protótipo de um Sítio de Educação a Distância Atualizado por Agentes Móveis, Projeto certificado pelo(a) coordenador(a) Rafael Timóteo de Sousa Jr em 23/11/2015., Descrição: Nota-se atualmente uma grande oferta de sítios de ECAD (Educação Continuada a Distância) na internet. Observando esta crescente demanda de sítios, o Departamento de Redes de Comunicação do CEFET-Go está desenvolvendo o EDUWEB, visando justamente oferecer à comunidade um sítio onde se possa cadastrar e especificar qual é a área de interesse do estudante. Após a efetivação do cadastro, os AM (Agentes Móveis) fazem consultas a sítios de ECAD filiados ao programa e atualiza o BD (Banco de Dados) do EDUWEB periodicamente de acordo com o perfil dos usuários.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Rafael Timóteo de Sousa Júnior - Coordenador / Eduardo José Nogueira - Integrante., Número de produções C, T & A: 1

  • 2011 - Atual

    Estudo e Definição de Processo de Teste de Software para Micro e Pequenas Empresas de TI, Descrição: Na Engenharia de Software, as atividades de Validação e Verificação (V&V) são aplicadas para assegurar que um software se comporte conforme sua especificação. No entanto, o corpo de conhecimentos em V&V é muito amplo para ser contemplado em sua totalidade pelo projeto. Além disso, uma avaliação prévia da realidade das empresas envolvidas no projeto revelou como prioritário a definição e melhoramento do Processo de Teste (PT). Ficou constatado que a qualidade dos produtos de software comercializados pelas empresas pode ser melhorada de forma considerável abordando-se a definição de um PT e suporte ferramental para a integração das ferramentas de teste atualmente disponíveis. O PT define quando testar, o que testar e como testar. O quando diz respeito a fase de desenvolvimento em que o teste será aplicado e qual artefato será testado. Nesse ponto, divide-se a atividade de teste em níveis, visando não apenas reduzir a complexidade da atividade de teste, mas também atacar de forma incremental, diferentes tipos de defeitos existentes no software. Os níveis de teste são: teste unitário, teste de integração, teste de sistema, teste de aceitação e teste de regressão. O que testar corresponde a qual característica do software será testada, como por exemplo, teste de funcionalidade, volume, segurança, dentre outros. E o como testar se refere a quais técnicas e critérios de teste são empregados em cada nível, em função das características do produto de software em teste. Utilizam-se as técnicas funcional e estrutural. Cada uma das técnicas possui um conjunto de critérios de teste que pode ser utilizado tanto para avaliar a qualidade de um conjunto de teste existente, quanto para a geração de casos de teste, direcionando o testador na busca pelos melhores elementos do domínio de entrada de modo a minimizar os custos da atividade de teste, maximizar a detecção de defeitos e ainda decidir quando parar os testes [1]. Por isso, o projeto proposto visa agrupar diferentes ativ. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador / Celso Gonçalves Camilo Junior - Integrante / Cássio Leonardo Rodrigues - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Goiás - Auxílio financeiro., Número de produções C, T & A: 5

  • 2002 - 2003

    Modelo e Protótipo de um Sítio de Educação a Distância Atualizado por Agentes Móveis, Projeto certificado pelo(a) coordenador(a) Rafael Timóteo de Sousa Jr em 23/11/2015., Descrição: Nota-se atualmente uma grande oferta de sítios de ECAD (Educação Continuada a Distância) na internet. Observando esta crescente demanda de sítios, o Departamento de Redes de Comunicação do CEFET-Go está desenvolvendo o EDUWEB, visando justamente oferecer à comunidade um sítio onde se possa cadastrar e especificar qual é a área de interesse do estudante. Após a efetivação do cadastro, os AM (Agentes Móveis) fazem consultas a sítios de ECAD filiados ao programa e atualiza o BD (Banco de Dados) do EDUWEB periodicamente de acordo com o perfil dos usuários.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Rafael Timóteo de Sousa Júnior - Coordenador / Eduardo José Nogueira - Integrante., Número de produções C, T & A: 1

  • 2011 - Atual

    Estudo e Definição de Processo de Teste de Software para Micro e Pequenas Empresas de TI, Descrição: Na Engenharia de Software, as atividades de Validação e Verificação (V&V) são aplicadas para assegurar que um software se comporte conforme sua especificação. No entanto, o corpo de conhecimentos em V&V é muito amplo para ser contemplado em sua totalidade pelo projeto. Além disso, uma avaliação prévia da realidade das empresas envolvidas no projeto revelou como prioritário a definição e melhoramento do Processo de Teste (PT). Ficou constatado que a qualidade dos produtos de software comercializados pelas empresas pode ser melhorada de forma considerável abordando-se a definição de um PT e suporte ferramental para a integração das ferramentas de teste atualmente disponíveis. O PT define quando testar, o que testar e como testar. O quando diz respeito a fase de desenvolvimento em que o teste será aplicado e qual artefato será testado. Nesse ponto, divide-se a atividade de teste em níveis, visando não apenas reduzir a complexidade da atividade de teste, mas também atacar de forma incremental, diferentes tipos de defeitos existentes no software. Os níveis de teste são: teste unitário, teste de integração, teste de sistema, teste de aceitação e teste de regressão. O que testar corresponde a qual característica do software será testada, como por exemplo, teste de funcionalidade, volume, segurança, dentre outros. E o como testar se refere a quais técnicas e critérios de teste são empregados em cada nível, em função das características do produto de software em teste. Utilizam-se as técnicas funcional e estrutural. Cada uma das técnicas possui um conjunto de critérios de teste que pode ser utilizado tanto para avaliar a qualidade de um conjunto de teste existente, quanto para a geração de casos de teste, direcionando o testador na busca pelos melhores elementos do domínio de entrada de modo a minimizar os custos da atividade de teste, maximizar a detecção de defeitos e ainda decidir quando parar os testes [1]. Por isso, o projeto proposto visa agrupar diferentes ativ. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador / Celso Gonçalves Camilo Junior - Integrante / Cássio Leonardo Rodrigues - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Goiás - Auxílio financeiro., Número de produções C, T & A: 5

  • 2002 - 2003

    Modelo e Protótipo de um Sítio de Educação a Distância Atualizado por Agentes Móveis, Projeto certificado pelo(a) coordenador(a) Rafael Timóteo de Sousa Jr em 23/11/2015., Descrição: Nota-se atualmente uma grande oferta de sítios de ECAD (Educação Continuada a Distância) na internet. Observando esta crescente demanda de sítios, o Departamento de Redes de Comunicação do CEFET-Go está desenvolvendo o EDUWEB, visando justamente oferecer à comunidade um sítio onde se possa cadastrar e especificar qual é a área de interesse do estudante. Após a efetivação do cadastro, os AM (Agentes Móveis) fazem consultas a sítios de ECAD filiados ao programa e atualiza o BD (Banco de Dados) do EDUWEB periodicamente de acordo com o perfil dos usuários.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Rafael Timóteo de Sousa Júnior - Coordenador / Eduardo José Nogueira - Integrante., Número de produções C, T & A: 1

  • 2011 - Atual

    Estudo e Definição de Processo de Teste de Software para Micro e Pequenas Empresas de TI, Descrição: Na Engenharia de Software, as atividades de Validação e Verificação (V&V) são aplicadas para assegurar que um software se comporte conforme sua especificação. No entanto, o corpo de conhecimentos em V&V é muito amplo para ser contemplado em sua totalidade pelo projeto. Além disso, uma avaliação prévia da realidade das empresas envolvidas no projeto revelou como prioritário a definição e melhoramento do Processo de Teste (PT). Ficou constatado que a qualidade dos produtos de software comercializados pelas empresas pode ser melhorada de forma considerável abordando-se a definição de um PT e suporte ferramental para a integração das ferramentas de teste atualmente disponíveis. O PT define quando testar, o que testar e como testar. O quando diz respeito a fase de desenvolvimento em que o teste será aplicado e qual artefato será testado. Nesse ponto, divide-se a atividade de teste em níveis, visando não apenas reduzir a complexidade da atividade de teste, mas também atacar de forma incremental, diferentes tipos de defeitos existentes no software. Os níveis de teste são: teste unitário, teste de integração, teste de sistema, teste de aceitação e teste de regressão. O que testar corresponde a qual característica do software será testada, como por exemplo, teste de funcionalidade, volume, segurança, dentre outros. E o como testar se refere a quais técnicas e critérios de teste são empregados em cada nível, em função das características do produto de software em teste. Utilizam-se as técnicas funcional e estrutural. Cada uma das técnicas possui um conjunto de critérios de teste que pode ser utilizado tanto para avaliar a qualidade de um conjunto de teste existente, quanto para a geração de casos de teste, direcionando o testador na busca pelos melhores elementos do domínio de entrada de modo a minimizar os custos da atividade de teste, maximizar a detecção de defeitos e ainda decidir quando parar os testes [1]. Por isso, o projeto proposto visa agrupar diferentes ativ. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador / Celso Gonçalves Camilo Junior - Integrante / Cássio Leonardo Rodrigues - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Goiás - Auxílio financeiro., Número de produções C, T & A: 5

  • 2002 - 2003

    Modelo e Protótipo de um Sítio de Educação a Distância Atualizado por Agentes Móveis, Projeto certificado pelo(a) coordenador(a) Rafael Timóteo de Sousa Jr em 23/11/2015., Descrição: Nota-se atualmente uma grande oferta de sítios de ECAD (Educação Continuada a Distância) na internet. Observando esta crescente demanda de sítios, o Departamento de Redes de Comunicação do CEFET-Go está desenvolvendo o EDUWEB, visando justamente oferecer à comunidade um sítio onde se possa cadastrar e especificar qual é a área de interesse do estudante. Após a efetivação do cadastro, os AM (Agentes Móveis) fazem consultas a sítios de ECAD filiados ao programa e atualiza o BD (Banco de Dados) do EDUWEB periodicamente de acordo com o perfil dos usuários.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Rafael Timóteo de Sousa Júnior - Coordenador / Eduardo José Nogueira - Integrante., Número de produções C, T & A: 1

  • 2011 - Atual

    Estudo e Definição de Processo de Teste de Software para Micro e Pequenas Empresas de TI, Descrição: Na Engenharia de Software, as atividades de Validação e Verificação (V&V) são aplicadas para assegurar que um software se comporte conforme sua especificação. No entanto, o corpo de conhecimentos em V&V é muito amplo para ser contemplado em sua totalidade pelo projeto. Além disso, uma avaliação prévia da realidade das empresas envolvidas no projeto revelou como prioritário a definição e melhoramento do Processo de Teste (PT). Ficou constatado que a qualidade dos produtos de software comercializados pelas empresas pode ser melhorada de forma considerável abordando-se a definição de um PT e suporte ferramental para a integração das ferramentas de teste atualmente disponíveis. O PT define quando testar, o que testar e como testar. O quando diz respeito a fase de desenvolvimento em que o teste será aplicado e qual artefato será testado. Nesse ponto, divide-se a atividade de teste em níveis, visando não apenas reduzir a complexidade da atividade de teste, mas também atacar de forma incremental, diferentes tipos de defeitos existentes no software. Os níveis de teste são: teste unitário, teste de integração, teste de sistema, teste de aceitação e teste de regressão. O que testar corresponde a qual característica do software será testada, como por exemplo, teste de funcionalidade, volume, segurança, dentre outros. E o como testar se refere a quais técnicas e critérios de teste são empregados em cada nível, em função das características do produto de software em teste. Utilizam-se as técnicas funcional e estrutural. Cada uma das técnicas possui um conjunto de critérios de teste que pode ser utilizado tanto para avaliar a qualidade de um conjunto de teste existente, quanto para a geração de casos de teste, direcionando o testador na busca pelos melhores elementos do domínio de entrada de modo a minimizar os custos da atividade de teste, maximizar a detecção de defeitos e ainda decidir quando parar os testes [1]. Por isso, o projeto proposto visa agrupar diferentes ativ. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador / Celso Gonçalves Camilo Junior - Integrante / Cássio Leonardo Rodrigues - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Goiás - Auxílio financeiro., Número de produções C, T & A: 5

  • 2002 - 2003

    Modelo e Protótipo de um Sítio de Educação a Distância Atualizado por Agentes Móveis, Projeto certificado pelo(a) coordenador(a) Rafael Timóteo de Sousa Jr em 23/11/2015., Descrição: Nota-se atualmente uma grande oferta de sítios de ECAD (Educação Continuada a Distância) na internet. Observando esta crescente demanda de sítios, o Departamento de Redes de Comunicação do CEFET-Go está desenvolvendo o EDUWEB, visando justamente oferecer à comunidade um sítio onde se possa cadastrar e especificar qual é a área de interesse do estudante. Após a efetivação do cadastro, os AM (Agentes Móveis) fazem consultas a sítios de ECAD filiados ao programa e atualiza o BD (Banco de Dados) do EDUWEB periodicamente de acordo com o perfil dos usuários.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Rafael Timóteo de Sousa Júnior - Coordenador / Eduardo José Nogueira - Integrante., Número de produções C, T & A: 1

  • 2011 - Atual

    Estudo e Definição de Processo de Teste de Software para Micro e Pequenas Empresas de TI, Descrição: Na Engenharia de Software, as atividades de Validação e Verificação (V&V) são aplicadas para assegurar que um software se comporte conforme sua especificação. No entanto, o corpo de conhecimentos em V&V é muito amplo para ser contemplado em sua totalidade pelo projeto. Além disso, uma avaliação prévia da realidade das empresas envolvidas no projeto revelou como prioritário a definição e melhoramento do Processo de Teste (PT). Ficou constatado que a qualidade dos produtos de software comercializados pelas empresas pode ser melhorada de forma considerável abordando-se a definição de um PT e suporte ferramental para a integração das ferramentas de teste atualmente disponíveis. O PT define quando testar, o que testar e como testar. O quando diz respeito a fase de desenvolvimento em que o teste será aplicado e qual artefato será testado. Nesse ponto, divide-se a atividade de teste em níveis, visando não apenas reduzir a complexidade da atividade de teste, mas também atacar de forma incremental, diferentes tipos de defeitos existentes no software. Os níveis de teste são: teste unitário, teste de integração, teste de sistema, teste de aceitação e teste de regressão. O que testar corresponde a qual característica do software será testada, como por exemplo, teste de funcionalidade, volume, segurança, dentre outros. E o como testar se refere a quais técnicas e critérios de teste são empregados em cada nível, em função das características do produto de software em teste. Utilizam-se as técnicas funcional e estrutural. Cada uma das técnicas possui um conjunto de critérios de teste que pode ser utilizado tanto para avaliar a qualidade de um conjunto de teste existente, quanto para a geração de casos de teste, direcionando o testador na busca pelos melhores elementos do domínio de entrada de modo a minimizar os custos da atividade de teste, maximizar a detecção de defeitos e ainda decidir quando parar os testes [1]. Por isso, o projeto proposto visa agrupar diferentes ativ. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador / Celso Gonçalves Camilo Junior - Integrante / Cássio Leonardo Rodrigues - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Goiás - Auxílio financeiro., Número de produções C, T & A: 5

  • 2002 - 2003

    Modelo e Protótipo de um Sítio de Educação a Distância Atualizado por Agentes Móveis, Projeto certificado pelo(a) coordenador(a) Rafael Timóteo de Sousa Jr em 23/11/2015., Descrição: Nota-se atualmente uma grande oferta de sítios de ECAD (Educação Continuada a Distância) na internet. Observando esta crescente demanda de sítios, o Departamento de Redes de Comunicação do CEFET-Go está desenvolvendo o EDUWEB, visando justamente oferecer à comunidade um sítio onde se possa cadastrar e especificar qual é a área de interesse do estudante. Após a efetivação do cadastro, os AM (Agentes Móveis) fazem consultas a sítios de ECAD filiados ao programa e atualiza o BD (Banco de Dados) do EDUWEB periodicamente de acordo com o perfil dos usuários.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Rafael Timóteo de Sousa Júnior - Coordenador / Eduardo José Nogueira - Integrante., Número de produções C, T & A: 1

  • 2011 - Atual

    Estudo e Definição de Processo de Teste de Software para Micro e Pequenas Empresas de TI, Descrição: Na Engenharia de Software, as atividades de Validação e Verificação (V&V) são aplicadas para assegurar que um software se comporte conforme sua especificação. No entanto, o corpo de conhecimentos em V&V é muito amplo para ser contemplado em sua totalidade pelo projeto. Além disso, uma avaliação prévia da realidade das empresas envolvidas no projeto revelou como prioritário a definição e melhoramento do Processo de Teste (PT). Ficou constatado que a qualidade dos produtos de software comercializados pelas empresas pode ser melhorada de forma considerável abordando-se a definição de um PT e suporte ferramental para a integração das ferramentas de teste atualmente disponíveis. O PT define quando testar, o que testar e como testar. O quando diz respeito a fase de desenvolvimento em que o teste será aplicado e qual artefato será testado. Nesse ponto, divide-se a atividade de teste em níveis, visando não apenas reduzir a complexidade da atividade de teste, mas também atacar de forma incremental, diferentes tipos de defeitos existentes no software. Os níveis de teste são: teste unitário, teste de integração, teste de sistema, teste de aceitação e teste de regressão. O que testar corresponde a qual característica do software será testada, como por exemplo, teste de funcionalidade, volume, segurança, dentre outros. E o como testar se refere a quais técnicas e critérios de teste são empregados em cada nível, em função das características do produto de software em teste. Utilizam-se as técnicas funcional e estrutural. Cada uma das técnicas possui um conjunto de critérios de teste que pode ser utilizado tanto para avaliar a qualidade de um conjunto de teste existente, quanto para a geração de casos de teste, direcionando o testador na busca pelos melhores elementos do domínio de entrada de modo a minimizar os custos da atividade de teste, maximizar a detecção de defeitos e ainda decidir quando parar os testes [1]. Por isso, o projeto proposto visa agrupar diferentes ativ. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador / Celso Gonçalves Camilo Junior - Integrante / Cássio Leonardo Rodrigues - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Goiás - Auxílio financeiro., Número de produções C, T & A: 5

  • 2002 - 2003

    Modelo e Protótipo de um Sítio de Educação a Distância Atualizado por Agentes Móveis, Projeto certificado pelo(a) coordenador(a) Rafael Timóteo de Sousa Jr em 23/11/2015., Descrição: Nota-se atualmente uma grande oferta de sítios de ECAD (Educação Continuada a Distância) na internet. Observando esta crescente demanda de sítios, o Departamento de Redes de Comunicação do CEFET-Go está desenvolvendo o EDUWEB, visando justamente oferecer à comunidade um sítio onde se possa cadastrar e especificar qual é a área de interesse do estudante. Após a efetivação do cadastro, os AM (Agentes Móveis) fazem consultas a sítios de ECAD filiados ao programa e atualiza o BD (Banco de Dados) do EDUWEB periodicamente de acordo com o perfil dos usuários.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Rafael Timóteo de Sousa Júnior - Coordenador / Eduardo José Nogueira - Integrante., Número de produções C, T & A: 1

  • 2011 - Atual

    Estudo e Definição de Processo de Teste de Software para Micro e Pequenas Empresas de TI, Descrição: Na Engenharia de Software, as atividades de Validação e Verificação (V&V) são aplicadas para assegurar que um software se comporte conforme sua especificação. No entanto, o corpo de conhecimentos em V&V é muito amplo para ser contemplado em sua totalidade pelo projeto. Além disso, uma avaliação prévia da realidade das empresas envolvidas no projeto revelou como prioritário a definição e melhoramento do Processo de Teste (PT). Ficou constatado que a qualidade dos produtos de software comercializados pelas empresas pode ser melhorada de forma considerável abordando-se a definição de um PT e suporte ferramental para a integração das ferramentas de teste atualmente disponíveis. O PT define quando testar, o que testar e como testar. O quando diz respeito a fase de desenvolvimento em que o teste será aplicado e qual artefato será testado. Nesse ponto, divide-se a atividade de teste em níveis, visando não apenas reduzir a complexidade da atividade de teste, mas também atacar de forma incremental, diferentes tipos de defeitos existentes no software. Os níveis de teste são: teste unitário, teste de integração, teste de sistema, teste de aceitação e teste de regressão. O que testar corresponde a qual característica do software será testada, como por exemplo, teste de funcionalidade, volume, segurança, dentre outros. E o como testar se refere a quais técnicas e critérios de teste são empregados em cada nível, em função das características do produto de software em teste. Utilizam-se as técnicas funcional e estrutural. Cada uma das técnicas possui um conjunto de critérios de teste que pode ser utilizado tanto para avaliar a qualidade de um conjunto de teste existente, quanto para a geração de casos de teste, direcionando o testador na busca pelos melhores elementos do domínio de entrada de modo a minimizar os custos da atividade de teste, maximizar a detecção de defeitos e ainda decidir quando parar os testes [1]. Por isso, o projeto proposto visa agrupar diferentes ativ. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador / Celso Gonçalves Camilo Junior - Integrante / Cássio Leonardo Rodrigues - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Goiás - Auxílio financeiro., Número de produções C, T & A: 5

  • 2002 - 2003

    Modelo e Protótipo de um Sítio de Educação a Distância Atualizado por Agentes Móveis, Projeto certificado pelo(a) coordenador(a) Rafael Timóteo de Sousa Jr em 23/11/2015., Descrição: Nota-se atualmente uma grande oferta de sítios de ECAD (Educação Continuada a Distância) na internet. Observando esta crescente demanda de sítios, o Departamento de Redes de Comunicação do CEFET-Go está desenvolvendo o EDUWEB, visando justamente oferecer à comunidade um sítio onde se possa cadastrar e especificar qual é a área de interesse do estudante. Após a efetivação do cadastro, os AM (Agentes Móveis) fazem consultas a sítios de ECAD filiados ao programa e atualiza o BD (Banco de Dados) do EDUWEB periodicamente de acordo com o perfil dos usuários.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Jacson Rodrigues Barbosa - Integrante / Rafael Timóteo de Sousa Júnior - Coordenador / Eduardo José Nogueira - Integrante., Número de produções C, T & A: 1

Prêmios

2025

Professor Homenageado pela Turma de Engenharia de Software 2024/2, INF/UFG., UFG., UFG.

2024

Melhor artigo curto do BraSNAM 2024: "A Blockchain-based and AI-Endorsed Mechanism to Support Social Networks on Fake News Containment", SBC.

2024

Professor Homenageado pela Turma de Engenharia de Software 2024/1, INF/UFG., UFG.

2024

Certificado de Reconhecimento CONSUNI 2024 "Segundo Melhor Artigo" no 21st National Meeting on Artificial and Computational Intelligence (BRACIS), UFG, UFG.

2024

Certificado de Reconhecimento CONSUNI 2024 "Prêmio de Melhor Artigo Curto do XIII Brazilian Workshop on Social Network Analysis and Mining (Brasnam)", UFG, UFG.

2023

Melhor artigo de ferramenta do CBSoft 2023: "MApp-IDEA: Monitoring App for Issue Detection and Prioritization", SBC.

2023

Melhor artigo do ERI-GO 2023: "A Rapid Tertiary Review at the Fake News Domain", SBC.

2023

Certificado de Reconhecimento Consuni 2023, UFG.

Histórico profissional

Endereço profissional

  • Universidade Federal de Goiás, Instituto de Informática. , Universidade Federal de Goiás - UFG - Campus II, Campus Samambaia - UFG, 74690900 - Goiânia, GO - Brasil, Telefone: (62) 35211181, URL da Homepage:

Experiência profissional

2022 - Atual

Universidade Federal de São Carlos

Vínculo: , Enquadramento Funcional:

2013 - Atual

Universidade Federal de Goiás

Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 20

2006 - Atual

Universidade Federal de Goiás

Vínculo: Servidor Público, Enquadramento Funcional: Analista de Tecnologia da Informação, Carga horária: 40

Atividades

  • 08/2006 - 06/2024

    Serviços técnicos especializados , Instituto Verbena.,Serviço realizado, Especificação/Projeto de Sistemas.

  • 08/2015 - 02/2016

    Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Programação Orientada a Objetos

  • 08/2015 - 02/2016

    Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação I, Algoritmos e Programação II

  • 02/2015 - 06/2015

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Estruturas de Dados II

  • 02/2015 - 06/2015

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Estruturas de Dados, Ética, Computador e Sociedade

  • 08/2014 - 12/2014

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Ética, Computador e Sociedade, Programação Orientada à Objetos

  • 03/2014 - 07/2014

    Ensino, Engenharia de Software, Nível: Graduação,Disciplinas ministradas, ALGORITMOS: ORDENAÇÃO E BUSCA, ÉTICA, NORMAS E POSTURA PROFISSIONAL

  • 03/2014 - 07/2014

    Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, ALGORITMOS E PROGRAMAÇÃO I

  • 09/2008 - 09/2009

    Direção e administração, Instituto Verbena.,Cargo ou função, Coordenador Administrativo.

2013 - 2014

Pontifícia Universidade Católica de Goiás

Vínculo: Convidado, Enquadramento Funcional: Professor Assistente, Carga horária: 4

2010 - 2012

Pontifícia Universidade Católica de Goiás

Vínculo: Convidado, Enquadramento Funcional: Professor Auxiliar, Carga horária: 4

Atividades

  • 08/2014 - 12/2014

    Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, Informática e Computação (CMP1060)

  • 02/2014 - 06/2014

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Engenharia de Software (CMP1280)

  • 08/2013 - 12/2013

    Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Arquitetura e Design de Software, Processo e Qualidade de Software I

  • 02/2013 - 06/2013

    Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Interfaces Usuário-Máquina

  • 02/2013 - 06/2013

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Programação de Computadores I

  • 02/2013 - 06/2013

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Sistemas de Software

  • 01/2012 - 06/2012

    Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmo e Estrutura de Dados II, Arquitetura e Design de Software

  • 08/2011 - 12/2011

    Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Arquitetura e Design de Software, Processo e Qualidade de Software II

  • 08/2011 - 12/2011

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Qualidade de Software III

  • 01/2011 - 06/2011

    Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Arquitetura e Design de Software

  • 09/2010 - 12/2010

    Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Arquitetura e Design de Software

2016 - 2021

Universidade de São Paulo

Vínculo: Colaborador, Enquadramento Funcional: Discente, Carga horária: 30

Atividades

  • 03/2016 - 11/2021

    Pesquisa e desenvolvimento, Instituto de Ciências Matemáticas e de Computação.,Linhas de pesquisa

2009 - 2011

Fundação de Amparo a Pesquisa do Estado de Goiás

Vínculo: Outro, Enquadramento Funcional: Bolsista, Carga horária: 20

2012 - 2013

Decisão Sistemas

Vínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 20

Atividades

  • 03/2012 - 05/2013

    Pesquisa e desenvolvimento, Grupo de Melhoria de Processos de Software.,Linhas de pesquisa

2015 - Atual

Sociedade Brasileira de Computação - Porto Alegre

Vínculo: Sócio Efetivo, Enquadramento Funcional: Membro da Sociedade, Carga horária: 1

2002 - 2003

Instituto Federal de Educação, Ciência e Tecnologia de Goiás

Vínculo: Bolsista, Enquadramento Funcional: Desenvolvedor de Software, Carga horária: 20

Atividades

  • 05/2002 - 07/2003

    Pesquisa e desenvolvimento, Instituto Federal de Goiás - Câmpus Goiânia.,Linhas de pesquisa

2010 - 2010

Justiça Federal de Goiás - 1ª Vara Federal, JFGO-1ª VARA

Vínculo: Colaborador, Enquadramento Funcional: Perito em Informática, Carga horária: 10

Outras informações:
Realização de trabalho pericial em um software comercial na plataforma web.

2000 - 2001

Secretaria da Educação do Estado de Goiás

Vínculo: Contrato Temporário, Enquadramento Funcional: Professor Assistente C, Carga horária: 40

Outras informações:
Trabalhou no Colégio Estadual João Carneiro dos Santos, ministrando aulas de Matemática para o Ensino Médio.