Generador de casos de prueba MC/DC

Herramienta MC/DC gratuita (Modified Condition/Decision Coverage). Introduce una decisión booleana como A && (B || C) para obtener la tabla de verdad completa, los pares de independencia de causa única para cada condición y un conjunto mínimo de casos de prueba que satisface MC/DC — ideal para DO-178C e ISO 26262.