According to DO-178B/DO-178C, to achieve decision coverage, the typical criterion is that every decision in the source code must be shown to produce both a true outcome and a false outcome, and that execution has reached every point of entry and exit in the code. This means that decision coverage criteria assess the ability of a set of tests to adequately exercise the routes through the logic of a program. CAST-10 provides specific elaboration of the meaning of decisions within decision coverage.