João Felipe Silva Ouriques

Doutor em Ciência da Computação pela Universidade Federal de Campina Grande (UFCG), com mestrado na mesma área e universidade. Possui duas graduações: a primeira de licenciado em Matemática e a segunda de bacharéu em CIência da Computação pela UFCG. É Interessado na área de Engenharia de Software, com ênfase em desenvolvimento e teste de software, processos de desenvolvimento de software e avaliação empírica.

Informações coletadas do Lattes em 21/07/2025

Acadêmico

Formação acadêmica

Doutorado em Pós-Graduação em Ciência da Computação

2011 - 2017

Universidade Federal de Campina Grande
Título: Investigation of Test Case Prioritization for Model-Based Testing
Patrícia Duarte Lima Machado. Coorientador: Emanuela Gadelha Cartaxo. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Test Case Prioritization; Model-based Testing; Fault Detection.Grande área: Ciências Exatas e da TerraGrande Á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: Metodologia e Técnicas da Computação / Especialidade: Teste de Software.

Mestrado em Ciência da Computação

2010 - 2012

Universidade Federal de Campina Grande
Título: Análise Comparativa entre Técnicas de Priorização Geral de Casos de Teste no Contexto do Teste Baseado em Especificação,Ano de Obtenção: 2012
Patrícia Duarte de Lima Machado.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Teste Baseado em Modelo; Priorização; Experimento.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Teste de Software.

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

2006 - 2009

Universidade Federal de Campina Grande
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Graduação em LIcenciatura Plena em Matemática

2003 - 2006

Universidade Estadual da Paraíba
Título: Um estudo gráfico das funções trigonométricas utilizando o Winplot
Orientador: Rômulo Marinho de Rêgo

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

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

Bandeira representando o idioma Português

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

Bandeira representando o idioma Italiano

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, 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: Teste de Software.

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: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Educação Matemática.

Produções bibliográficas

  • SILVA OURIQUES, JOÃO FELIPE ; CARTAXO, EMANUELA GADELHA ; LIMA MACHADO, PATRÍCIA DUARTE . Revealing influence of model structure and test case profile on the prioritization of test cases in the context of model-based testing. Journal of Software Engineering Research and Development , v. 3, p. 1, 2015.

  • JORGE, D. ; MACHADO, P. D. L. ; OLIVEIRA NETO, F. G. ; COUTINHO, A. E. V. B. ; OURIQUES, J. F. S. . Integrando Teste Baseado em Modelos no Desenvolvimento de uma Aplica ao Industrial: Benefícios e Desafios. In: 8th Brazilian Workshop on Systematic and Automated Software Testing, 2014, Maceió. 8th Brazilian Workshop on Systematic and Automated Software Testing, 2014. v. 2.

  • OURIQUES, J. F. S. ; CARTAXO, E. G. ; MACHADO, P. D. L. . On the Influence of Model Structure and Test Case Profile on the Prioritization of Test Cases in the Context of Model-based Testing. In: Simpósio Brasileiro de Engenharia de Software, 2013, Brasília. XXVII Simpósio Brasileiro de Engenharia de Software, 2013. v. 1. p. 134-143.

  • BERTOLINO, A. ; CARTAXO, E. G. ; MACHADO, P. D. L. ; MARCHETTI, E. ; OURIQUES, J. F. S. . Test Suite Reduction in Good Order: Comparing Heuristics from a New Viewpoint. In: 22nd IFIP International Conference on International Conference on Testing Software and Systems, 2010, Natal. ICTSS10, 2010.

  • OURIQUES, J. F. S. ; CARTAXO, E. G. ; MACHADO, P. D. L. . Comparando Técnicas de Priorização de Casos de Teste no Contexto de Teste baseado em Modelos. In: 4th Brazilian Workshop on Systematic and Automated Software Testing, 2010, Natal. Proceedings of the IV Brazilian Workshop on Systematic and Automatic Software Testing (SAST 2010), 2010.

  • CARTAXO, E. G. ; MACHADO, P. D. L. ; OLIVEIRA NETO, F. G. ; OURIQUES, J. F. S. . Usando Funções de Similaridade para Redução de Conjuntos de Casos de Teste em Estratégias de Teste Baseado em Modelos. In: XXII Simpósio Brasileiro de Engenharia de Software, 2008, Campinas. Anais do XXII Simpósio Brasileiro de Engenharia de Software, 2008.

  • OLIVEIRA NETO, F. G. ; CARTAXO, E. G. ; MACHADO, P. D. L. ; OURIQUES, J. F. S. . Reducing the Size of Test Cases Based on Similarities. In: 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES 2008 - SAST), 2008, Campinas. Anais do 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES 2008 - SAST), 2008.

  • BARROS, R. A. ; OURIQUES, J. F. S. . Importância dos sistemas de suporte à decisão na elaboração da estratégia competitiva. In: III Simpósio Regional de Engenharia de Produção da Região Nordeste, 2008, Juazeiro. Anais do III Simpósio Regional de Engenharia de Produção da Região Nordeste, 2008.

  • BARROS, R. A. ; ARAUJO, A. C. ; OURIQUES, J. F. S. ; CANDIDO, G. A. . Prioridades Competitivas na Produção: um estudo exploratório na indústria de softwares. In: Simpósio de Excelência em Gestão e Tecnologia, 2008, Resende. Anais do V Simpósio de Excelência em Gestão e Tecnologia, 2008.

  • OURIQUES, JOAO FELIPE SILVA . Strategies for Prioritizing Test Cases Generated Through Model-Based Testing Approaches. In: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE), 2015, Florence. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering. p. 879.

  • OURIQUES, J. F. S. ; CARTAXO, E. G. ; MACHADO, P. D. L. . Test case prioritization techniques for model-based testing: a replicated study. SOFTWARE QUALITY JOURNAL , 2018.

  • OURIQUES, J. F. S. . Um estudo gráfico das funções trigonométricas utilizando o Winplot. 2006. (Apresentação de Trabalho/Comunicação).

