Relatório de produção acadêmica da Universidade Federal de São Carlos (UFSCar)
Departamento de Computação (DC)

Centro de Ciências Exatas e de Tecnologia (CCET)
Campus São Carlos

Plataforma Lattes / outubro de 2020

Auri Marcelo Rizzo Vincenzi

Professor associado no Departamento de Computação da Universidade Federal de São Carlos (2015-atual) e vice-coordenador do Programa de Pós-Graduação em Ciência da Computação - PPGCC (2019-atual). Graduado em Ciência da Computação pela Universidade Estadual de Londrina UEL (1995). Possui títulos de mestrado (1998), doutorado (2004) e pós-douturado (2015) em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo ICMC/USP. Durante o doutorado realizou sanduíche na University of Texas at Dallas - UTDallas - EUA. Foi professor assistente na Universidade Católica de Santos - UNISANTOS (2006-2008), professor adjunto da Universidade Federal de Goiás - UFG (2005-2006 e 2008-2015) e professor colaborador no Centro Universitário Eurípides de Marília - UNIVEM (2004-2005). Foi bolsista produtividade do CNPq (Nível 2) de 2007 a 2012. Atuou como Coordenador de Informática do Centro de Seleção da UFG (2008 a 2010) e, Diretor do Instituto de Informática da UFG de 2010 a 2013. Membro da Comissão de Educação da SBC (triênios 2009-2011 e 2011-2013). Tem experiência na área de Engenharia de Software, com ênfase em Teste de Software, atuando principalmente nos seguintes temas: teste de software, teste funcional, teste estrutural, teste baseado em defeitos, desenvolvimento de ferramentas de teste e estabelecimento de estratégias de teste. Membro da Sociedade Brasileira para o Progresso da Ciência (SBPC), Sociedade Brasileira de Computação (SBC), Association for Computing Machinery (ACM), e Institute of Electrical and Electronics Engineers (IEEE). ISTQB Certified Tester - CTFL (12-CTFL-01860-BR). (Texto informado pelo autor)

  • http://lattes.cnpq.br/0611351138131709 (27/08/2020)
  • Rótulo/Grupo:
  • Bolsa CNPq:
  • Período de análise: 2015-2020
  • Endereço: Universidade Federal de São Carlos. Rod. Washington Luís, Km 235 Jardim Guanabara 13565905 - São Carlos, SP - Brasil - Caixa-postal: 676 Telefone: (16) 3351-8232 Ramal: 8612 Fax: (16) 33518233 URL da Homepage: www.dc.ufscar.br/~auri/
  • Grande área: Ciências Exatas e da Terra
  • Área: Ciência da Computação
  • Citações: Google Acadêmico

Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

Prêmios e títulos

Participação em eventos

Organização de eventos

