CEDIS Logo
CEDIS

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

Researchers

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 Advisor(s): George Marsicano . Tags: Software Quality, Verification, Validation and Testing .
  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 Advisor(s): George Marsicano . Tags: Software Quality, Verification, Validation and Testing .

Undergraduate Research

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 Advisor(s): Fabiana Mendes . Tags: Verification, Validation and Testing .
  2. 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 Advisor(s): Ricardo Ajax . Tags: Verification, Validation and Testing, Software Quality .
  3. Sannya Santana de Arvelos, Planning software process improvement based on issue analysis . Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil), 2020 Advisor(s): Cristiane Ramos . Tags: Requirements Engineering, Verification, Validation and Testing .
  4. 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 Advisor(s): Fabiana Mendes . Tags: Verification, Validation and Testing, Teamwork .
  5. 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 Advisor(s): André Lanna . Tags: Requirements Engineering, Verification, Validation and Testing .
  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 Advisor(s): André Lanna . Tags: Software Quality, Verification, Validation and Testing .
  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 Advisor(s): Fabiana Mendes . Tags: Software Quality, Verification, Validation and Testing .
  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 Advisor(s): Cristiane Ramos . Tags: Software Quality, Verification, Validation and Testing .

Current Projects

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 Advisor(s): Fabiana Mendes . Tags: Verification, Validation and Testing .
  2. 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 Advisor(s): Ricardo Ajax . Tags: Verification, Validation and Testing, Software Quality .
  3. Sannya Santana de Arvelos, Planning software process improvement based on issue analysis . Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil), 2020 Advisor(s): Cristiane Ramos . Tags: Requirements Engineering, Verification, Validation and Testing .
  4. 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 Advisor(s): Fabiana Mendes . Tags: Verification, Validation and Testing, Teamwork .
  5. 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 Advisor(s): André Lanna . Tags: Requirements Engineering, Verification, Validation and Testing .
  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 Advisor(s): André Lanna . Tags: Software Quality, Verification, Validation and Testing .
  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 Advisor(s): Fabiana Mendes . Tags: Software Quality, Verification, Validation and Testing .
  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 Advisor(s): Cristiane Ramos . Tags: Software Quality, Verification, Validation and Testing .
  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 Advisor(s): George Marsicano . Tags: Software Quality, Verification, Validation and Testing .
  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 Advisor(s): George Marsicano . Tags: Software Quality, Verification, Validation and Testing .

Contact & Collaboration

See more about Verification, Validation and Testing
Software Product Line Engineering →