Está en la página 1de 109

PRUEBAS,

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

A diferencia del Testing Estático (donde el objeto de test no


se ejecuta), en el Testing Dinámico parte del testeo
involucra la ejecución del objeto de test.
Pruebas, Verificación y Validación de Software
Testing Dinámico
Dynamic Testing

El Testing Dinámico se puede dividir en cuatro categorías,


con varias zonas grises en el medio.
Caja Negra
Caja Blanca
Basado en Experiencia
Basado en Defectos
Análisis Dinámico
Pruebas, Verificación y Validación de Software
Testing Dinámico
Dynamic Testing

El Testing Dinámico se puede dividir en cuatro categorías,


con varias zonas grises en el medio.
Caja Negra También llamada “Basada en Especificación. El testing
se hace en base al comportamiento del sistema, sin
Caja Blanca tomar en cuenta los detalles de implementación para
generar los casos de test.
Basado en Experiencia
Basado en Defectos
Análisis Dinámico
Pruebas, Verificación y Validación de Software
Testing Dinámico
Dynamic Testing

Hay dos conceptos muy importantes que vamos a

• encontrar a partir de ahora:


• Modelo
• ¿Cómo generamos los casos de test?

• 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

Se testean varios grupos los cuales se esperan que sean


manejados de igual forma por el sistema.

Una vez identificadas las clases se pueden derivar datos de


ellas para así generar los 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

CT1 CT2 CT3


E1

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

Producto HEL LOC RM HEL LOC RM HEL

C.C? Yes No No Si No No No

C.C. Num Válida Vacío Vacío Inválida Algo Vacío Vacío

C.A.? No Si No No No Si No

C.A. Num Vacío Válida Vacío Vacío Vacío Inválida Algo

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

Además de chequear todas las características incluídas en


Partición de Equivalencias, ahora chequeamos si los límites de
las clases están ubicados correctamente.

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

Seleccionar Tamaño de Fuente.


Partición mediante método de entrada.

Clase 2: Ingresado Manualmente


Hay clases inválidas

Clase 2.X: Ingresa un No Entero


Clase 2.Y: Ingresa un Entero no Positivo
Clase válida

Clase 2.Z: Ingresa Entero Positivo


Pruebas, Verificación y Validación de Software
Tablas de Decisiones
Decision Tables

Aplicable a situaciones de transacciones, donde puede


aplicar reglas de negocios.

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?

¿Dentro de los límites?

¿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

¿Dentro de los límites? Y Y N N Y Y N N Y Y N N Y Y 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

¿Dentro de los límites? Y Y N N Y Y N N Y Y N N Y Y 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

¿Dentro de los límites? Y Y N N Y Y N N Y Y N N Y Y 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 -

¿Dentro de los límites? Y Y N N Y Y 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

El modelo que se aplica es el de una tabla o grafo


booleano. En cualquiera de los casos, el modelo combina
condiciones con acciones.
Pruebas, Verificación y Validación de Software
Tablas de Decisiones
Decision Tables

¿Qué estamos buscando? Estamos viendo que


efectivamente las condiciones dadas den lugar a las
acciones correspondientes.
Pruebas, Verificación y Validación de Software
Testing de Caja Negra
Black box Testing
Pruebas, Verificación y Validación de Software
Grafos Causa-Efecto
Cause-Effect Graphs
Pruebas, Verificación y Validación de Software
Grafos Causa-Efecto
Cause-Effect Graphs

En lugar de una tabla, se puede usar un grafo como modelo. A


esto se lo llama, Grafo de Causa y Efecto.
Pruebas, Verificación y Validación de Software
Grafos Causa-Efecto
Cause-Effect Graphs

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)

Un caso de uso es una descripción de los pasos o las


actividades que deberán realizarse para llevar a cabo algún
proceso. Involucran actores.
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)
Pruebas, Verificación y Validación de Software

Casos de Uso
(Uses Cases)

