#4559 MC/DC and Cyclomatic Complexity Checking and Remediation
#4559 MC/DC and Cyclomatic Complexity Checking and Remediation #4559 Is is practical to apply an LLM for MC/DC evaluation of source code? The short answer is no, it is not practical or safe to rely on a pure LLM to perform Modified Condition/Decision Coverage (MC/DC) evaluation. While LLMs are excellent at code explanation, generating test boilerplate, or suggesting potential test cases, they are fundamentally unsuited for the rigid, deterministic boolean logic validation required by MC/DC. Here is a breakdown of why it fails practical application, where it can play a supporting role, and how to actually automate it safely. Why Pure LLMs Fail at MC/DC Evaluation MC/DC is a highly structured, mathematical criterion typically required in safety-critical systems (like DO-178C Level A in aerospace or ISO 26262 ASIL D in automotive). It requires proving that every single condition can independently affect the outcome of a decision. LLMs face critical failure modes in this domain: T...