Show Menu
Cheatography

Técnicas de Validadción y Verificación Cheat Sheet (DRAFT) by

Cheatsheet "definitivo" sobre técnicas de validación y verificación.

This is a draft cheat sheet. It is a work in progress and is not finished yet.

Leyenda

Primera columna
Técnicas de Verifi­cación
Segunda y tercera columna
Técnicas de Validación

Walkth­rough

Revisión informal de documentos o código con el equipo
Fases
En todo el CVDS
Fortalezas
Retroa­lim­ent­ación rápida, útil para compartir conoci­miento
Debili­dades
Poco formal y depende de la experi­encia del equipo

Code inspec­tions

Detectar errores y mejorar la calidad mediante revisiones detalladas del código
Fases
Codifi­cación
Fortalezas
Alta precisión para encontrar defectos
Debili­dades
Requiere tiempo extra y planif­icación

Reviews

Inspección sistem­ática del software
Fases
Primeras etapas del CVDS
Fortalezas
Reduce el costo de manten­imiento del software
Debili­dades
Puede ser costosa y depende de la dispon­ibi­lidad del equipo

Formal Proofs

Justificar que un programa cumpla una especi­fic­ación formal de su compor­tam­iento
Fases
Diseño y codifi­cación
Fortalezas
Mejor docume­ntación y compre­nsión
Debili­dades
No siempre viables para todos los proyectos

Simulation and protot­yping

Es una técnica que consiste en construir versiones para analizar diseños de producto candidatos
Fases
Diseño
Fortalezas
Feedback temprano de las opciones de diseño
Debili­dades
Puede requerirse mucho recursos para analizar cada opción
 

Black Box Testing

Evaluar la funcio­nalidad sin ver el código
Fases
Fase de pruebas funcio­nales
Fortalezas
No requiere conoci­miento interno del sistema
Debili­dades
No detecta problemas estruc­turales

White Box Testing

Evaluar la estructura interna del código
Fases
Fase de pruebas de unidad y de integr­ación
Fortalezas
Permite identi­ficar errores internos y optimizar el código
Debili­dades
Requiere acceso al código y conoci­mientos técnicos avanzados

Heuristic Testing

Detectar fallos usando la experi­encia y el conoci­miento del sistema
Fases
Fase de pruebas de sistema
Fortalezas
Útil para identi­ficar problemas difíciles de prever
Debili­dades
Depende de la habilidad del probador

Interface Testing

Validar la intera­cción entre módulos o sistemas
Fases
Fase de pruebas de integr­ación
Fortalezas
Asegura la correcta intera­cción de compon­entes
Debili­dades
Puede ser difícil simular todos los escenarios de interfaz

Equiva­lence Class Partit­ioning

Divide los datos de entrada en clases que se consideran equiva­lentes
Fases
Pruebas de sistema
Fortalezas
Reduce casos de prueba
Debili­dades
Omite errores fuera de clases

Boundary Value Analysis

Prueba los valores en los límites de los rangos de entrada
Fases
Pruebas de sistema
Fortalezas
Detecta errores en límites de entrada
Debili­dades
No cubre casos interm­edios
 

Decision Table-­Based Testing

Usa tablas para repres­entar combin­aciones de condic­iones y acciones
Fases
Diseño de pruebas, pruebas de requisitos
Fortalezas
Maneja lógica compleja
Debili­dades
Tablas grandes difíciles de gestionar

Cause Effect Graphing

Crea un grafo para mostrar relaciones lógicas entre condic­iones y efectos
Fases
Análisis y diseño de pruebas
Fortalezas
Visualiza condic­iones y efectos
Debili­dades
Difícil con requisitos ambiguos

DD Path Testing

Usado para diseñar casos de prueba basados en rutas de ejecución indepe­ndi­ent­es(­flujo del programa)
Fases
Requer­imi­entos y diseño
Fortalezas
Propor­ciona una cobertura completa de las ramas
Debili­dades
No logra cubrir todas las rutas posibles del grafo del flujo de control

Data Flow Testing

Analiza como las variables son definidas y usadas a lo largo del funcio­nam­iento de un programa.
Fases
Pruebas
Fortalezas
Detección precisa de errores lógicos
Debili­dades
Limitada debido a que no detecta todo t­ipo­ de­ er­rores

References

G. R. Maquieira, “Qué es black box testing o pruebas de caja negra”, Openwe­bin­ars.net, 06-ene­-2023.
G. Sharma, “Data Flow Testing,” Geeksf­orG­eeks, Aug. 14, 2023. [Online]. Available: https:­//w­ww.g­ee­ksf­org­eek­s.o­rg/­dat­a-f­low­-te­sting/
S. Sharma, “Path Testing in Software Engine­ering,” Geeksf­orG­eeks, Jul. 20, 2023. [Online]. Available: https:­//w­ww.g­ee­ksf­org­eek­s.o­rg/­pat­h-t­est­ing­-in­-so­ftw­are­-en­gin­eering/
TryQA, “What is Verifi­cation in Software Testing (or) What is Software Verifi­cat­ion?,” TryQA.com. [Online]. Available: https:­//t­ryq­a.c­om/­wha­t-i­s-v­eri­fic­ati­on-­in-­sof­twa­re-­tes­tin­g-o­r-w­hat­-is­-so­ftw­are­-ve­rif­ica­tion/
ChipVe­rify, “Verif­ication Techni­ques,” ChipVe­rif­y.com. [Online]. Available: https:­//w­ww.c­hi­pve­rif­y.c­om/­ver­ifi­cat­ion­/ve­rif­ica­tio­n-t­ech­niques
S. K. Chopra, Software Quality Assurance: Principles and Practice, 1st ed. New Delhi, India: Katson Publis­hin­g H­ous­e, ­2018.