Documentos de Académico
Documentos de Profesional
Documentos de Cultura
VERIFICACIÓN Y
VALIDACIÓN DE
SOFTWARE
INGENIERÍA DE SISTEMAS
2020-I
Pruebas, Verificación y Validación de Software
Testing Dinámico
Dynamic Testing
• Cubrimiento
• ¿Hasta cuándo vamos a estar generando casos de test?
Pruebas, Verificación y Validación de Software
Partición de Equivalencias
Equivalence Partitioning
E1
F1
E2
F2
E3
F3
f( x : Entero, y : Fecha )
Pruebas, Verificación y Validación de Software
Partición de Equivalencias
Equivalence Partitioning
E2
E3
F1
F2
F3
Pruebas, Verificación y Validación de Software
Partición de Equivalencias
Equivalence Partitioning
Entrada 1 2 3 4 5 6 7
C.C? Yes No No Si No No No
C.A.? No Si No No No Si No
Salida
Acepta Si Si Si No No No No
Error No No No Si Si Si Si
Pruebas, Verificación y Validación de Software
Análisis de Valores Límites
Boundary Value Analysis
No siempre es aplicable.
Pruebas, Verificación y Validación de Software
Análisis de Valores Límites
Boundary Value Analysis
Pruebas, Verificación y Validación de Software
Análisis de Valores Límites
Boundary Value Analysis
Pruebas, Verificación y Validación de Software
Análisis de Valores Límites
Boundary Value Analysis
Pruebas, Verificación y Validación de Software
Análisis de Valores Límites
Boundary Value Analysis
Pruebas, Verificación y Validación de Software
Análisis de Valores Límites
Boundary Value Analysis
ENTEROS
f( x : Entero )
Pruebas, Verificación y Validación de Software
Tablas de Decisiones
Decision Tables
Pruebas, Verificación y Validación de Software
Condiciones
¿Tarjeta Real?
¿Tarjeta Activa?
¿En Mercosur?
Acciones
¿Aprobar Compra?
¿Llamar al cliente?
¿Llamar al vendedor?
Pruebas, Verificación y Validación de Software
Condiciones 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
¿Tarjeta Real? Y Y Y Y Y Y Y Y N N N N N N N N
¿Tarjeta Activa? Y Y Y Y N N N N Y Y Y Y N N N N
¿En Mercosur? Y N Y N Y N Y N Y N Y N Y N Y N
Acciones
¿Aprobar Compra? Y N N N N N N N N N N N N N N N
¿Llamar al cliente? N Y Y Y N Y Y Y N N N N N N N N
¿Llamar al vendedor? N N N N Y Y Y Y Y Y Y Y Y Y Y Y
Pruebas, Verificación y Validación de Software
Condiciones 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
¿Tarjeta Real? Y Y Y Y Y Y Y Y N N N N N N N N
¿Tarjeta Activa? Y Y Y Y N N N N Y Y Y Y N N N N
¿En Mercosur? Y N Y N Y N Y N Y N Y N Y N Y N
Acciones
¿Aprobar Compra? Y N N N N N N N N N N N N N N N
¿Llamar al cliente? N Y Y Y N Y Y Y N N N N N N N N
¿Llamar al vendedor? N N N N Y Y Y Y Y Y Y Y Y Y Y Y
Pruebas, Verificación y Validación de Software
Condiciones 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
¿Tarjeta Real? Y Y Y Y Y Y Y Y N N N N N N N N
¿Tarjeta Activa? Y Y Y Y N N N N Y Y Y Y N N N N
¿En Mercosur? Y N Y N Y N Y N Y N Y N Y N Y N
Acciones
¿Aprobar Compra? Y N N N N N N N N N N N N N N N
¿Llamar al cliente? N Y Y Y N Y Y Y N N N N N N N N
¿Llamar al vendedor? N N N N Y Y Y Y Y Y Y Y Y Y Y Y
Verificación y Validación de
Software
Condiciones 1 2 3 4 5 6 7 8 9
¿Tarjeta Real? Y Y Y Y Y Y Y Y N
¿Tarjeta Activa? Y Y Y Y N N N N -
¿En Mercosur? Y N Y N Y N Y N -
Acciones
¿Aprobar Compra? Y N N N N N N N N
¿Llamar al cliente? N Y Y Y N Y Y Y N
¿Llamar al vendedor? N N N N Y Y Y Y Y
Pruebas, Verificación y Validación de Software
Tablas de Decisiones
Decision Tables
A B
A implica B
A B
No A implica B
Pruebas, Verificación y Validación de Software
Grafos Causa-Efecto
Cause-Effect Graphs
A1
B
A2 A1 o A2 implica B
Pruebas, Verificación y Validación de Software
Grafos Causa-Efecto
Cause-Effect Graphs
A1
B
A2
A1 y A2 implica B
Pruebas, Verificación y Validación de Software
Grafos Causa-Efecto
Cause-Effect Graphs
Real Aprobar
Activa
Vendedor
Límite
Mercosur Cliente
Pruebas, Verificación y Validación de Software
Casos de Uso
Use Cases
Pruebas, Verificación y Validación de Software
Casos de Uso
(Uses Cases)
Casos de Uso
(Uses Cases)
Pruebas, Verificación y Validación de Software
Casos de Uso
(Uses Cases)
Pruebas, Verificación y Validación de Software
Casos de Uso
(Uses Cases)
Pruebas, Verificación y Validación de Software
Casos de Uso
(Uses Cases)
http://www.uml-diagrams.org/state-machine-diagrams.html
Pruebas, Verificación y Validación de Software
Diagrama de Transiciones de Estados
State Transition Diagrams
0-switch
A1 A2 A9
B10 B8 B3
C14 C11 C4
D13 D12 D5
F6 F7
Pruebas, Verificación y Validación de Software
Diagrama de Transiciones de Estados
State Transition Diagrams
0-switch 1-switch
0-switch 1-switch
browsing, click link, display, add to cart, selection dialog, continue shopping, display, add to cart, selection
dialog, checkout, login dialog, login[bad], error, login[good], purchase dialog, purchase[bad], error,
purchase[good], confirmation, resume shopping, display, abandon, left
Pruebas, Verificación y Validación de Software
Diagrama de Transiciones de Estados
State Transition Diagrams
0-switch 1-switch
browsing, click link, display, add to cart, selection dialog, continue shopping, display, add to cart, selection
dialog, checkout, login dialog, login[bad], error, login[good], purchase dialog, purchase[bad], error,
purchase[good], confirmation, resume shopping, display, abandon, left
Pruebas, Verificación y Validación de Software
Diagrama de Transiciones de Estados
State Transition Diagrams
0-switch 1-switch
0-switch 1-switch
A1A1A2
A9B8A1A9B8A2
A9B10C14C14C4
A9B10C11S12D13D5
A9B10C11D12F7A1A9B10C11S12F7A9
Pruebas, Verificación y Validación de Software
Tablas de Transiciones de Estados
State Transition Tables
Pruebas, Verificación y Validación de Software
Click link
Add to cart
Browsing Continue shopping
Selecting Login[bad]
Logging Login[good]
Purchasing Purchase[bad]
Confirmed Purchase[good]
Left Abandon
Resume shopping
Go elsewhere
Pruebas, Verificación y Validación de Software
Click link
Add to cart
Browsing Continue shopping
Selecting Login[bad]
Logging Login[good]
Purchasing X
Purchase[bad]
Confirmed Purchase[good]
Left Abandon
Resume shopping
Go elsewhere
Pruebas, Verificación y Validación de Software
Test 1 0 0
Test 2 0 1
Test 3 1 0
Test 4 1 1
Pruebas, Verificación y Validación de Software
Pairwise Testing
Pairwise Testing
Test 1 0 0 0
Test 2 0 1 1
Test 3 1 0 1
Test 4 1 1 0
Pruebas, Verificación y Validación de Software
Arreglo Ortogonal
Orthogonal Array
Pruebas, Verificación y Validación de Software
Arreglo Ortogonal
Orthogonal Array
Pruebas, Verificación y Validación de Software
Arreglo Ortogonal
Orthogonal Array
http://www.pairwise.org/tools.asp
Pruebas, Verificación y Validación de Software
Arreglo Ortogonal
Orthogonal Array
http://alarcosj.esi.uclm.es/CombTestWeb/combinatorial.jsp
Pruebas, Verificación y Validación de Software
Árboles de Clasificación
Classification Trees
Pruebas, Verificación y Validación de Software
Árboles de Clasificación
Classification Trees
Árboles de Clasificación
Classification Trees
Pruebas, Verificación y Validación de Software
Árboles de Clasificación
Classification Trees
Pruebas, Verificación y Validación de Software
Árboles de Clasificación
Classification Trees
Pruebas, Verificación y Validación de Software
Árboles de Clasificación
Classification Trees
Árboles de Clasificación
Classification Trees
Árboles de Clasificación
(Classification Trees)
Árboles de Clasificación
Classification Trees
Pruebas, Verificación y Validación de Software
Árboles de Clasificación
Classification Trees
Pruebas, Verificación y Validación de Software
Árboles de Clasificación
Classification Trees
Pruebas, Verificación y Validación de Software
Árboles de Clasificación
Classification Trees
Pruebas, Verificación y Validación de Software
Pruebas, Verificación y Validación de Software
Pruebas, Verificación y Validación de Software
RESUMEN
RESUMEN
Tablas de Decisiones
Decision Tables
ENTEROS
f( x : Entero )
RESUMEN
Condiciones 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
¿Tarjeta Real? Y Y Y Y Y Y Y Y N N N N N N N N
¿Tarjeta Activa? Y Y Y Y N N N N Y Y Y Y N N N N
¿En Mercosur? Y N Y N Y N Y N Y N Y N Y N Y N
Acciones
¿Aprobar Compra? Y N N N N N N N N N N N N N N N
¿Llamar al cliente? N Y Y Y N Y Y Y N N N N N N N N
¿Llamar al vendedor? N N N N Y Y Y Y Y Y Y Y Y Y Y Y
RESUMEN
Grafos Causa-Efecto
Cause-Effect Graphs
Real Aprobar
Activa
Vendedor
Límite
Mercosur Cliente
RESUMEN
Casos de Uso
(Uses Cases)
RESUMEN
Diagrama de Transiciones de Estados
State Transition Diagrams
RESUMEN
Diagrama de Transiciones de Estados
State Transition Diagrams
0-switch 1-switch
A1A1A2
A9B8A1A9B8A2
A9B10C14C14C4
A9B10C11S12D13D5
A9B10C11D12F7A1A9B10C11S12F7A9
RESUMEN
Click link
Add to cart
Browsing Continue shopping
Selecting Login[bad]
Logging Login[good]
Purchasing X
Purchase[bad]
Confirmed Purchase[good]
Left Abandon
Resume shopping
Go elsewhere
RESUMEN
Pairwise Testing
Pairwise Testing
RESUMEN
Arreglo Ortogonal
Orthogonal Array
http://www.pairwise.org/tools.asp
Pruebas, Verificación y Validación de Software
VyV
S
Pruebas, Verificación y Validación de Software
VyV
S
Pruebas, Verificación y Validación de Software
PRUEBAS,
VERIFICACIÓN Y
VALIDACIÓN DE
SOFTWARE
INGENIERÍA DE SISTEMAS
2020-I