El modelo es la secuencia de pasos descrita en el caso de


uso. El criterio de cubrimiento es: Por lo menos un caso de
test por cada caso de uso.
Diagrama de Transiciones de Estados
State Transition Diagrams
Pruebas, Verificación y Validación de Software
Diagrama de Transiciones de Estados
State Transition Diagrams

En algunos casos, la secuencia de eventos que ocurren en un


sistema, las condiciones que aplican sobre los mismos y las
formas de manejar esos eventos/condiciones dependen de
eventos/condiciones que ocurrieron en el pasado.

Lo que pasó antes determina lo que pasará ahora


Pruebas, Verificación y Validación de Software
Diagrama de Transiciones de Estados
State Transition Diagrams

La metodología de “Diagrama de Transiciones de Estados” nos


permite testear estos sistemas. El modelo base es una tabla o
diagrama de transición de estados (grafo). El modelo conecta
estados iniciales con estados finales a través de eventos,
condiciones y estados intermedios.
Pruebas, Verificación y Validación de Software
Diagrama de Transiciones de Estados
State Transition Diagrams

Los criterios de cubrimiento se definen a partir de cómo


visitamos los estados y las transiciones (o sea, cómo recorremos
el grafo).
Pruebas, Verificación y Validación de Software
Diagrama de Transiciones de Estados
State Transition Diagrams

Los criterios de cubrimiento se definen a partir de cómo


visitamos los estados y las transiciones (o sea, cómo recorremos
el grafo).

Criterio 1: Suficientes test como para cubrir cada estado y


transición en el diagrama de transiciones.
Criterio 2: Suficientes test como para cubrir cada fila en la tabla de
transición.
Pruebas, Verificación y Validación de Software
Diagrama de Transiciones de Estados
State Transition Diagrams

¿Qué estamos buscando? Buscamos situaciones en donde se


ejecute la transición equivocada o se llegue al estado
equivocado a partir de una secuencia de eventos y condiciones.
Pruebas, Verificación y Validación de Software
Diagrama de Transiciones de Estados
State Transition Diagrams
Pruebas, Verificación y Validación de Software
Diagrama de Transiciones de Estados
State Transition Diagrams
Pruebas, Verificación y Validación de Software
Diagrama de Transiciones de Estados
State Transition Diagrams
Pruebas, Verificación y Validación de Software
Diagrama de Transiciones de Estados
State Transition Diagrams
Pruebas, Verificación y Validación de Software
Diagrama de Transiciones de Estados
State Transition Diagrams

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

Los criterios de cubrimiento se definen a partir de cómo


visitamos los estados y las transiciones (o sea, cómo recorremos
el grafo).
Criterio 1: Suficientes test como para cubrir cada estado y transición en el
diagrama de transiciones.
Criterio 2: Suficientes test como para cubrir cada fila en la tabla de
transición.
Pruebas, Verificación y Validación de Software
Diagrama de Transiciones de Estados
State Transition Diagrams

Los criterios de cubrimiento se definen a partir de cómo


visitamos los estados y las transiciones (o sea, cómo recorremos
el grafo).
Criterio 1: Suficientes test como para cubrir cada estado y transición en el
diagrama de transiciones.
Criterio 2: Suficientes test como para cubrir cada fila en la tabla de
transición.
Criterio 3: Por lo menos un test cubre cada secuencia de transiciones de
longitud N o menos (N-1 switch coverage)
Pruebas, Verificación y Validación de Software
Diagrama de Transiciones de Estados
State Transition Diagrams
Pruebas, Verificación y Validación de Software
Diagrama de Transiciones de Estados
State Transition Diagrams
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

A1 A2 A9 A1A1 A1A2 A1A9 A9B10 A9B8 A9B3

B10 B8 B3 B10C14 B10C11 B10C4 B9A1 B8A2 B8A9

C14 C11 C4 C14C14 C14C11 C14C4 C11D13 C11D12 C11D5

