Generación automática de pruebas para sistemas de tiempo real

Valencia Pérez, Raúl (2018). Generación automática de pruebas para sistemas de tiempo real. Proyecto Fin de Carrera / Trabajo Fin de Grado, E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

Description

Title: Generación automática de pruebas para sistemas de tiempo real
Author/s:
  • Valencia Pérez, Raúl
Contributor/s:
  • Zamorano Flores, Juan
Item Type: Final Project
Degree: Grado en Ingeniería Informática
Date: July 2018
Subjects:
Faculty: E.T.S. de Ingenieros Informáticos (UPM)
Department: Arquitectura y Tecnología de Sistemas Informáticos
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (773kB) | Preview

Abstract

El presente trabajo puede resumirse proponiendo un formalismo para el modelado de sistemas de tiempo real, con el propósito principal de generar de manera automática pruebas de caja negra basadas en el mismo, que proporcione un equilibrio entre potencia expresiva y complejidad que resulte adecuado para los niveles de abstracción típicamente manejados durante la fase de pruebas del sistema. Los principales objetivos se centran en definir el marco teórico de dicho formalismo, incluyendo los principios en que se fundamenta y los algoritmos básicos asociados al mismo; y proponer la elaboración de una herramienta que permita, basándose en los principios y técnicas asociadas al formalismo propuesto, modelar un sistema y generar de manera automática pruebas para el mismo.

More information

Item ID: 57476
DC Identifier: http://oa.upm.es/57476/
OAI Identifier: oai:oa.upm.es:57476
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 11 Dec 2019 09:40
Last Modified: 11 Dec 2019 09:40
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM