INTRODUCCIÓN A LA

INGENIERÍA DE PRUEBAS

Verificación y su proceso
La depuración y su proceso

EQUIPO 1:
AGUILAR RAMÍREZ EVAN
FUENTES AGUILAR AXEL URIEL
GARCIA ANGELES ARTURO ALEXIS
GARCÍA CORONA DIEGO ALONSO
GARCÍA MORENO EMILIANO
 INDICE
VERIFICACIÓN Y SU PROCESO

LA DEPURACIÓN Y PROCESO
 Verificación y su proceso
¿Estamos construyendo el producto
correctamente?
La verificación tiene como función

comprobar que el software cumple

con las especificaciones. De esta

Una técnica para realizar la
manera constatará que se
verificación consiste en las
satisfacen sus requerimientos
inspecciones de software RTF en las
funcionales (Lo que hace el sistema)
cuales se analizan las
y no funcionales (Complementos
representaciones para encontrar
para que funcione el software como
problemas esta es una técnica del
desea el cliente). tipo estático, porque no es necesario
ejecutar el código, aunque se pueden
utilizar herramientas
complementarias para hacer el
análisis, por lo que la verificación sirve
para ver la correspondencia entre el
programa y la especificación, pero no
se puede demostrar funcionalidad,
para eso está la validación
A CONTINUACIÓN PUEDEN VERSE LAS PROBABLES COMPROBACIONES QUE PUEDEN LLEVARSE

A CABO EN LA INSPECCIÓN (RTF)

DEFECTOS DE DATOS:

¿Se inicializan todas las variables antes de que se utilicen sus

valores?

¿Tienen nombre todas las constantes?

¿El limite superior de los vectores es igual al tamaño del vector?

Si se utilizan cadenas de caracteres, ¿tienen un delimitador

explícitamente asignado?

¿Existe alguna posibilidad de que el buffer se desborde?

DEFECTOS DE CONTROL

Para cada sentencia condicional, ¿es correcta la condición?

¿Se garantiza que termina cada bucle?

¿Están puestas correctamente entre llaves las sentencias

compuestas?

En las sentencias case, ¿se tienen en cuenta todos los posibles

casos?

Si se requiere una sentencia break después de cada caso en las

sentencias case, ¿se ha incluido?
DEFECTOS DE ENTRADA/SALIDA

¿Se utilizan todas las variables de entrada?

¿Se les asigna un valor a todas las variables de salida?

¿Pueden provocar corrupciones de datos las entradas no

esperadas?
DEFECTOS DE INTERFAZ

¿Las llamadas a funciones y a métodos tienen el número correcto

de parámetros?

¿Concuerdan los tipos de parámetros reales y formales?

¿Están en el orden correcto los parámetros?

Si los componentes acceden a memoria compartida. ¿Tienen el

mismo modelo de estructura de la memoria compartida?
DEFECTOS DE GESTIÓN DE ALMACENAMIENTO

Si una estructura enlazada se modifica, ¿se reasignan

correctamente todos los enlaces?

Si se utiliza almacenamiento dinámico, ¿se asigna correctamente

el espacio de memoria?

¿Se desasigna explícitamente el espacio de memoria cuando ya

no se necesita?
DEFECTOS DE MANEJO DE EXCEPCIONES

¿Se tienen en cuenta todas las condiciones de error posibles?

LOS TIPOS DE VERIFICACIÓN QUE SE USAN

TEST CORTO: UN TEST QUE COMPRUEBA UNA ÚNICA FUNCIÓN O

CLASE (TEST UNITARIO)

TEST LARGO: UN TEST QUE COMPRUEBA UN GRUPO DE CLASES,

COMO
TEST DE MÓDULO (UN ÚNICO MÓDULO)
TEST DE INTEGRACIÓN (MÁS DE UN MÓDULO)
TEST DE SISTEMA (TODO EL SISTEMA)
TEST DE ACEPTACIÓN: UN TEST FORMAL DEFINIDO PARA

COMPROBAR EL CRITERIO DE ACEPTACIÓN DEL SOFTWARE

TEST FUNCIONAL
TEST NO FUNCIONAL (EJECUCIÓN, TEST DE ESTRÉS)
LA DEPURACIÓN Y SU PROCESO
 DEPURACIÓN

Cuando hacemos una buena

prueba encontraremos errores. Esto
origina la depuración

PROCESO
Utilizamos la depuración como
proceso para encontrar el error y
eliminarlo.
LA VUELTA ATRÁS
Una vez encontrado el error revisamos de forma manual
el código, esta opción es viable si el software no es muy
grande.

LA FUERZA BRUTA

Esta es la última opción para localizar el error. consiste en

introducir en el código mensajes donde se proporcionan
pistas de ejecución para que la computadora nos de el
error.
LA ELIMINACIÓN DE CAUSAS
Damos causas que puedan provocar el error, se da una
hipótesis y con los datos anteriores se confirma o
descarta la hipótesis.
Cuestionario
Cuestionario
1 ¿Cual es la principal funcion de la verificacion?
La verificación tiene como función comprobar que el software cumple
con las especificaciones.

2 ¿Que aspectos hay que cuidar en la entrada y en la salida?

Variables de entrada, Variables de salida, Posibles corrupciones en la
entrada de datos.

3 ¿Qué es la "Vuelta atras"?

Una vez encontrado el error revisamos de forma manual el código, esta
opción es viable si el software no es muy grande.

4 Es un método no recomendado en la depuración.

La fuerza Bruta.

¿Qué tipos de verificación existen?

5
Test Corto, Test Largo y Test de aceptación.
6 Es una pregunta esencial que debe de hacerse en el RTF.
¿Se inicializan todas las variables antes de que se utilicen sus valores?

¿A que nos lleva la validación, verificación y depuración?

7 nos van a llevar
Un seguimiento de errores, para realizar la planificación y control que esto
implica.

8 Que técnica anteriormente mencionada se utiliza para la verificación?

RTF.

¿En que consiste la técnica de inspección de software RTF?

9 Consiste en analizar las representaciones para encontrar problemas esta es una técnica del tipo estático,
porque no es necesario ejecutar el código.

10 ¿Cuándo Inicia un proceso?

El proceso inicia cuando obtenemos los resultados de las pruebas ejecutadas.
Gracias por su atención