Para establecer una estrategia óptima de remoción de defectos se debe conocer la efectividad y el costo de varios tipos de técnicas de remoción de defectos. Además, se debe conocer cómo varía la efectividad para cada tipo de defecto. Es decir, la técnica A1 puede ser muy buena para encontrar el tipo de defecto D1 pero no el D2. Para conocer la efectividad por tipo de defecto es necesario contar con una clasificación de los tipos de defectos. Existen diversas taxonomías de defectos de software, aquí se presenta la taxonomía de Beizer. Esta taxonomía es de interés para nuestro trabajo, conocer la efectividad de las técnicas de verificación por tipo de defecto, por ser muy detallada y completa. Beizer no explica la taxonomía en toda su extensión y existen partes de la misma que no son del todo claras. En este trabajo se busca recorrer la taxonomía y brindar explicaciones y ejemplos para cada uno de los tipos de defectos propuestos en la misma.