Llana Díaz, Luis FernandoRequeno Jarabo, José IgnacioGarcía Gil, Sinuhé2024-10-172024-10-172024https://hdl.handle.net/20.500.14352/109078Trabajo de Fin de Máster en Métodos Formales en Ingeniería Informática, Facultad de Informática UCM, Departamento de Sistemas Informáticos y Computación/Sección Departamental de Sistemas Informáticos y Computación, Curso 2023/2024. El trabajo realizado se puede consultar en el siguiente directorio de Github: https://github.com/sinugarc/TFMQuantum computing has been on the rise in recent years, evidenced by a surge in publications on quantum software engineering and testing. Progress in quantum hardware has also been notable, with the introduction of impressive systems like Condor boasting 1121 qubits, and IBM Quantum System Two, which employs three 133-qubit Heron processors. As this technology edges closer to practical application, ensuring the efficacy of our software becomes imperative. Mutation testing, a well-established technique in classical computing, emerges as a valuable approach in this context. In this work, we aim to introduce metamorphic testing for quantum programs. To achieve this goal, we will develop QCRMut, a mutation tool specifically designed for quantum programs, leveraging the inherent structure of Quantum Circuits. Additionally, we will establish an automated framework for mutation testing. This framework will help us define our metamorphic rules and facilitate a systematic testing approach for quantum programs. By automating the testing process, we can efficiently identify potential faults and improve the reliability of quantum software.engAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/master thesishttps://github.com/sinugarc/TFMopen access004(043.3)Quantum computingMutation testingMetamorphic testingInformática (Informática)33 Ciencias Tecnológicas