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 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 { copied=true; setTimeout(()=>copied=false, 2000) })" :aria-label="copied ? 'BibTeX copied to clipboard' : 'Copy BibTeX citation'" class="inline-flex items-center gap-2 rounded-full border border-black/10 bg-white px-3 py-1.5 text-sm font-medium text-gray-700 transition-colors hover:border-primary-500 hover:text-primary-600 dark:border-white/10 dark:bg-white/6 dark:text-white/80 dark:hover:border-primary-300 dark:hover:text-primary-200">
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 { copied=true; setTimeout(()=>copied=false, 2000) })" :aria-label="copied ? 'BibTeX copied to clipboard' : 'Copy BibTeX citation'" class="inline-flex items-center gap-2 rounded-full border border-black/10 bg-white px-3 py-1.5 text-sm font-medium text-gray-700 transition-colors hover:border-primary-500 hover:text-primary-600 dark:border-white/10 dark:bg-white/6 dark:text-white/80 dark:hover:border-primary-300 dark:hover:text-primary-200">
Undergraduate Research Matheus Afonso de Souza
Supporting testing activities for apps and research
Undergraduate Research• 2021
Mariana de Souza Mendes
Supporting activities for app testing
Undergraduate Research• 2020
Natália Maria Rodrigues Queiroz
Reports of digitized services via manual testing
Undergraduate Research• 2018
Ronyell Henrique dos Santos
Maintenance and test automation activities
Undergraduate Research• 2018
Wagner Jerônimo Santos
Definition of a quality assurance process based on a process component architecture
Undergraduate Research• 2011
Bachelor’s Thesis { copied=true; setTimeout(()=>copied=false, 2000) })" :aria-label="copied ? 'BibTeX copied to clipboard' : 'Copy BibTeX citation'" class="inline-flex items-center gap-2 rounded-full border border-black/10 bg-white px-3 py-1.5 text-sm font-medium text-gray-700 transition-colors hover:border-primary-500 hover:text-primary-600 dark:border-white/10 dark:bg-white/6 dark:text-white/80 dark:hover:border-primary-300 dark:hover:text-primary-200">
{ copied=true; setTimeout(()=>copied=false, 2000) })" :aria-label="copied ? 'BibTeX copied to clipboard' : 'Copy BibTeX citation'" class="inline-flex items-center gap-2 rounded-full border border-black/10 bg-white px-3 py-1.5 text-sm font-medium text-gray-700 transition-colors hover:border-primary-500 hover:text-primary-600 dark:border-white/10 dark:bg-white/6 dark:text-white/80 dark:hover:border-primary-300 dark:hover:text-primary-200">
{ copied=true; setTimeout(()=>copied=false, 2000) })" :aria-label="copied ? 'BibTeX copied to clipboard' : 'Copy BibTeX citation'" class="inline-flex items-center gap-2 rounded-full border border-black/10 bg-white px-3 py-1.5 text-sm font-medium text-gray-700 transition-colors hover:border-primary-500 hover:text-primary-600 dark:border-white/10 dark:bg-white/6 dark:text-white/80 dark:hover:border-primary-300 dark:hover:text-primary-200">
{ copied=true; setTimeout(()=>copied=false, 2000) })" :aria-label="copied ? 'BibTeX copied to clipboard' : 'Copy BibTeX citation'" class="inline-flex items-center gap-2 rounded-full border border-black/10 bg-white px-3 py-1.5 text-sm font-medium text-gray-700 transition-colors hover:border-primary-500 hover:text-primary-600 dark:border-white/10 dark:bg-white/6 dark:text-white/80 dark:hover:border-primary-300 dark:hover:text-primary-200">
{ copied=true; setTimeout(()=>copied=false, 2000) })" :aria-label="copied ? 'BibTeX copied to clipboard' : 'Copy BibTeX citation'" class="inline-flex items-center gap-2 rounded-full border border-black/10 bg-white px-3 py-1.5 text-sm font-medium text-gray-700 transition-colors hover:border-primary-500 hover:text-primary-600 dark:border-white/10 dark:bg-white/6 dark:text-white/80 dark:hover:border-primary-300 dark:hover:text-primary-200">
{ copied=true; setTimeout(()=>copied=false, 2000) })" :aria-label="copied ? 'BibTeX copied to clipboard' : 'Copy BibTeX citation'" class="inline-flex items-center gap-2 rounded-full border border-black/10 bg-white px-3 py-1.5 text-sm font-medium text-gray-700 transition-colors hover:border-primary-500 hover:text-primary-600 dark:border-white/10 dark:bg-white/6 dark:text-white/80 dark:hover:border-primary-300 dark:hover:text-primary-200">
{ copied=true; setTimeout(()=>copied=false, 2000) })" :aria-label="copied ? 'BibTeX copied to clipboard' : 'Copy BibTeX citation'" class="inline-flex items-center gap-2 rounded-full border border-black/10 bg-white px-3 py-1.5 text-sm font-medium text-gray-700 transition-colors hover:border-primary-500 hover:text-primary-600 dark:border-white/10 dark:bg-white/6 dark:text-white/80 dark:hover:border-primary-300 dark:hover:text-primary-200">
{ copied=true; setTimeout(()=>copied=false, 2000) })" :aria-label="copied ? 'BibTeX copied to clipboard' : 'Copy BibTeX citation'" class="inline-flex items-center gap-2 rounded-full border border-black/10 bg-white px-3 py-1.5 text-sm font-medium text-gray-700 transition-colors hover:border-primary-500 hover:text-primary-600 dark:border-white/10 dark:bg-white/6 dark:text-white/80 dark:hover:border-primary-300 dark:hover:text-primary-200">
Back to Top
Current Projects Doarti
- Project for a technological solution to strengthen donation processes in the Federal District. Publications and Productions Publications (10)
{ copied=true; setTimeout(()=>copied=false, 2000) })" :aria-label="copied ? 'BibTeX copied to clipboard' : 'Copy BibTeX citation'" class="inline-flex items-center gap-2 rounded-full border border-black/10 bg-white px-3 py-1.5 text-sm font-medium text-gray-700 transition-colors hover:border-primary-500 hover:text-primary-600 dark:border-white/10 dark:bg-white/6 dark:text-white/80 dark:hover:border-primary-300 dark:hover:text-primary-200">
{ copied=true; setTimeout(()=>copied=false, 2000) })" :aria-label="copied ? 'BibTeX copied to clipboard' : 'Copy BibTeX citation'" class="inline-flex items-center gap-2 rounded-full border border-black/10 bg-white px-3 py-1.5 text-sm font-medium text-gray-700 transition-colors hover:border-primary-500 hover:text-primary-600 dark:border-white/10 dark:bg-white/6 dark:text-white/80 dark:hover:border-primary-300 dark:hover:text-primary-200">
{ copied=true; setTimeout(()=>copied=false, 2000) })" :aria-label="copied ? 'BibTeX copied to clipboard' : 'Copy BibTeX citation'" class="inline-flex items-center gap-2 rounded-full border border-black/10 bg-white px-3 py-1.5 text-sm font-medium text-gray-700 transition-colors hover:border-primary-500 hover:text-primary-600 dark:border-white/10 dark:bg-white/6 dark:text-white/80 dark:hover:border-primary-300 dark:hover:text-primary-200">
{ copied=true; setTimeout(()=>copied=false, 2000) })" :aria-label="copied ? 'BibTeX copied to clipboard' : 'Copy BibTeX citation'" class="inline-flex items-center gap-2 rounded-full border border-black/10 bg-white px-3 py-1.5 text-sm font-medium text-gray-700 transition-colors hover:border-primary-500 hover:text-primary-600 dark:border-white/10 dark:bg-white/6 dark:text-white/80 dark:hover:border-primary-300 dark:hover:text-primary-200">
{ copied=true; setTimeout(()=>copied=false, 2000) })" :aria-label="copied ? 'BibTeX copied to clipboard' : 'Copy BibTeX citation'" class="inline-flex items-center gap-2 rounded-full border border-black/10 bg-white px-3 py-1.5 text-sm font-medium text-gray-700 transition-colors hover:border-primary-500 hover:text-primary-600 dark:border-white/10 dark:bg-white/6 dark:text-white/80 dark:hover:border-primary-300 dark:hover:text-primary-200">
{ copied=true; setTimeout(()=>copied=false, 2000) })" :aria-label="copied ? 'BibTeX copied to clipboard' : 'Copy BibTeX citation'" class="inline-flex items-center gap-2 rounded-full border border-black/10 bg-white px-3 py-1.5 text-sm font-medium text-gray-700 transition-colors hover:border-primary-500 hover:text-primary-600 dark:border-white/10 dark:bg-white/6 dark:text-white/80 dark:hover:border-primary-300 dark:hover:text-primary-200">
{ copied=true; setTimeout(()=>copied=false, 2000) })" :aria-label="copied ? 'BibTeX copied to clipboard' : 'Copy BibTeX citation'" class="inline-flex items-center gap-2 rounded-full border border-black/10 bg-white px-3 py-1.5 text-sm font-medium text-gray-700 transition-colors hover:border-primary-500 hover:text-primary-600 dark:border-white/10 dark:bg-white/6 dark:text-white/80 dark:hover:border-primary-300 dark:hover:text-primary-200">
{ copied=true; setTimeout(()=>copied=false, 2000) })" :aria-label="copied ? 'BibTeX copied to clipboard' : 'Copy BibTeX citation'" class="inline-flex items-center gap-2 rounded-full border border-black/10 bg-white px-3 py-1.5 text-sm font-medium text-gray-700 transition-colors hover:border-primary-500 hover:text-primary-600 dark:border-white/10 dark:bg-white/6 dark:text-white/80 dark:hover:border-primary-300 dark:hover:text-primary-200">
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 { copied=true; setTimeout(()=>copied=false, 2000) })" :aria-label="copied ? 'BibTeX copied to clipboard' : 'Copy BibTeX citation'" class="inline-flex items-center gap-2 rounded-full border border-black/10 bg-white px-3 py-1.5 text-sm font-medium text-gray-700 transition-colors hover:border-primary-500 hover:text-primary-600 dark:border-white/10 dark:bg-white/6 dark:text-white/80 dark:hover:border-primary-300 dark:hover:text-primary-200">
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 { copied=true; setTimeout(()=>copied=false, 2000) })" :aria-label="copied ? 'BibTeX copied to clipboard' : 'Copy BibTeX citation'" class="inline-flex items-center gap-2 rounded-full border border-black/10 bg-white px-3 py-1.5 text-sm font-medium text-gray-700 transition-colors hover:border-primary-500 hover:text-primary-600 dark:border-white/10 dark:bg-white/6 dark:text-white/80 dark:hover:border-primary-300 dark:hover:text-primary-200">
Back to Top