Universidad Complutense de Madrid
E-Prints Complutense

Using Squeeziness to test from Finite State Machines

Impacto

Downloads

Downloads per month over past year



Ibias Martínez, Alfredo (2018) Using Squeeziness to test from Finite State Machines. [Trabajo fin de Grado]

[img]
Preview
PDF
807kB


Abstract

Squeeziness is an information theoretic measure designed to quantify the likelihood of a form of fault masking called failed error propagation. It has been shown that Squeeziness correlates strongly with failed error propagation in white-box scenarios. In this thesis, we adapt Squeeziness to a black-box scenario and show how it can be used to estimate the likelihood of failed error propagation.

Resumen (otros idiomas)

Squeeziness es una medida de Teoría de la Información diseñada para cuantificar la probabilidad de una forma de enmascaramiento de errores llamada fallo en la propagación de errores. Se ha demostrado que Squeezinees correlaciona fuertemente con el fallo en la propagación de errores en escenarios de caja blanca. En este TFG, adaptamos Squeeziness a un escenario de caja negra y mostramos como puede usarse para estimar la probabilidad de un fallo en la propagación de errores.

Item Type:Trabajo fin de Grado
Additional Information:

Universidad Complutense, Facultad de Informática, curso 2017/2018

Directors:
DirectorsDirector email
Núñez García, Manuel
Uncontrolled Keywords:Squeeziness, Failed Error Propagation (FEP), Fault Masking, Testing, Correction, Black-box, Finite State Machine (FSM), Information Theory
Palabras clave (otros idiomas):Squeeziness, Fallo en la Propagación de Errores (FEP), Enmascaramiento de Errores, Testing, Corrección, Caja Negra, Máquina de Estados Finita (FSM), Teoría de la Información
Subjects:Sciences > Computer science
Título de Grado:Dobel Grado en Ingeniería Informática y Matemáticas
ID Code:48910
Deposited On:09 Aug 2018 11:37
Last Modified:09 Aug 2018 12:09

Origin of downloads

Repository Staff Only: item control page