Este documento clasifica y describe varias técnicas de prueba de software. Describe técnicas basadas en la intuición y experiencia como pruebas ad hoc y de exploración. También describe técnicas basadas en especificaciones como particiones de equivalencia, análisis de valores límite y pruebas de robustez. Además, clasifica técnicas basadas en el código, errores, estadísticas y uso. Explica brevemente cada categoría y algunas técnicas específicas como pruebas de mutación, de sala limpia