Skip to main content
Area of expertise

Verification, Validation and Testing

The area of Verification, Validation, and Testing is a critical discipline in software engineering, focused on ensuring that software products meet their specified requirements and function as expected.

Researchers
2
Active projects
1
Related publications
10
Verification, Validation and Testing
Area illustration: Verification, Validation and Testing

The area of Verification, Validation, and Testing is a critical discipline in software engineering, focused on ensuring that software products meet their specified requirements and function as expected. This area covers a broad range of activities, including verifying that the software meets all design and development specifications, validating that the software meets the end-user’s needs and expectations, and conducting systematic tests to identify and rectify defects.

About the Area Coordinator

Prof. Cristiane Ramos

At CEDIS, Verification, Validation, and Testing are considered fundamental pillars for developing high-quality software. Under the coordination of Prof. Cristiane Ramos, the research line is dedicated to studying and improving methods, tools, and processes that can enhance the effectiveness and efficiency of these activities. The team of specialized researchers works on various topics, such as test automation, regression testing, usability testing, performance and security testing, and integrating verification and validation practices into agile software development methodologies. The goal is to develop innovative approaches that can reduce the time and cost of the testing process while increasing the reliability and security of software products.
More About the Coordinator

Research Team

Previous Researchers

Postgraduate Specialization

  1. Caroline Berta

    A Proposal for Software Quality Assurance Through the Verification of Test Scripts

    Specialization in Software Engineering, Catholic University of Brasília (Brazil)

    2010
  2. Hígor Estevan do Carmo Rodrigues

    Proposal for a Test Process Based on CMMI Maturity Level 3

    Specialization in Software Engineering, Catholic University of Brasília (Brazil)

    2010

Undergraduate Research

  • Matheus Afonso de Souza

    Supporting testing activities for apps and research

    Undergraduate Research2021

  • Mariana de Souza Mendes

    Supporting activities for app testing

    Undergraduate Research2020

  • Natália Maria Rodrigues Queiroz

    Reports of digitized services via manual testing

    Undergraduate Research2018

  • Ronyell Henrique dos Santos

    Maintenance and test automation activities

    Undergraduate Research2018

  • Wagner Jerônimo Santos

    Definition of a quality assurance process based on a process component architecture

    Undergraduate Research2011

Bachelor’s Thesis

  1. Renan Cristyan Araujo Pinheiro

    Case study on the improvement of the software verification and validation process in a public sector agency

    Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil)

    2022
  2. Vítor Cardoso Xoteslem

    Elaboration of a testing strategy in a geographically distributed volunteer team

    Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil)

    2021
  3. Iolane Caroline Alves de Andrade

    The use of exploratory testing - a practical application

    Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil)

    2020
  4. Ronyell Henrique dos Santos

    Using refactoring operations to improve variability in software systems

    Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil)

    2020
  5. Sannya Santana de Arvelos

    Planning software process improvement based on issue analysis

    Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil)

    2020
  6. Iago Rodrigues Gonçalves

    Support for promoting the visibility of technical debt

    Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil)

    2018
  7. Victor Hugo Alves de Carvalho

    Impact analysis of programming techniques on the performance of AndroidTM applications

    Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil)

    2015
  8. Antonio Bezerra da Silva Júnior

    Tool support for the quality assurance process: QUASAR - Software Quality and Results Assessment

    Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil)

    2013

Current Projects

  • Doarti - Project for a technological solution to strengthen donation processes in the Federal District.

Publications and Productions

Publications (10)

  1. Renan Cristyan Araujo Pinheiro

    Case study on the improvement of the software verification and validation process in a public sector agency

    Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil)

    2022
  2. Vítor Cardoso Xoteslem

    Elaboration of a testing strategy in a geographically distributed volunteer team

    Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil)

    2021
  3. Iolane Caroline Alves de Andrade

    The use of exploratory testing - a practical application

    Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil)

    2020
  4. Ronyell Henrique dos Santos

    Using refactoring operations to improve variability in software systems

    Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil)

    2020
  5. Sannya Santana de Arvelos

    Planning software process improvement based on issue analysis

    Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil)

    2020
  6. Iago Rodrigues Gonçalves

    Support for promoting the visibility of technical debt

    Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil)

    2018
  7. Victor Hugo Alves de Carvalho

    Impact analysis of programming techniques on the performance of AndroidTM applications

    Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil)

    2015
  8. Antonio Bezerra da Silva Júnior

    Tool support for the quality assurance process: QUASAR - Software Quality and Results Assessment

    Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil)

    2013
  9. Caroline Berta

    A Proposal for Software Quality Assurance Through the Verification of Test Scripts

    Specialization in Software Engineering, Catholic University of Brasília (Brazil)

    2010
  10. Hígor Estevan do Carmo Rodrigues

    Proposal for a Test Process Based on CMMI Maturity Level 3

    Specialization in Software Engineering, Catholic University of Brasília (Brazil)

    2010

Contact & Collaboration

Software Product Line Engineering →