D13 D12 D5 D13D13 D13D12 D13D5 D12F6 D12F7

F6 F7 F7A1 F7A2 F7A9


Pruebas, Verificación y Validación de Software
Diagrama de Transiciones de Estados
State Transition Diagrams

0-switch 1-switch

A1 A2 A9 A1A1 A1A2 A1A9 A9B10 A9B8 A9B3

B10 B8 B3 B10C14 B10C11 B10C4 B9A1 B8A2 B8A9

C14 C11 C4 C14C14 C14C11 C14C4 C11D13 C11D12 C11D5

D13 D12 D5 D13D13 D13D12 D13D5 D12F6 D12F7

F6 F7 F7A1 F7A2 F7A9

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

A1 A2 A9 A1A1 A1A2 A1A9 A9B10 A9B8 A9B3

B10 B8 B3 B10C14 B10C11 B10C4 B9A1 B8A2 B8A9

C14 C11 C4 C14C14 C14C11 C14C4 C11D13 C11D12 C11D5

D13 D12 D5 D13D13 D13D12 D13D5 D12F6 D12F7

F6 F7 F7A1 F7A2 F7A9

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

A1 A2 A9 A1A1 A1A2 A1A9 A9B10 A9B8 A9B3

B10 B8 B3 B10C14 B10C11 B10C4 B9A1 B8A2 B8A9

C14 C11 C4 C14C14 C14C11 C14C4 C11D13 C11D12 C11D5

D13 D12 D5 D13D13 D13D12 D13D5 D12F6 D12F7

F6 F7 F7A1 F7A2 F7A9


Pruebas, Verificación y Validación de Software
Diagrama de Transiciones de Estados
State Transition Diagrams

0-switch 1-switch

A1 A2 A9 A1A1 A1A2 A1A9 A9B10 A9B8 A9B3

B10 B8 B3 B10C14 B10C11 B10C4 B9A1 B8A2 B8A9

C14 C11 C4 C14C14 C14C11 C14C4 C11D13 C11D12 C11D5

D13 D12 D5 D13D13 D13D12 D13D5 D12F6 D12F7

F6 F7 F7A1 F7A2 F7A9

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

Tabla de Transición de Estados


(State Transition Tables)

La tabla fuerza a considerar combinaciones que de otra


forma no se hubiesen considerado.
Pruebas, Verificación y Validación de Software

Tabla de Transición de Estados


(State Transition Tables)

La tabla fuerza a considerar combinaciones que de otra


forma no se hubiesen considerado.

Estado Actual Evento/Condición Acción Nuevo Estado


Pruebas, Verificación y Validación de Software

Tabla de Transición de Estados


(State Transition Tables)

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

Tabla de Transición de Estados


(State Transition Tables)

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

Estado Actual Evento/Condición Acción Nuevo Estado

Browsing Click link Display Browsing

Browsing Add to cart Selection Dialog Selecting

Browsing Continue Shopping Undefined Undefined

Browsing Check out Undefined Undefined

Browsing Login[bad] Undefined Undefined

Browsing Login[good] Undefined Undefined

Browsing Purchase[bad] Undefined Undefined

Browsing Purchase[good] Undefined Undefined

Browsing Abandon <no action> Left

Browsing Resume Shopping Undefined Undefined

Browsing Go elsewhere Undefined Undefined

Selecting Click link Undefined Undefined


Pruebas, Verificación y Validación de Software

Estado Actual Evento/Condición Acción Nuevo Estado

Browsing Click link Display Browsing

Browsing Add to cart Selection Dialog Selecting

Browsing Continue Shopping Undefined Undefined

Browsing Check out Undefined Undefined

Browsing Login[bad] Undefined Undefined

Browsing Login[good] Undefined Undefined

Browsing Purchase[bad] Undefined Undefined

Browsing Purchase[good] Undefined Undefined

Browsing Abandon <no action> Left

