model checking(позволяет осуществить автоматизированный перебор всех возможных вариантов выполнения программы, но применим только в случае, когда программа принимает конечное число состояний Alex_Odeychuk)
modified condition/decision coverage(Для обеспечения полного покрытия по этому методу необходимо выполнение следующих условий: 1) каждое логическое условие должно принимать все возможные значения; 2) каждый компонент логического условия должен хотя бы один раз принимать все возможные значения; 3) должно быть показано независимое влияние каждого из компонентов на значение логического условия, т.е. влияние при фиксированных значениях остальных компонентов. Покрытие по этой метрике требует достаточно большого количества тестов для того, чтобы проверить каждое условие, которое может повлиять на результат выражения, однако это количество значительно меньше, чем требуемое для метода покрытия по всем условиям. nasa.govAlex_Odeychuk)
