dfgdfgddfgdfg

Pruebas estáticas de caja blanca: es el proceso que cuidadosamente y metódicamente revisa el diseño del software, la arquitectura o el código para encontrar defectos sin necesidad de ejecutar el código. Esto algunas veces se refiere a un análisis estructural.
Pruebas dinámicas de caja blanca: en estas pruebas se revisa dentro de la caja, se examina el código y se observa éste mientras seejecuta. La prueba de caja blanca dinámica, en resumidas palabras, utiliza la información que se obtiene al observar que hace el código, como trabaja, para así determinar que probar, que no probar y como aproximarse a las pruebas.
Métodos de prueba de caja blanca
Algunos de los métodos empleados en las pruebas de caja blanca son los siguientes:
Prueba del camino básico: es una técnica, la cual lepermite al diseñador de casos de prueba obtener una medida de la complejidad lógica de un diseño procedimental y usar esa medida como guía para la definición de un conjunto básico de caminos de ejecución. Los casos de prueba obtenidos del conjunto básico garantizarán que durante la prueba se ejecuta por lo menos una vez cada sentencia del programa.

Algunos elementos y conceptos utilizadosalrededor de éste método son los siguientes:
- Grafo de flujo o grafo del programa: representa el flujo de control lógico de un programa y se utiliza para trazar más fácilmente las caminos de éste. (Cada nodo representa una o más sentencias procedimentales y cada arista representa el flujo de control)
- Complejidad ciclomática: es una métrica de software que proporciona una medición cuantitativa dela complejidad lógica de un programa. Cuando se usa en el contexto de las pruebas, el cálculo de la complejidad ciclómatica representa el número de caminos independientes del conjunto básico de un programa. Esta medida ofrece al probador de software un límite superior para el número de pruebas que debe realizar para garantizar que se ejecutan por lo menos una vez cada sentencia.
- Caminoindependiente: cualquier camino del programa que introduce, por lo menos, un nuevo conjunto de sentencias de proceso o una nueva condición.

Prueba de condición: es un método de diseño de casos de prueba que ejercita las condiciones lógicas contenidas en el módulo de un programa. Algunos conceptos empleados alrededor de esta prueba son los siguientes:
Prueba del flujo de datos : selecciona caminosde prueba de un programa de acuerdo con la ubicación de las definiciones y los usos de las variables del programa.
Prueba de bucles: es una técnica que se centra exclusivamente en la validez de las construcciones de bucles (bucles simples, anidados, concatenados y no estructurados).

Tipos de cobertura
Cobertura de segmentos
Cobertura de ramas
Cobertura de condición/decisión
Cobertura debucles


La cobertura requerida suele ir creciendo con el ámbito previsto de distribución. Si un programa se distribuye y falla en algo grave puede ser necesario redistribuirlo de nuevo y urgentemente. Si hay millones de clientes dispersos por varios países, el coste puede ser brutal. En estos casos hay que exprimir la fase de pruebas para que encuentre prácticamente todos los errores sin pasarnada por alto. Esto se traduce al final en buscar coberturas más altas.

Es aún más delicado cuando entramos en aplicaciones que involucran vidas humanas (aplicaciones sanitarias, centrales nucleares, etc) Cuando un fallo se traduce en una muerte, la cobertura que se busca se acerca al 99% y además se presta atención a las decisiones atómicas.
También se suele perseguir coberturas muyelevadas (por encima del 90%) en las aplicaciones militares. Esto se debe a que normalmente van a ser utilizadas en condiciones muy adversas donde el tiempo es inestimable. Si un programa fallece, puede no haber una segunda oportunidad de arrancarlo de nuevo.





Pruebas de integración de componentes
Los tipos fundamentales de integración son los siguientes:
Integración incremental: se...