Camino basico
Enviado por Programa Chuletas y clasificado en Otras materias
Escrito el en 
español con un tamaño de 3,68 KB
MÉTODO DEL CAMINO BÁSICO
Este método permite generar casos de prueba a través de una medida de la complejidad lógica del programa a probar. De algún modo, determina cuáles son todos los caminos posibles a la hora de ejecutar el programa.
Se tratará de crear casos de prueba que permitan ejecutar como mínimo una vez cada uno de esos caminos.
Este método utiliza un simbolismo especial que permite transformar las instrucciones de pseudocódigo de un programa, en una especie de grafo.
COMPLEJIDAD CICLOMÁTICA
Se trata de una métrica del software que nos proporciona un valor cuantitativo de la complejidad lógica de un programa.
Desde el punto de vista de la fase de pruebas, se define la complejidad Ciclomática como el número de caminos independientes dentro de todos los caminos posibles que existen en un programa.
En este método, existe una fórmula que es:
Complejidad Ciclomática = Nº Aristas - Nº Nodos + 2
Resumen del método del camino básico:
0. Obtener el algoritmo o código que deseamos probar
1. Sacar el grafo de flujo asociado a dicho código
2. Numerar las aristas de dicho grafo
3. Calcular la complejidad ciclomática (Nos dirá cuántos caminos independientes existen)
4. Averiguar cuáles son esos caminos. Especificar esos caminos con los números de aristas que hay que recorrer empezando en el nodo inicial y terminando en el nodo final del grafo.
5. Conseguir datos reales de prueba para pasar por cada uno de esos caminos (casos de prueba)
PRUEBA DE ESTRUCTURAS DE CONTROL
muchos de los errores de software provienen de las estructuras condicionales y de las estructuras iterativas. Por ese motivo, adicionalmente al método del camino básico se pueden utilizar pruebas específicas para condiciones y pruebas específicas para bucles.
PRUEBAS DE CONDICIONES
Este método de prueba revisa las condiciones que existen en sentencias del tipo if (estructura condicional o alternativa)
Esas condiciones pueden ser simples:
exp1 operador-relacional exp2
O bien pueden ser compuestas uniendo en este caso varias condiciones simples mediante operadores lógicos: and, or y not:
cond1 and cond2 or not(cond3)
La prueba de ramificaciones.- Es muy simple y únicamente, trata los dos casos posibles en una expresión lógica: que toda la condición (completa) sea true o que sea false.
La prueba de dominio.- Es más complejo y dice, que para una condición formada por n variables (condiciones simples), serán necesarios 2n casos de prueba.
PRUEBA DE BUCLES
Este método trata de comprobar el buen funcionamiento de los bucles. Cuando tratamos con estructuras iterativas o bucles,habrá que diferenciar según el tipo de bucle que estamos probando.
-Pruebas para bucles simples
-Pruebas para bucles anidados
-Pruebas para bucles concatenados
-Pruebas para bucles NO estructuradosPRUEBAS DE FLUJO DE DATOS
Con el método del camino básico, nos aseguramos que todos los caminos lógicos del programa se recorren, pero no podemos decir nada a nivel de datos.
Este método de prueba pretende controlar qué ocurre con las diferentes estructuras de datos declaradas (variables simples, matrices, etc).
Para ello, utiliza una serie de mecanismos que van trazando el recorrido de cada una de las estructuras declaradas. Se obtienen unos caminos que se debe garantizar que se recorran para demostrar que esas variables se usan. Esta prueba determinará errores del tipo: variables no usadas, incluso variables no declaradas o usos erróneos de variables
Este método permite generar casos de prueba a través de una medida de la complejidad lógica del programa a probar. De algún modo, determina cuáles son todos los caminos posibles a la hora de ejecutar el programa.
Se tratará de crear casos de prueba que permitan ejecutar como mínimo una vez cada uno de esos caminos.
Este método utiliza un simbolismo especial que permite transformar las instrucciones de pseudocódigo de un programa, en una especie de grafo.
COMPLEJIDAD CICLOMÁTICA
Se trata de una métrica del software que nos proporciona un valor cuantitativo de la complejidad lógica de un programa.
Desde el punto de vista de la fase de pruebas, se define la complejidad Ciclomática como el número de caminos independientes dentro de todos los caminos posibles que existen en un programa.
En este método, existe una fórmula que es:
Complejidad Ciclomática = Nº Aristas - Nº Nodos + 2
Resumen del método del camino básico:
0. Obtener el algoritmo o código que deseamos probar
1. Sacar el grafo de flujo asociado a dicho código
2. Numerar las aristas de dicho grafo
3. Calcular la complejidad ciclomática (Nos dirá cuántos caminos independientes existen)
4. Averiguar cuáles son esos caminos. Especificar esos caminos con los números de aristas que hay que recorrer empezando en el nodo inicial y terminando en el nodo final del grafo.
5. Conseguir datos reales de prueba para pasar por cada uno de esos caminos (casos de prueba)
PRUEBA DE ESTRUCTURAS DE CONTROL
muchos de los errores de software provienen de las estructuras condicionales y de las estructuras iterativas. Por ese motivo, adicionalmente al método del camino básico se pueden utilizar pruebas específicas para condiciones y pruebas específicas para bucles.
PRUEBAS DE CONDICIONES
Este método de prueba revisa las condiciones que existen en sentencias del tipo if (estructura condicional o alternativa)
Esas condiciones pueden ser simples:
exp1 operador-relacional exp2
O bien pueden ser compuestas uniendo en este caso varias condiciones simples mediante operadores lógicos: and, or y not:
cond1 and cond2 or not(cond3)
La prueba de ramificaciones.- Es muy simple y únicamente, trata los dos casos posibles en una expresión lógica: que toda la condición (completa) sea true o que sea false.
La prueba de dominio.- Es más complejo y dice, que para una condición formada por n variables (condiciones simples), serán necesarios 2n casos de prueba.
PRUEBA DE BUCLES
Este método trata de comprobar el buen funcionamiento de los bucles. Cuando tratamos con estructuras iterativas o bucles,habrá que diferenciar según el tipo de bucle que estamos probando.
-Pruebas para bucles simples
-Pruebas para bucles anidados
-Pruebas para bucles concatenados
-Pruebas para bucles NO estructuradosPRUEBAS DE FLUJO DE DATOS
Con el método del camino básico, nos aseguramos que todos los caminos lógicos del programa se recorren, pero no podemos decir nada a nivel de datos.
Este método de prueba pretende controlar qué ocurre con las diferentes estructuras de datos declaradas (variables simples, matrices, etc).
Para ello, utiliza una serie de mecanismos que van trazando el recorrido de cada una de las estructuras declaradas. Se obtienen unos caminos que se debe garantizar que se recorran para demostrar que esas variables se usan. Esta prueba determinará errores del tipo: variables no usadas, incluso variables no declaradas o usos erróneos de variables