Verificação, Validação e Testes

A área de Verificação, Validação e Testes é uma disciplina crítica na engenharia de software, focada em garantir que os produtos de software atendam aos seus requisitos especificados e funcionem conforme esperado. Esta área abrange uma ampla gama de atividades, incluindo a verificação de que o software atende a todas as especificações de design e desenvolvimento, a validação de que o software atende às necessidades e expectativas do usuário final, e a realização de testes sistemáticos para identificar e corrigir defeitos.

Sobre o coordenador da área

Prof. Cristiane Ramos

No CEDIS, a área de Verificação, Validação e Testes são considerados pilares fundamentais para o desenvolvimento de software de alta qualidade. Sob a coordenação da Profa. Cristiane Ramos, a linha de pesquisa se dedica ao estudo e aprimoramento de métodos, ferramentas e processos que possam aumentar a eficácia e a eficiência dessas atividades. A equipe de pesquisadores especializados trabalha em diversos tópicos, como automação de testes, testes de regressão, testes de usabilidade, testes de desempenho e segurança, além da integração de práticas de verificação e validação em metodologias ágeis de desenvolvimento de software. O objetivo é desenvolver abordagens inovadoras que possam reduzir o tempo e o custo do processo de teste, ao mesmo tempo que aumentam a confiabilidade e a segurança dos produtos de software.
Mais sobre a coordenadora

Equipe de pesquisa

Pesquisadores

Ricardo Ajax Dias Kosloski - Professor Assistente II da Universidade de Brasília (UnB), atua no curso de graduação em Engenharia de Software em temas como engenharia de software, métricas, testes e qualidade de software. .

Pesquisadores anteriores

Especialização

Caroline Berta, Uma proposta de garantia da qualidade de software através da verificação de roteiros de teste . Especialização em Engenharia de Software, UCB, 2010 Orientador(es): George Marsicano . Tags: Qualidade de Software, Verificação, Validação e Testes .
Hígor Estevan do Carmo Rodrigues, Proposta de Processo de Teste Baseado no CMMI Maturity Level 3 . Especialização em Engenharia de Software, UCB, 2010 Orientador(es): George Marsicano . Tags: Qualidade de Software, Verificação, Validação e Testes .

Iniciação Científica

Matheus Afonso de Souza. Apoiar as atividades de teste de aplicativos e de pesquisa . Iniciação Científica, (2021). Orientador(es): Cristiane Ramos . Tags: Verificação, Validação e Testes .
Mariana de Souza Mendes. Apoio às atividades de testes de aplicativos . Iniciação Científica, (2020). Orientador(es): Cristiane Ramos . Tags: Verificação, Validação e Testes .
Natália Maria Rodrigues Queiroz. Relatórios dos serviços digitalizados via teste manual . Iniciação Científica, (2018). Orientador(es): Cristiane Ramos . Tags: Verificação, Validação e Testes .
Ronyell Henrique dos Santos. Atividades de sustentação e automação de testes . Iniciação Científica, (2018). Orientador(es): Cristiane Ramos . Tags: Verificação, Validação e Testes .
Wagner Jerônimo Santos. Definição de um processo de garantia da qualidade baseada em uma arquitetura de componentes de processo . Iniciação Científica, (2011). Orientador(es): Cristiane Ramos . Tags: Qualidade de Software, Verificação, Validação e Testes .

Trabalho de conclusão de curso

Renan Cristyan Araujo Pinheiro, Estudo de caso da melhoria do processo de verificação e validação de software em um órgão do setor público . Trabalho de Conclusão de Curso (Bacharelado em Engenharia de Software) - UnB, 2022 Orientador(es): Fabiana Mendes . Tags: Verificação, Validação e Testes .
Iolane Caroline Alves de Andrade, O uso de testes exploratórios - uma aplicação prática . Trabalho de Conclusão de Curso (Bacharelado em Engenharia de Software) - UnB, 2020 Orientador(es): Ricardo Ajax . Tags: Verificação, Validação e Testes, Qualidade de Software .
Sannya Santana de Arvelos, Planejamento de melhoria de processo de software baseado em análise de issues . Trabalho de Conclusão de Curso (Bacharelado em Engenharia de Software) - UnB, 2020 Orientador(es): Cristiane Ramos . Tags: Engenharia de Requisitos, Verificação, Validação e Testes .
Vítor Cardoso Xoteslem, Elaboração de estratégia de testes em equipe de voluntários geograficamente distribuída . Trabalho de Conclusão de Curso (Bacharelado em Engenharia de Software) - UnB, 2021 Orientador(es): Fabiana Mendes . Tags: Verificação, Validação e Testes, Trabalho em Equipe .
Ronyell Henrique dos Santos, Utilização de operações de refatoração para aprimoramento de variabilidade em sistemas de software . Trabalho de Conclusão de Curso (Bacharelado em Engenharia de Software) - UnB, 2020 Orientador(es): André Lanna . Tags: Engenharia de Requisitos, Verificação, Validação e Testes .
Iago Rodrigues Gonçalves, Apoio a promoção da visibilidade da dívida técnica . Trabalho de Conclusão de Curso (Bacharelado em Engenharia de Software) - UnB, 2018 Orientador(es): André Lanna . Tags: Qualidade de Software, Verificação, Validação e Testes .
Victor Hugo Alves de Carvalho, Análise de impacto do uso de técnicas de programação no desempenho de aplicações AndroidTM . Trabalho de Conclusão de Curso (Bacharelado em Engenharia de Software) - UnB, 2015 Orientador(es): Fabiana Mendes . Tags: Qualidade de Software, Verificação, Validação e Testes .
Antonio Bezerra da Silva Júnior, Apoio ferramental ao processo de garantia da qualidade : QUASAR - Qualidade de Software e Avaliação de Resultados . Trabalho de Conclusão de Curso (Bacharelado em Engenharia de Software) - UnB, 2013 Orientador(es): Cristiane Ramos . Tags: Qualidade de Software, Verificação, Validação e Testes .