Browsing Resume Shopping Undefined Undefined

Browsing Go elsewhere Undefined Undefined

Selecting Click link Undefined Undefined


Pairwise Testing
Pairwise Testing
Pruebas, Verificación y Validación de Software
Pairwise Testing
Pairwise Testing
Pruebas, Verificación y Validación de Software
Pairwise Testing
Pairwise Testing
Pruebas, Verificación y Validación de Software
Pairwise Testing
Pairwise Testing

Esta metodología se basa en la hipótesis de que, si hay


algún problema en la plataforma es por la combinación de
2 elementos (el par) de todos los elementos involucrados.
Pruebas, Verificación y Validación de Software
Pairwise Testing
Pairwise Testing

Se generan casos de test tal que, cada opción está


representada en por lo menos un test. Cada par de
opciones está representada en por lo menos un test.
Pruebas, Verificación y Validación de Software
Pairwise Testing
Pairwise Testing

Cada opción y par de opciones tiene una presencia


proporcionalmente igual con las demás opciones y pares
de opciones.
Pruebas, Verificación y Validación de Software
Pairwise Testing
Pairwise Testing

El modelo utilizado es el de arreglo ortogonal. El arreglo


funciona como una tabla y se lee por filas. El criterio de
cubrimiento es, cada fila es un caso de test, ejecutar cada
caso de test.
Pruebas, Verificación y Validación de Software
Pairwise Testing
Pairwise Testing

Factor 1 (Opción 0 o 1) Factor 2 (Opción 0 o 1)

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

Factor 1 (Opción 0 o 1) Factor 2 (Opción 0 o 1) Factor 3 (Opción 0 o 1)


Pruebas, Verificación y Validación de Software
Pairwise Testing
Pairwise Testing

Factor 1 (Opción 0 o 1) Factor 2 (Opción 0 o 1) Factor 3 (Opción 0 o 1)

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

“An initial value and a length define a range of values.


Determine if a given value is within the defined range or not.
Only integer numbers are to be considered”
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

Árboles de Clasificación
Classification Trees

Los casos de test se generan combinando las hojas


del árbol
Pruebas, Verificación y Validación de Software

Árboles de Clasificación
Classification Trees

Los casos de test se generan combinando las hojas


del árbol
Pruebas, Verificación y Validación de Software

Árboles de Clasificación
(Classification Trees)

Testeo de factores que tienen dependencia y testeo más


profundo de ciertas combinaciones sobre otras.
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

Á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

Aplicable a situaciones de transacciones, donde puede


aplicar reglas de negocios.

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

¿Dentro de los límites? Y Y N N Y Y N N Y Y N N Y Y 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

Los criterios de cubrimiento se definen a partir de cómo


visitamos los estados y las transiciones (o sea, cómo recorremos
el grafo).
Criterio 1: Suficientes test como para cubrir cada estado y transición en el
diagrama de transiciones.
Criterio 2: Suficientes test como para cubrir cada fila en la tabla de
transición.
Criterio 3: Por lo menos un test cubre cada secuencia de transiciones de
longitud N o menos (N-1 switch coverage)
RESUMEN
Diagrama de Transiciones de Estados
State Transition Diagrams

0-switch 1-switch

A1 A2 A9 A1A1 A1A2 A1A9 A9B10 A9B8 A9B3

B10 B8 B3 B10C14 B10C11 B10C4 B9A1 B8A2 B8A9

C14 C11 C4 C14C14 C14C11 C14C4 C11D13 C11D12 C11D5

D13 D12 D5 D13D13 D13D12 D13D5 D12F6 D12F7

F6 F7 F7A1 F7A2 F7A9

A1A1A2
A9B8A1A9B8A2
A9B10C14C14C4
A9B10C11S12D13D5
A9B10C11D12F7A1A9B10C11S12F7A9
RESUMEN

Tabla de Transición de Estados


(State Transition Tables)

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