[ca] Avui dia, moltes empreses que es dediquen a la fabricació de vehicles encara fan servir mètodes de validació de software molt prematurs. Això es deu al fet que anys enrere el programari no era considerat com un pilar imprescindible a l'hora de fer funcionar un vehicle sinó que es considerava més aviat un complement per ajudar a la part elèctrica dels vehicles. Tot i això, avui en dia, el software va guanyant terreny com a pilar fonamental en la construcció i disseny d'un vehicle i això és gràcies a l'aparició de les memòries programables i a la nova era digital. La majoria dels vehicles fabricats a partir del 2016 ja incorporen tecnologies de teleassistència en cas d'accident connectades a través d'Internet, centraletes controlades purament per programari com ara direcció elèctrica assistida, ABS, assistència en frenada, sensors de proximitat. . . És per això que cada cop els vehicles disposen de centraletes més complexes, i, per tant, la feina de verificar un progra- mari d'un vehicle comença a tenir cada vegada més complexitat. De fet, encara hi ha empreses multinacionals que usen mètodes manuals per realitzar la validació del software de màquina com les taules de veritat. Aquests mecanismes són útils i fàcils de testejar quan hi ha poques casuístiques a validar, però a mesura que augmenten, arriba un punt que un operari hi ha de dedicar massa feina i temps a validar el programari desenvolupat. Per tant, en aquest projecte s'intenta definir, desenvolupar i demostrar el funcionament d'un programari que permeti automatitzar aquesta feina que està fent el programador o l'operari i a més a més optimitzar el temps que es triga a validar-lo.

[es] Hoy en día, muchas empresas que se dedican a la fabricación de vehículos todavía utilizan métodos de validación de software muy prematuros. Esto se debe a que años atrás el software no era considerado como un pilar imprescindible a la vez hacer funcionar un vehículo sino que se consideraba más bien un complemento para ayudar a la parte eléctrica de los vehículos. Sin embargo, hoy en día, el software va ganando terreno como pilar fundamental en la construcción y diseño de un vehículo y esto es gracias a la aparición de las memorias programables y la nueva era digital. La mayoría de los vehículos fabricados en partir de 2016 ya incorporan tecnologías de teleasistencia en caso de accidente conectadas a través de Internet, centralitas controladas puramente por software tales como dirección eléctrica asistida, ABS, asistencia en frenado, sensores de proximidad. . . Es por ello que cada vez los vehículos disponen de centralitas más complejas, y, por tanto, el trabajo de verificar un programa un vehículo empieza a tener cada vez más complejidad. De hecho, todavía existen empresas multinacionales que usan métodos manuales para realizar la validación del software de máquina como las tablas de verdad. Estos mecanismos son útiles y fáciles de testear cuando hay pocas casuísticas a validar, pero a medida que aumentan, llega un punto que uno operario debe dedicar demasiado trabajo y tiempo a validar el software desarrollado. Por tanto, en este proyecto se intenta definir, desarrollar y demostrar el funcionamiento de un software que permita automatizar este trabajo que está haciendo el programador o el operario y además optimizar el tiempo que se tarda en validarlo.