TY - THES AU - Pascual Contreras, Andrés AU - Pérez Zamorano, José Manuel AU - Muñoz Gámez, Adrián A3 - Rabanal Basalo, Pablo Manuel PY - 2018 UR - https://hdl.handle.net/20.500.14352/15116 AB - Este trabajo consiste en la elaboración de una aplicación que permita realizar pruebas sobre máquinas de estados utilizando técnicas de inteligencia artificial, concretamente heurísticas y metaheurísticas, optimizando los costes necesarios para... AB - This work consists in the development of an application that allows to perform tests on state machines using artificial intelligence techniques, specifically heuristics and metaheuristics, optimizing the costs necessary to carry them out.In the... LA - spa KW - Pruebas de software KW - Optimización KW - Metaheurísticas KW - Optimización por colonia de hormigas (ACO) KW - Formación dinámica de los ríos (RFD) KW - Algoritmo Genético (GA) KW - Algoritmos evolutivos KW - Mínima Secuencia de Carga (MLS) KW - Máquinas de estados KW - Testing KW - Optimization KW - Metaheuristics KW - Ant Colony Optimization (ACO) KW - River Formation Dynamics (RFD) KW - Genetic Algorithm (GA) KW - Evolutionary Algorithms KW - Minimum Load Sequence (MLS) KW - State Machines TI - Testing de sistemas restaurables empleando metaheurísticas M3 - bachelor thesis ER -