Jon Ayerdi successfully defended his PhD thesis, “Simulation-based Metamorphic Testing of Cyber-Physical Systems”, at Mondragon Unibertsitatea, with several contributions of his thesis developed as part of the Adeptness project and in collaboration with Orona. The focus of his work is on the application of Metamorphic Testing (MT) techniques to improve the efficiency and quality of the Cyber-Physical System (CPS) development process. On the one hand, he presented a CPS DevOps architecture which will enable the automation of development tasks, focusing on the verification tasks where MT techniques can be implemented. On the other hand, he proposed and evaluated manual and fully-automated approaches for defining MT oracles for CPSs, for which he implemented two prototype tools. Finally, his thesis also presented and evaluated an optimization approach for MT based on test selection. Click here to see the full document.
Congratulations!