Par de independencia: definición, ejemplo y equivalente en inglés
Un par de independencia para una condición son dos casos de prueba que difieren solo en el valor de esa condición y producen decisiones distintas. Es la evidencia que exige MC/DC de que la condición importa por sí sola.
Para una condición c de una decisión, un par de independencia es un par de asignaciones admisibles idénticas salvo en c, una que hace verdadera la decisión y otra que la hace falsa. Si ese par existe, c puede afectar al resultado; si no existe, c es irrelevante para la decisión, normalmente un error en la regla. Como los dos casos comparten todos los demás valores, el cambio de resultado se atribuye solo a c. El motor busca ese par en la tabla de verdad para cada entrada y lo informa, o informa de que no existe.
El artefacto de esta página es (member OR invited) AND NOT banned, verdadera en las filas 2, 4 y 6. Las dos asignaciones de las comprobaciones forman un par de independencia para invited: el contraejemplo de tautología member = FALSE, invited = FALSE, banned = FALSE, donde la decisión es FALSE, y el testigo de satisfacible member = FALSE, invited = TRUE, banned = FALSE, donde es TRUE. Solo invited cambia entre ellos. Un par para banned debe mantener verdadero member OR invited, y un par para member debe mantener falso invited, o el otro disyunto enmascara el cambio.
Los pares de independencia son la manera de construir conjuntos de prueba MC/DC y de encontrar condiciones muertas al revisar: una entrada sin par no puede cambiar el resultado, diga lo que diga la regla en prosa. Bajo supuestos, los dos casos de un par deben ser admisibles, lo que puede eliminar pares que la tabla sin restricciones ofrecería. El término se confunde con un par de pruebas que solo difieren en una entrada (los resultados también deben diferir) y con los dos resultados de una decisión, que no tienen por qué venir de casos relacionados.
Ejemplo
allow := (member OR invited) AND NOT banned · salida
Comprobaciones exactas
Tabla de verdad (8 filas)
| # | member | invited | banned | allow |
|---|---|---|---|---|
| 0 | FALSO | FALSO | FALSO | FALSO |
| 1 | FALSO | FALSO | VERDADERO | FALSO |
| 2 | FALSO | VERDADERO | FALSO | VERDADERO |
| 3 | FALSO | VERDADERO | VERDADERO | FALSO |
| 4 | VERDADERO | FALSO | FALSO | VERDADERO |
| 5 | VERDADERO | FALSO | VERDADERO | FALSO |
| 6 | VERDADERO | VERDADERO | FALSO | VERDADERO |
| 7 | VERDADERO | VERDADERO | VERDADERO | FALSO |
Lectura en lenguaje claro
Principianteallow es verdadero exactamente cuando se cumplen las dos condiciones siguientes:
1. al menos uno entre member e invited es verdadero (pueden serlo ambos)
2. banned es falso
En todos los demás casos, allow es falso.
Sobre los operadores:
- AND (Y) solo es verdadero cuando todas sus partes son verdaderas.
- OR (O) es inclusivo: es verdadero en cuanto al menos una parte es verdadera, también cuando lo son varias.
- NOT (NO) invierte un valor: lo verdadero pasa a ser falso y lo falso, verdadero.
Intermedioallow es verdadero exactamente cuando se cumplen las dos condiciones siguientes:
1. al menos uno entre member e invited es verdadero (pueden serlo ambos)
2. banned es falso
En todos los demás casos, allow es falso.
Avanzadoallow es verdadero exactamente cuando se cumplen las dos condiciones siguientes [conjunción ∧]:
1. al menos uno entre member e invited es verdadero (pueden serlo ambos) [disyunción inclusiva ∨]
2. banned es falso [negación ¬]
En todos los demás casos, allow es falso.
Notación formal: (member ∨ invited) ∧ ¬banned
El error habitual
Aceptar un par cuyos resultados son iguales. Dos casos que difieren solo en banned y dan FALSE los dos no muestran nada; ocurre cuando member e invited son ambos falsos, así que el primer miembro de la conjunción enmascara a banned. Las demás condiciones deben fijarse de modo que la que se prueba pueda verse.
Preguntas
¿Qué significa que no exista par de independencia para una entrada?
Que ningún cambio admisible de esa entrada por sí sola cambia nunca la decisión. O la entrada es redundante en la regla, o los supuestos excluyen los casos en que importaría. El motor informa del estado por entrada para que pueda comprobarse la causa.
Relacionado
Véase también
- Pares de independencia MC/DC, ejemplo resuelto con el informe de cobertura del motor
- MC/DC (cobertura de condición/decisión modificada): definición, ejemplo y equivalente en inglés
- Cobertura de condición: definición, ejemplo y equivalente en inglés
- MC/DC explicado: cobertura de condición/decisión modificada para reglas booleanas
- Ejercicios de MC/DC
- Regla de entrada: (socio OR invitado) AND NOT vetado, comprobada de todas las formas
Glosario
Generado a partir del motor de Tangibool, semántica tangibool-semantics/1, motor 1.0.0, compilación . Cada tabla, mapa, simplificación y veredicto de estas páginas lo calculó el motor de Tangibool al compilar el sitio, y cada afirmación la volvió a comprobar el mismo verificador exacto que usa la app. Los límites se indican donde aplican. © 2026 Foreranger LTD.