1. Requieren
1.1. Software Comprobable
1.1.1. Implica
1.1.1.1. Operabilidad
1.1.1.2. Observabilidad
1.1.1.3. Descomponibilidad
1.1.1.4. Controlabilidad
1.1.1.5. Simplicidad
1.1.1.6. Estabilidad
1.1.1.7. Comprensibilidad
1.2. Características puntuales
1.2.1. Alta probabilidad de encontrar errores
1.2.2. Ausencia de redundancia
1.2.3. Ser la mejor de su tipo
1.2.4. Ni muy simple ni muy compleja
2. Están divididas en 2 grandes categorías
2.1. Caja Negra
2.1.1. Se dividen en
2.1.1.1. Pruebas basadas en gráficos
2.1.1.1.1. Analizan objetos y relaciones
2.1.1.1.2. Se basan en métodos
2.1.1.2. Partición de equivalencia
2.1.1.2.1. Clasifica las pruebas por tipo de entrada(char,enteros,cadenas...)
2.1.1.2.2. Aplica criterios por entrada
2.1.1.3. Pruebas de análisis de valor de frontera BVA
2.1.1.3.1. Complementa la partición de equivalencia
2.1.1.4. Pruebas de arreglo ortogonal
2.1.1.4.1. Aplicado a pruebas con un número de parámetros pequeño
2.1.1.4.2. Detecta fallos de región
2.1.1.4.3. Permite el análisis simultáneo de parámetros
2.1.1.5. Pruebas basadas en modelo
2.1.1.5.1. Se centran en forzar la transición de un estado a otro.
2.1.1.5.2. Analiza las respuestas del sistema a eventos y estímulos.
2.1.2. Detectan
2.1.2.1. Funciones incorrectas o faltantes
2.1.2.2. Errores de interfaz
2.1.2.3. Errores de comportamiento de estructuras de datos o acceso a bases de datos
2.1.2.4. Errores de rendimiento
2.1.3. Se enfocan en requisitos funcionales
2.2. Caja Blanca
2.2.1. enfocadas en lógica interna, estructuras de control
2.2.1.1. Decisiones
2.2.1.1.1. Cobertura de decisión
2.2.1.2. Rutas independientes
2.2.1.2.1. Evita la aplicación de pruebas exhaustivas
2.2.1.2.2. Está soportado en
2.2.1.3. Bucles
2.2.1.3.1. Clasificados en
2.2.1.3.2. Analiza las fronteras y puntos intermedios
2.2.1.4. Estructuras de datos
2.2.1.4.1. Está soportado en