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

Bachelor’s Thesis

  1. Renan Pinheiro, Case Study on the Improvement of the Software Verification and Validation Process in a Public Sector Entity . Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil), 2023 Advisor(s): Fabiana Mendes . Tags: Verification, Validation and Testing .
  2. Iolane Andrade, The Use of Exploratory Testing - A Practical Application . Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil), 2022 Advisor(s): Ricardo Ajax . Tags: Verification, Validation and Testing, Software Quality .
  3. Sannya Arvelos, Software Process Improvement Planning Based on Issue Analysis . Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil), 2022 Advisor(s): Cristiane Ramos . Tags: Requirements Engineering, Verification, Validation and Testing .
  4. Vítor Xoteslem, Developing a Testing Strategy in a Geographically Distributed Volunteer Team . Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil), 2022 Advisor(s): Fabiana Mendes . Tags: Verification, Validation and Testing, Teamwork .
  5. Ronyell Santos, Using Refactoring Operations to Improve Variability in Software Systems . Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil), 2021 Advisor(s): André Lanna . Tags: Requirements Engineering, Verification, Validation and Testing .
  6. aigo Gonçalves, Support for Promoting Technical Debt Visibility . Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil), 2019 Advisor(s): André Lanna . Tags: Software Quality, Verification, Validation and Testing .
  7. Victor 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 Silva Júnior, Tool Support for the Quality Assurance Process - QUASAR – Software Quality and Results Evaluation . 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 (8)

  1. Renan Pinheiro, Case Study on the Improvement of the Software Verification and Validation Process in a Public Sector Entity . Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil), 2023 Advisor(s): Fabiana Mendes . Tags: Verification, Validation and Testing .
  2. Iolane Andrade, The Use of Exploratory Testing - A Practical Application . Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil), 2022 Advisor(s): Ricardo Ajax . Tags: Verification, Validation and Testing, Software Quality .
  3. Sannya Arvelos, Software Process Improvement Planning Based on Issue Analysis . Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil), 2022 Advisor(s): Cristiane Ramos . Tags: Requirements Engineering, Verification, Validation and Testing .
  4. Vítor Xoteslem, Developing a Testing Strategy in a Geographically Distributed Volunteer Team . Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil), 2022 Advisor(s): Fabiana Mendes . Tags: Verification, Validation and Testing, Teamwork .
  5. Ronyell Santos, Using Refactoring Operations to Improve Variability in Software Systems . Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil), 2021 Advisor(s): André Lanna . Tags: Requirements Engineering, Verification, Validation and Testing .
  6. aigo Gonçalves, Support for Promoting Technical Debt Visibility . Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil), 2019 Advisor(s): André Lanna . Tags: Software Quality, Verification, Validation and Testing .
  7. Victor 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 Silva Júnior, Tool Support for the Quality Assurance Process - QUASAR – Software Quality and Results Evaluation . Senior Project (Bachelor of Software Engineering) - University of Brasília (Brazil), 2013 Advisor(s): Cristiane Ramos . Tags: Software Quality, Verification, Validation and Testing .

Contact & Collaboration

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