Генератор тест-кейсов MC/DC

Бесплатный инструмент MC/DC (Modified Condition/Decision Coverage). Введите булево решение, например A && (B || C), чтобы получить полную таблицу истинности, пары независимости с единственной причиной для каждого условия и минимальный набор тест-кейсов, удовлетворяющий MC/DC — идеально для DO-178C и ISO 26262.