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]
Preview |
PDF
Creative Commons Attribution Non-commercial. 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: | Directors 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: | 12 Mar 2020 11:59 |
Origin of downloads
Repository Staff Only: item control page
