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
0
Related publications
10
Verification, Validation and Testing
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

  • Ricardo Ajax Dias Kosloski

    Adjunct Professor at the University of Brasília (UnB), working in the undergraduate Software Engineering program on software engineering, software metrics, testing, and software quality.

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

    Advisor(s)
  • Mariana de Souza Mendes

    Supporting activities for app testing

    Undergraduate Research2020

    Advisor(s)
  • Natália Maria Rodrigues Queiroz

    Reports of digitized services via manual testing

    Undergraduate Research2018

    Advisor(s)
  • Ronyell Henrique dos Santos

    Maintenance and test automation activities

    Undergraduate Research2018

    Advisor(s)
  • Wagner Jerônimo Santos

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

    Undergraduate Research2011

    Advisor(s)

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)
  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)
  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)
  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)
  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)
  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)
  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)
  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)

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)
  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)
  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)
  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)
  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)
  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)
  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)
  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)
  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 →