Autor:
Macías, Fernando

Foto de perfil
E-mails conocidos
fernando.macias@imdea.org
fmac@hvl.no
Fecha de nacimiento
Proyectos de investigación
Unidades organizativas
Puesto de trabajo
Apellidos
Macías
Nombre de pila
Fernando
Nombre
Nombres alternativos
Afiliaciones conocidas
IMDEA Software Institute, Spain
Western Norway University of Applied Sciences, Norway
Páginas web conocidas
Página completa del ítem
Notificar un error en este autor

Filtros

2018 - 201912020 - 20211
Restablecer filtros

Ajustes

Resultados de la búsqueda

Mostrando 1 - 2 de 2
  • Miniatura
    Artículo
    Evaluación de la Sobrecarga en Pruebas de Transformaciones de Modelos
    Rodríguez-Echeverría, Roberto; Macías, Fernando; Conejero, José María; Preciado, Juan Carlos; Prieto Ramos, Álvaro E.; Rutle, Adrian. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
    En el Desarrollo Software Dirigido por Modelos, el desarrollo y mantenimiento de transformaciones entre modelos conlleva grandes costes. La definición de pruebas permite mejorar la calidad y reducir los costes de estos procesos. Sin embargo, hasta ahora no se ha considerado la sobrecarga introducida por las actuales propuestas de pruebas. En este trabajo, se identifican las principales fuentes de sobrecarga en propuestas de pruebas basadas en contratos.
  • Miniatura
    Artículo
    An application of KLEE to aerospace industrial software
    García, Juan Francisco; Jurjo, Daniel; Macías, Fernando; Morales, Jose F.; Gorla, Alessandra. Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021), 2021-09-22.
    This work reports the initial experience of the authors on the application of KLEE to industrial aerospace software. The software consists of C mission code for the Attitude and Orbital Control System (AOCS) subsystem, together with the Simulink models from which it was automatically generated. We detail the characteristics of the software we analyzed, the workflow we created to apply KLEE in the context of Model-Driven Development, and the results and challenges we found.