Lista de colaborações


Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

  • Total de projetos de pesquisa (5)
    1. 2019-Atual. Definicao, Implementacao e Analise de Recursos de Teste e Validacao
      Descrição: O teste de produtos de software envolve basicamente quatro etapas: planejamento de testes, projeto de casos de teste, execução e avaliação dos resultados dos testes. Essas etapas devem ser desenvolvidas ao longo do próprio processo de desenvolvimento de software e concretizam-se em três fases de teste: de unidade, de integração e de sistema. Para fornecer uma maneira sistemática para a geração e valiação de conjuntos de casos de teste, técnicas e critérios têm sido desenvolvidos. As técnicas e critérios de teste fornecem ao testador uma abordagem sistemática e teoricamente fundamentada, além de constituírem um mecanismo que pode auxiliar a avaliar a qualidade da atividade de teste. Dada a diversidade de critérios que têm sido estabelecidos, e reconhecido o caráter complementar das técnicas e critérios de teste, um ponto crucial que se coloca nessa perspectiva é a escolha e/ou a determinação de uma estratégia de teste, que em última análise passa pela escolha de critérios de teste, de forma que as vantagens de cada um desses critérios sejam combinadas objetivando uma atividade de teste de maior qualidade. O projeto sendo proposto visa à realização de estudos na área de teste de software, envolvendo teste de programas procedimentais, Orientados a Objetos e componentes de software. Tais estudos envolvem a definição e análise de critérios de teste que possam ser empregados no teste dos programas mencionados acima, além do desenvolvimento de ferramentas de apoio e a realização de estudos comparativos buscando avaliar o custo, eficácia e dificuldade de satisfação dos critérios de teste analisados.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador / José Carlos Maldonado - Integrante / Márcio Eduardo Delamaro - Integrante / Fabiano Cutigi Ferrari - Integrante / Valter Vieira de Camargo - Integrante / Delano Medeiros Beder - Integrante / Daniel Lucrédio - Integrante. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.Número de orientações: 2
      Membro: Auri Marcelo Rizzo Vincenzi.
    2. 2019-Atual. Muta-Pro 4.0 - Processo Livre Automatizado de Teste de Software Baseado em Mutacao com Alta Eficacia e Baixo Debito Tecnico
      Descrição: A qualidade de produtos de software é de fundamental importância para toda e qualquer tipo de aplicação de software. No entanto, grande parte das organizações produtoras de software, principalmente as de pequeno e médio porte, costumam negligenciar atividades voltadas para a garantia da qualidade, produzindo software sem evidências de qualidade.Dificilmente estarão disponíveis todos os recursos de tempo e orçamento para se garantira qualidade de todo produto de software e, desse modo, é necessário priorizar quais funcionalidades são mais importantes para o usuário e, desse modo, utilizar as melhores técnicas, critérios e ferramentas para garantir a qualidade dessas partes. Um dos critérios de teste que é considerado um excelente modelo de defeitos é o Teste de Mutação. Ao longo dos anos, o estado da arte na área de qualidade evoluiu e trouxe contribuições que precisam ser levadas para o estado da prática. Em 2006, com base nas pesquisas desenvolvidas até aquele momento, foi definido o Muta-Pro, que consiste em um processo de teste baseado em mutação e que agrupava diferentes contribuições da época para aumentar a eficiência e reduzir o custo do teste de mutação sem, no entanto, redução significativa de sua eficácia. A intenção sempre foi a de contribuir para que o teste de mutação pudesse ser empregado na prática. O ponto chave para essa transferência tecnológica está na combinação de atividades de análise estática e dinâmica e na priorização de artefatos para a garantida da qualidade. No que se refere ao teste de mutação, além da proposição de critérios alternativos, é necessário evoluir os geradores de dados de teste automatizados e a detecção de mutantes equivalentes. Neste projeto de pesquisa, pretendemos usar o teste de mutação como um modelo de defeitos para avaliara diferentes abordagens de garantia da qualidade, incluindo pesquisas, para evoluir o próprio teste de mutação. Como resultado, será gerado o Muta-Pro 4.0, na perspectivada indústria 4.0. O foco será na completa automatização do processo de teste baseado em mutação, considerando o risco associado, o qual nós denominados débito técnico do teste de mutação. As principais contribuições esperadas são: 1) o desenvolvimento de novos critérios de teste baseados na combinação de teste de mutação, fluxo de controle efluxo de dados; 2) geração automática de dados de teste tanto para matar mutantes vivos,quanto para auxiliar na determinação automática de mutantes equivalentes; 3) o cálculo de métricas para apoiar a seleção da melhor estratégia de teste para o produto de software em questão; 4) a combinação de análise estática e dinâmica visando a redução do custo da localização de defeitos e priorização de partes a serem testadas; 5) o desenvolvimento de uma ferramenta de apoio ao Muta-Pro 4.0.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (2) . Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador / José Carlos Maldonado - Integrante / Márcio Eduardo Delamaro - Integrante / Fabiano Cutigi Ferrari - Integrante / Ana Cristina Ramada Paiva - Integrante. Número de produções C, T A: 3 / Número de orientações: 2
      Membro: Auri Marcelo Rizzo Vincenzi.
    3. 2018-Atual. Definicao de Padroes de Requisitos e de Testes para Apoio ao Desenvolvimento de Software
      Descrição: Uma vez que padrões de requisitos agrupam serviços e comportamentos comuns a um grupo de aplicações, e que padrões de testes podem apontar defeitos de uma gama de aplicações com características similares, acredita-se que o uso integrado de padrões de requisitos e padrões de testes possa facilitar as atividades ligadas à Engenharia de Requisitos e Testes de aplicações de Software em diferentes contextos. O objetivo desta pesquisa é, portanto, demonstrar que o uso integrado de padrões de requisitos e de testes, pode reduzir a complexidade de desenvolvimento de diferentes tipos de aplicações e acelerar o processo de garantia da qualidade.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador / Renato de Freitas Bulcão Neto - Integrante. Financiador(es): Universidade Federal de São Carlos - Remuneração. Número de produções C, T A: 4 / Número de orientações: 1
      Membro: Auri Marcelo Rizzo Vincenzi.
    4. 2017-2019. Projeto de Pesquisa, Desenvolvimento e Inovacao para a Automacao de Servicos Publicos no ambito da Jornada da Transformacao dos Servicos - GEPRO_TED_MP_SEGES_AUTOMACAO_2017
      Descrição: O Projeto de Pesquisa tem como objetivo geral contribuir com a transformação digital, identificando e desenvolvendo metodologias, modelos e ferramentas que promovam de maneira inovadora a Automação de Serviços Públicos orientadas aos cidadãos e às organizações, no âmbito da Jornada da Transformação dos Serviços, fomentada pelo Ministério do Planejamento, Desenvolvimento e Gestão (MP). Para o escopo desta pesquisa foram definidos objetivos específicos relacionados a transformação digital, conforme as fases do KIT Transformação Digital e as atividades de produção acadêmica e técnica. Neste contexto de um Projeto de Pesquisa, foram definidos os objetivos específicos deste plano: - Definição e execução de atividades de verificação e validação de instrumento de avaliação da apropriação do serviço de digitização pelos órgãos; - Definição e execução de atividades de verificação e validação do monitoramento do Serviço de Automação e da Ferramenta de automação pelos órgãos; - Desenvolver e publicar trabalhos acadêmicos e científicos.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (2) / Doutorado: (1) . Integrantes: Auri Marcelo Rizzo Vincenzi - Integrante / Rejane Maria da Costa Figueiredo - Coordenador. Financiador(es): Ministério do Planejamento, Orçamento e Gestão - Bolsa. Número de produções C, T A: 1
      Membro: Auri Marcelo Rizzo Vincenzi.
    5. 2016-Atual. Avaliacao do Impacto do Perfil Operacional do Software em Atividades de Garantia da Qualidade
      Descrição: O perfil operacional do software consiste na avaliação de quais áreas de determinado produto de software são mais relevantes para determinado grupo de usuários. Identificar tais áreas é de grande importância para diferentes atividades de desenvolvimento de software, em especial, para a área de teste de software. Sabendo antecipadamente quais áreas do software são mais utilizadas pela maior parte de seus usuários permite o estabelecimento de estratégias de teste e atividades de garantia de qualidade direcionadas, maximizando a detecção de defeitos importantes e, ao mesmo tempo, direcionando melhor os recursos disponíveis para o que realmente importa. Nesse projeto de pesquisa, o perfil operacional é utilizado como base para o direcionamento de atividades de garantida da qualidade e a avaliação dos resultados obtidos é feita por meio de estudos experimentais com produtos de software livres e/ou proprietários para os quais seja possível a coleta do perfil operacional.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Doutorado: (1) . Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador / Ana Cristina Ramada Paiva - Integrante. Número de produções C, T A: 1 / Número de orientações: 1
      Membro: Auri Marcelo Rizzo Vincenzi.

