Control de calidad de software

Comienza Ya. Es Gratis
ó regístrate con tu dirección de correo electrónico
Control de calidad de software por Mind Map: Control de calidad de software

1. Controles estáticos

1.1. Controles estáticos manuales informales

1.1.1. Realizadas por autores

1.1.1.1. De objetos a comprobar

1.1.1.2. Personas de su misma categoría y ocupación

1.1.2. Comprobación de escritorio

1.1.2.1. Examinar a mano e individualmente

1.1.2.2. Método más tradicional

1.1.2.2.1. Para analizar un programa

1.1.2.3. Se aplica a

1.1.2.3.1. Requisitos

1.1.2.3.2. Especificaciones de diseño

1.1.2.3.3. Código se va desarrollando

1.1.2.4. Cuidadoso y concienzudo

1.1.3. Revisión por pares o iguales

1.1.3.1. Revisión del código

1.1.3.1.1. Por otros programadores

1.1.3.1.2. Periódicamente

1.2. Controles estáticos manuales disciplinados

1.2.1. Evolución natural de la comprobación de escritorio

1.2.2. Conseguir que la responsabilidad de control de calidad no recaiga sólo sobre el desarrollador

1.2.3. Auditorías

1.2.3.1. Realizar una investigación

1.2.3.2. Tipos

1.2.3.2.1. Del producto

1.2.3.2.2. Del proceso

1.2.3.2.3. Del sistema de calidad

1.2.3.3. Procedimiento

1.2.3.3.1. Planificación

1.2.3.3.2. Llevar a cabo la investigación

1.2.3.3.3. Analizar los datos recogidos

1.2.3.3.4. Sugerir soluciones a problemas encontrados y posibles mejoras

1.2.3.3.5. Elaborar y presentar un informe de resultados

1.2.4. Revisiones

1.2.4.1. Ofrecer a los gestores información fiable acerca de aspectos técnicos

1.2.4.2. Tipos

1.2.4.2.1. Inspecciones

1.2.4.2.2. Walkthrough

1.3. Controles estáticos automáticos

1.3.1. Análisis automático y verificación formal de programas

1.3.2. Análisis de flujo

1.3.2.1. Representación gráfica

1.3.2.2. Usan grafos

1.3.2.2.1. Representan

1.3.2.3. Clasificación de variables

1.3.2.3.1. Referenciadas

1.3.2.3.2. Definidas

1.3.2.3.3. No referenciadas

1.3.3. Ejecución simbólica

1.3.3.1. Ejecución simbólica

1.3.3.2. Expresiones simbólicas compuestas por nombres de variables

1.3.3.3. Resultado de una ejecución

1.3.3.3.1. Expresión larga y compleja

1.3.3.3.2. Generar casos de prueba

1.3.4. Verificación formal

1.3.4.1. Demostrar matemáticamente la corrección de un programa respecto a sus especificaciones

1.3.4.2. Usada en sistemas críticos debido al coste

2. Controles dinámicos

2.1. Métodos de caja negra

2.1.1. Se basa en el conocimiento acerca de la funcionalidad deseada

2.1.2. También llamada

2.1.2.1. Prueba funcional

2.1.2.2. Prueba orientada al diseño

2.1.3. Métodos de selección del conjunto de casos de prueba más usuales

2.1.3.1. Método de clases de equivalencia

2.1.3.2. Análisis de valores frontera o valores límite

2.1.3.3. Grafos causa/efecto y tablas de decisión

2.1.3.4. Adivinación de errores

2.2. Métodos de caja blanca o caja transparente

2.2.1. La elección de casos de prueba se basa en el conocimiento que se tiene acerca de la estructura del objeto

2.2.2. También llamada

2.2.2.1. Prueba estructural

2.2.3. Clasificar

2.2.3.1. Basados en métricas de cobertura

2.2.3.1.1. Grafo de flujo de control

2.2.3.1.2. Cada nodo es una sentencia

2.2.3.1.3. Arcos representan el flujo de control

2.2.3.2. Basados en métricas de complejidad

2.2.3.2.1. Métricas más utilizadas son de MacCabe

2.3. Metodología de prueba

2.3.1. Actividades estándar de prueba

2.3.1.1. Planificación de la prueba

2.3.1.2. Diseño de la prueba

2.3.1.3. Determinación de los casos de prueba

2.3.1.4. Planificación del procedimiento de prueba

2.3.1.5. Ejecución de la prueba

2.3.1.6. Análisis y evaluación de la prueba

2.3.2. Salidas estándar asociadas

2.3.2.1. Plan de pruebas

2.3.2.2. Documento de diseño de la prueba

2.3.2.3. Especificación de los casos de prueba

2.3.2.4. Especificación del procedimiento de prueba

2.3.2.5. Informe de los casos de prueba

2.3.2.6. Informe de la prueba