Projetos de pesquisa

  • 2008 - 2009

    Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real, Descrição: O teste dirigido por modelos, Model-Based Testing ? MBT é uma abordagem de teste de software que se utiliza de um modelo comportamental da aplicação (por exemplo, cenários de uso) a ser testada para servir de ponto de partida para geração e seleção dos casos de teste.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: João Felipe Silva Ouriques - Integrante / Patrícia Duarte Lima Machado - Coordenador / Diego Rodrigues de Almeida - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2007 - 2008

    Teste de Aplicação para Disseminação, Captação e Manipulação da Informação em Dispositivos Celulares, Descrição: Durante todo o ciclo do desenvolvimento de um software, a fase de testes tem por objetivo assegurar o máximo possível que o software atenda as especificações firmadas na fase de levantamento dos requisitos. Para tais requisitos, nós podemos escrever cenários de uso, que podem ser artefatos de entrada para as atividades efetuadas na fase de testes. No contexto das aplicações para celulares, devido ao limitado recurso dos aparelhos, as aplicações devem passar por um processo criterioso de testes para que não haja desperdício desses recursos e para assegurar a qualidade delas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) . , Integrantes: João Felipe Silva Ouriques - Integrante / Francisco Gomes Oliveira Neto - Integrante / Patrícia Duarte Lima Machado - Coordenador / Diego Rodrigues de Almeida - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

Prêmios

2013

Melhor artigo do XXVII Simpósio Brasileiro de Engenharia de Software, Sociedade Brasileira de Computação.

Histórico profissional

Experiência profissional

2013 - 2013

Faculdades Integradas de Patos

Vínculo: Professor Visitante, Enquadramento Funcional: Professor no nível de especialização

Outras informações:
Componentes curriculares ministrados no curso de Especialização em Qualidade e Teste de Software: - Teste Não-Funcional - Medição e Análise de Software

Atividades

  • 08/2013 - 09/2013

    Ensino, Qualidade e Teste de Software, Nível: Especialização,Disciplinas ministradas, Medição e Análise de Software

  • 05/2013 - 06/2013

    Ensino, Qualidade e Teste de Software, Nível: Especialização,Disciplinas ministradas, Teste Não-Funcional