Prêmios e títulos

  • Total de prêmios e títulos (6)
    1. Prêmio de 3° melhor artigo da trilha de Engenharia de Requisitos, Congresso Ibero-americano de Engenharia de Software - CIbSE.. 2019.
      Membro: Auri Marcelo Rizzo Vincenzi.
    2. Prêmio de Melhor Artigo do Simpósio Brasileiro de Qualidade de Software - SBQS'2019, Sociedade Brasileira de Computação.. 2019.
      Membro: Auri Marcelo Rizzo Vincenzi.
    3. AMT: Melhor Ferramenta da Sessão de Ferramentas do VII Congresso Brasileiro de Software: Teoria e Prática, SBC.. 2016.
      Membro: Auri Marcelo Rizzo Vincenzi.
    4. Melhores Artigos do XI Simpósio Brasileiro de Sistemas de Informação - SBSI'2015. Trilha Educação em Sistemas de Informação - ESI, Sociedade Brasileira de Computação.. 2015.
      Membro: Auri Marcelo Rizzo Vincenzi.
    5. Melhor Relato de Experiência do XIV Simpósio Brasileiro de Qualidade de Software - SBQS'2015, Sociedade Brasileira de Computação.. 2015.
      Membro: Auri Marcelo Rizzo Vincenzi.
    6. Melhores Artigos do XXIX Simpósio Brasileiro de Engenharia de Software, SBC.. 2015.
      Membro: Auri Marcelo Rizzo Vincenzi.

