-
Faculty of Arts and HumanitiesDean's Office, Faculty of Arts and HumanitiesJakobi 2, r 116-121 51005 Tartu linn, Tartu linn, Tartumaa EST0Institute of History and ArchaeologyJakobi 2 51005 Tartu linn, Tartu linn, Tartumaa EST0Institute of Estonian and General LinguisticsJakobi 2, IV korrus 51005 Tartu linn, Tartu linn, Tartumaa EST0Institute of Philosophy and SemioticsJakobi 2, III korrus, ruumid 302-337 51005 Tartu linn, Tartu linn, Tartumaa EST0Institute of Cultural ResearchÜlikooli 16 51003 Tartu linn, Tartu linn, Tartumaa EST0Institute of Foreign Languages and CulturesLossi 3 51003 Tartu linn, Tartu linn, Tartumaa EST0School of Theology and Religious StudiesÜlikooli 18 50090 Tartu linn, Tartu linn, Tartumaa EST0Viljandi Culture AcademyPosti 1 71004 Viljandi linn, Viljandimaa EST0Professors emeriti, Faculty of Arts and Humanities0Associate Professors emeriti, Faculty of Arts and Humanities0Faculty of Social SciencesDean's Office, Faculty of Social SciencesLossi 36 51003 Tartu linn, Tartu linn, Tartumaa EST0Institute of EducationJakobi 5 51005 Tartu linn, Tartu linn, Tartumaa EST0Johan Skytte Institute of Political StudiesLossi 36, ruum 301 51003 Tartu linn, Tartu linn, Tartumaa EST0School of Economics and Business AdministrationNarva mnt 18 51009 Tartu linn, Tartu linn, Tartumaa EST0Institute of PsychologyNäituse 2 50409 Tartu linn, Tartu linn, Tartumaa EST0School of LawNäituse 20 - 324 50409 Tartu linn, Tartu linn, Tartumaa EST0Institute of Social StudiesLossi 36 51003 Tartu linn, Tartu linn, Tartumaa EST0Narva CollegeRaekoja plats 2 20307 Narva linn, Ida-Virumaa EST0Pärnu CollegeRingi 35 80012 Pärnu linn, Pärnu linn, Pärnumaa EST0Professors emeriti, Faculty of Social Sciences0Associate Professors emeriti, Faculty of Social Sciences0Faculty of MedicineDean's Office, Faculty of MedicineRavila 19 50411 Tartu linn, Tartu linn, Tartumaa ESTInstitute of Biomedicine and Translational MedicineBiomeedikum, Ravila 19 50411 Tartu linn, Tartu linn, Tartumaa ESTInstitute of PharmacyNooruse 1 50411 Tartu linn, Tartu linn, Tartumaa ESTInstitute of DentistryL. Puusepa 1a 50406 Tartu linn, Tartu linn, Tartumaa ESTInstitute of Clinical MedicineL. Puusepa 8 50406 Tartu linn, Tartu linn, Tartumaa ESTInstitute of Family Medicine and Public HealthRavila 19 50411 Tartu linn, Tartu linn, Tartumaa ESTInstitute of Sport Sciences and PhysiotherapyUjula 4 51008 Tartu linn, Tartu linn, Tartumaa ESTProfessors emeriti, Faculty of Medicine0Associate Professors emeriti, Faculty of Medicine0Faculty of Science and TechnologyDean's Office, Faculty of Science and TechnologyVanemuise 46 - 208 51003 Tartu linn, Tartu linn, Tartumaa ESTInstitute of Computer ScienceNarva mnt 18 51009 Tartu linn, Tartu linn, Tartumaa ESTInstitute of GenomicsRiia 23b/2 51010 Tartu linn, Tartu linn, Tartumaa ESTEstonian Marine Institute0Institute of PhysicsInstitute of ChemistryRavila 14a 50411 Tartu linn, Tartu linn, Tartumaa EST0Institute of Mathematics and StatisticsNarva mnt 18 51009 Tartu linn, Tartu linn, Tartumaa EST0Institute of Molecular and Cell BiologyRiia 23, 23b - 134 51010 Tartu linn, Tartu linn, Tartumaa ESTTartu ObservatoryObservatooriumi 1 61602 Tõravere alevik, Nõo vald, Tartumaa EST0Institute of TechnologyNooruse 1 50411 Tartu linn, Tartu linn, Tartumaa ESTInstitute of Ecology and Earth SciencesJ. Liivi tn 2 50409 Tartu linn, Tartu linn, Tartumaa ESTProfessors emeriti, Faculty of Science and Technology0Associate Professors emeriti, Faculty of Science and Technology0Institute of BioengineeringArea of Academic SecretaryHuman Resources OfficeUppsala 6, Lossi 36 51003 Tartu linn, Tartu linn, Tartumaa EST0Area of Head of FinanceFinance Office0Area of Director of AdministrationInformation Technology Office0Administrative OfficeÜlikooli 17 (III korrus) 51005 Tartu linn, Tartu linn, Tartumaa EST0Estates Office0Marketing and Communication OfficeÜlikooli 18, ruumid 102, 104, 209, 210 50090 Tartu linn, Tartu linn, Tartumaa EST0Area of Vice Rector for DevelopmentCentre for Entrepreneurship and InnovationNarva mnt 18 51009 Tartu linn, Tartu linn, Tartumaa EST0University of Tartu Natural History Museum and Botanical GardenVanemuise 46 51003 Tartu linn, Tartu linn, Tartumaa EST0International Cooperation and Protocol Office0University of Tartu MuseumLossi 25 51003 Tartu linn, Tartu linn, Tartumaa EST0Area of RectorRector's Strategy OfficeInternal Audit OfficeArea of Vice Rector for Academic AffairsOffice of Academic AffairsUniversity of Tartu Youth AcademyUppsala 10 51003 Tartu linn, Tartu linn, Tartumaa EST0Student Union OfficeÜlikooli 18b 51005 Tartu linn, Tartu linn, Tartumaa EST0Centre for Learning and TeachingArea of Vice Rector for ResearchUniversity of Tartu LibraryW. Struve 1 50091 Tartu linn, Tartu linn, Tartumaa EST0Grant Office
Doctoral defence: Alejandra Duque Torres "Classifying, Constraining and Ranking Metamorphic Relations"
On 6 February at 10:15 Alejandra Duque Torres will defend her thesis "Classifying, Constraining and Ranking Metamorphic Relations“ to obtain the degree of Doctor of Philosophy (in Computer Science).
Supervisors:
Professor Dietmar Pfahl, University of Tartu
Opponents:
Professor Shaukat Ali, Simula Research Laboratory (Norway)
Associate Professor Emelie Engström, Lund University (Sweden)
Summary
Software testing ensures the final software product functions correctly, but it is often time-consuming, costly, and complex, particularly for large systems. One major challenge is the "test oracle problem"—the difficulty of determining the correct output when testing software. This problem arises when the software under test (SUT) lacks an oracle or when creating one is infeasible. Metamorphic Testing (MT) addresses this problem.
Unlike traditional techniques that focus on verifying individual input-output combinations, MT analyzes relationships between input-output pairs across multiple executions. These relationships are defined by Metamorphic Relations (MRs), specifying how outputs should change in response to specific input modifications. Violating an MR signals a potential fault within the SUT, making MT a valuable tool for addressing the test oracle problem. The effectiveness of MT depends largely on the quality of the MRs.
This thesis introduces new methods for classifying, refining, and ranking MRs to improve MT’s efficiency. The first contribution, MetaTrimmer, offers a method for classifying MRs based on their behaviour across different test data inputs. This allows for a more accurate classification by identifying specific cases where MRs are valid. The second contribution, MetaTrimmer+, refines MRs that show mixed results by identifying patterns within the data. This refinement enhances usability and expands the range of effective test cases. The third contribution focuses on ranking MRs based on their defect-detection capabilities, using MetaTrimmer and mutation testing to prioritise the most effective MRs. This method helps reduce the number of test cases while maintaining high defect detection. The contribution three was successfully applied in an industrial case study, proving their practical value.
The defence will be held also in Zoom (meeting ID: 913 8966 7384, passcode: ati).