Логика соответствует внутренней структуре кода, и это тестирование применяется для критически важных для безопасности приложений, таких как программное обеспечение, используемое в авиационной промышленности. Этот тест проверяет подмножество общего числа назначений истинности выражений.
Источники логического покрытия:
Логическое покрытие происходит из любого из следующих источников:
Решения в программах
Конечные автоматы и государственные диаграммы
Требования