Participação em eventos

  • Total de participação em eventos (12)
    1. Congresso Brasileiro de Software: Teoria e Prática - CBSoft. Introduction to Automated Software Testing with Emphasis on Unit Testing. 2019. (Congresso).
    2. Congresso Brasileiro de Software: Teoria e Prática - CBSoft. 2019. (Congresso).
    3. Simpósio Brasileiro de Engenharia de Software - SBES'2019.A Conceptual Metamodel to Bridging Requirement Patterns to Test. 2019. (Simpósio).
    4. Workshop on Software Visualization, Evolution and Maintenance - VEM'2019.BULNER: BUg Localization with word embeddings and NEtwork Regularization. 2019. (Outra).
    5. Congresso Brasileiro de Software: Teoria e Prática - CBSoft. 2018. (Congresso).
    6. Oficina de Aula interativa - utilização de recursos tecnológicos em sala de aula. 2018. (Oficina).
    7. IV Semana de Engenharia e Tecnologia do IFG.Estratégia de Teste Incremental Cobrindo Testes Funcionais, Estruturais e de Mutação. 2017. (Outra).
    8. Integração dos Novos Servidores. 2015. (Outra).
    9. Intel IoT Roadshow. 2015. (Outra).
    10. IX Workshop on Systematic and Automated Software Testing.Aplicação de Propriedades de Weyuker, Parrish e Zweben a Critérios de Adequação. 2015. (Oficina).
    11. Seminários em Computação.Teste de Software e Automatização. 2015. (Seminário).
    12. V Workshop de Engenharia de Software.FreeTest - Implantando Processos de Teste. 2015. (Oficina).

Organização de eventos

  • Total de organização de eventos (10)
    1. NAKAGAWA, E. Y. ; BRAGA, R. V. ; CAMARGO, V. V. ; VINCENZI, A. M. R. ; LUCREDIO, D. ; OLIVEIRA, L. B. R.. Congresso Brasileiro de Software: Teoria e Prática. 2018. Congresso
    2. VINCENZI, A. M. R.. Trilha da Indústria (Industry Track) do VII Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2016. 2016. (Congresso).. . 0.
    3. SOUZA, S. R. S. ; VINCENZI, A. M. R.. IX Workshop on Systematic and Automated Software Testing - SAST'2015 do do VI Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2015. 2015. Congresso
    4. VINCENZI, A. M. R.. XXVII Simpósio Brasileiro de Engenharia de Software - SBES'2013. 2013. (Congresso).. . 0.
    5. VINCENZI, A. M. R.. II Brazilian Workshop on Systematic and Automated Software Testing - SAST'2008. 2008. (Outro).. . 0.
    6. VINCENZI, A. M. R.. Sessão de Ferramentas do XXI Simpósio Brasileiro de Engenharia de Software. 2007. (Congresso).. . 0.
    7. VINCENZI, A. M. R.. Sessão de Ferramentas do IV Experimental Software Engineering Latin America Workshop. 2007. (Congresso).. . 0.
    8. VINCENZI, A. M. R.. Encontro de Tecnologia e Informática - ETI'2006. 2006. (Outro).. . 0.
    9. VINCENZI, A. M. R.. Encontro de Tecnologia e Informática - ETI'2005. 2005. (Outro).. . 0.
    10. VINCENZI, A. M. R.. Festival Latino Americano de Instalação de Software Livre -- FLISOL'2005. 2005. (Festival).. . 0.

Lista de colaborações

  • Colaborações endôgenas (1)



Data de processamento: 12/10/2020 22:29:19