Некоторые методы тестирования логических операторов в программировании:

• Метод MC/DC. 1 Модифицированный метод покрытия по веткам/условиям, разработанный фирмой Boeing. 1 Позволяет уменьшить количество тестовых примеров при тестировании логических условий. 1 Для полного покрытия по этому методу каждое логическое условие должно принимать все возможные значения, каждая компонента логического условия — хотя бы один раз принимать все возможные значения. 1
• Структурное тестирование. 3 Основано на детальном изучении логики программы и подборе тестов, обеспечивающих максимально возможное число проверяемых операторов, логических ветвлений и условий. 3 Ещё называется «тестирование по маршрутам». 3 Под маршрутом понимают последовательности операторов программы, которые выполняются при конкретном варианте исходных данных. 3
• Покрытие операторов. 23 Предполагает выполнение всех исполняемых операторов в исходном коде хотя бы один раз. 2 Для этого выбирают набор данных. 3
• Покрытие условий. 3 Предполагает подбор наборов данных, обеспечивающих в узлах ветвления с более чем одним условием принятие каждым условием значения «истина» или «ложь» хотя бы по одному разу. 3
• Комбинаторное покрытие условий. 3 Предполагает подбор тестов, обеспечивающих в узлах ветвления с более чем одним условием перебор всех возможных сочетаний значений условий в одном узле ветвления. 3