МОДИФИЦИРОВАННОЕ ПОКРЫТИЕ УСЛОВИЙ/РЕШЕНИЙ

Такое выполнение программы при тестировании, при котором каждая точка входа и выхода программы должна быть вызвана хотя бы один раз; каждое условие в решении программы должно быть выполнено со всеми возможными результатами хотя бы один раз; все результаты каждого решения должны быть выполнены хотя бы один раз, и для каждого условия в решении должно быть показано его независимое влияние на результат решения. Независимость влияния условия на результат решения демонстрируют путем рассмотрения всех возможных комбинаций условий.

"ГОСТ Р 51904-2002 Программное обеспечение встроенных систем. Общие требования к разработке и документированию" от 25.06.2002 г.