Herramienta para la experimentación sobre métricas de testeabilidad

Abstract

El proyecto consiste el desarrollo de una herramienta para la experimentación sobre métricas de testeabilidad. Para ello, los sistemas se simulan empleando un LTS (Sistema Etiquetado de Transiciones). Dichas medidas son controlabilidad, observabilidad, complejidad y transparencia. Aunque todas estas características afectan a la testeabilidad de los sistemas, no es fácil saber hasta dónde afecta cada una en la tarea de detectar posibles errores en el sistema. El objetivo es, por tanto, intentar demostrar cuales son las métricas son más susceptibles a la hora de detectar errores. Los LTS son un modelo para describir el comportamiento de cualquier sistema. Se han definido una serie de métricas que se utilizarán para clasificar las máquinas generadas. Posteriormente se tratarán de estudiar los errores de programación mediante LTS. Los posibles errores de programación se simulan mediante máquinas mutantes que se diferencian de la máquina original en un determinado punto, ya sea añadiendo un nuevo estado, eliminando una transición, etc. Dichos mutantes simulan típicos errores de programación como la asignación de un valor incorrecto a una variable, un fallo a la hora de poner una condición a una bifurcación, etc. [ABSTRACT] The project consists of a laboratory experiment assessed on measures of testability to a labeled transition system, also known as LTS. These measures are controllability, observability, complexity and transparency. In the case of the transparency, it has to perform a union of two systems, the wrapper and the target system. Although these features affect the testability of the systems, it is not easy to know how far it affects everyone in the task of detecting errors in the system. The aim is to try to show which LTS are more susceptible to errors when they are based on the metric taken. The LTS, simulate any type of component, either software or hardware. For example, they could simulate a program, where each state would be a certain point in the program with a certain value for its variables, and the different transitions could simulate paths or bifurcations that can be taken when the program is running based on the entries received. In conclusion, it would attempt to demonstrate the testability that the program has and what are their values, and depending on them get a conclusion of how easy or difficult is to detect program errors in it. Possible programming errors are simulated by machines mutants which differ from the original machine at a given point, either by adding a new state, eliminating transition, etc. Such mutants simulate typical programming errors such as assigning an incorrect value to a variable, a failure of a condition on a fork, etc.