Projetos em andamento

Publicações e produções

Publicações (10)

Renan Cristyan Araujo Pinheiro, Estudo de caso da melhoria do processo de verificação e validação de software em um órgão do setor público . Trabalho de Conclusão de Curso (Bacharelado em Engenharia de Software) - UnB, 2022 Orientador(es): Fabiana Mendes . Tags: Verificação, Validação e Testes .
Iolane Caroline Alves de Andrade, O uso de testes exploratórios - uma aplicação prática . Trabalho de Conclusão de Curso (Bacharelado em Engenharia de Software) - UnB, 2020 Orientador(es): Ricardo Ajax . Tags: Verificação, Validação e Testes, Qualidade de Software .
Sannya Santana de Arvelos, Planejamento de melhoria de processo de software baseado em análise de issues . Trabalho de Conclusão de Curso (Bacharelado em Engenharia de Software) - UnB, 2020 Orientador(es): Cristiane Ramos . Tags: Engenharia de Requisitos, Verificação, Validação e Testes .
Vítor Cardoso Xoteslem, Elaboração de estratégia de testes em equipe de voluntários geograficamente distribuída . Trabalho de Conclusão de Curso (Bacharelado em Engenharia de Software) - UnB, 2021 Orientador(es): Fabiana Mendes . Tags: Verificação, Validação e Testes, Trabalho em Equipe .
Ronyell Henrique dos Santos, Utilização de operações de refatoração para aprimoramento de variabilidade em sistemas de software . Trabalho de Conclusão de Curso (Bacharelado em Engenharia de Software) - UnB, 2020 Orientador(es): André Lanna . Tags: Engenharia de Requisitos, Verificação, Validação e Testes .
Iago Rodrigues Gonçalves, Apoio a promoção da visibilidade da dívida técnica . Trabalho de Conclusão de Curso (Bacharelado em Engenharia de Software) - UnB, 2018 Orientador(es): André Lanna . Tags: Qualidade de Software, Verificação, Validação e Testes .
Victor Hugo Alves de Carvalho, Análise de impacto do uso de técnicas de programação no desempenho de aplicações AndroidTM . Trabalho de Conclusão de Curso (Bacharelado em Engenharia de Software) - UnB, 2015 Orientador(es): Fabiana Mendes . Tags: Qualidade de Software, Verificação, Validação e Testes .
Antonio Bezerra da Silva Júnior, Apoio ferramental ao processo de garantia da qualidade : QUASAR - Qualidade de Software e Avaliação de Resultados . Trabalho de Conclusão de Curso (Bacharelado em Engenharia de Software) - UnB, 2013 Orientador(es): Cristiane Ramos . Tags: Qualidade de Software, Verificação, Validação e Testes .
Caroline Berta, Uma proposta de garantia da qualidade de software através da verificação de roteiros de teste . Especialização em Engenharia de Software, UCB, 2010 Orientador(es): George Marsicano . Tags: Qualidade de Software, Verificação, Validação e Testes .
Hígor Estevan do Carmo Rodrigues, Proposta de Processo de Teste Baseado no CMMI Maturity Level 3 . Especialização em Engenharia de Software, UCB, 2010 Orientador(es): George Marsicano . Tags: Qualidade de Software, Verificação, Validação e Testes .

Contato e colaboração

E-mail para informações e contato com a equipe: cristianesramos@unb.br.

Veja mais sobre Verificação, Validação e Testes