Para que sea más claro, construyamos un diagrama de flujo basado en la lógica descrita en el
pseudocódigo original.
if,
else if
y
else
son operadores condicionales.
Cada condición
(MINT,
CITRUS)
puede ser verdadera
(sí)
o falsa
(no)
— estos son los posibles estados de la condición.
La transición a la comprobación de la condición CITRUS ocurre solo si el estado de la condición MINT es false
(no).
Enumeremos en una tabla todas las combinaciones posibles de estados de las condiciones.
Estas son las comprobaciones que deben realizarse al usar pruebas de condiciones.
| Comprobación |
Condición MINT |
Condición CITRUS |
| 1 |
sí |
— |
| 2 |
no |
sí |
| 3 |
no |
no |