Statement coverage

Statement coverage (покрытие операторов) является одним из основных методов измерения покрытия тестами в процессе разработки программного обеспечения. Этот метод позволяет оценить, насколько полно проверены все строки кода в программе с помощью тестов. Statement coverage оценивает, были ли выполнены все операторы программы хотя бы один раз во время тестирования. Эта метрика важна для анализа качества тестов, потому что она помогает убедиться, что все части кода были проверены, что снижает вероятность ошибок и дефектов в программе.

Statement coverage предполагает, что каждый оператор в коде должен быть выполнен хотя бы один раз. Оператор в данном контексте — это отдельное действие, которое выполняет программа, например, присваивание значения переменной, вызов функции или условное ветвление.

Цель покрытия операторов — обеспечить, чтобы тесты затронули все доступные участки кода, включая блоки условных операторов, циклы, функции и другие элементы, которые могут повлиять на поведение программы. Однако стоит отметить, что statement coverage не проверяет, каким образом исполнились различные условия и ветви кода, и не всегда может обеспечить полную проверку логики программы.

Пример использования

Предположим, есть следующий фрагмент кода:

function checkNumber(num) {
    if (num > 0) {
        console.log("Положительное число");
    } else {
        console.log("Отрицательное число или ноль");
    }
}

Для этого кода существует два возможных пути выполнения:

  1. Если значение num больше нуля, выполняется первый блок if.
  2. Если значение num меньше или равно нулю, выполняется блок else.

Для полного покрытия операторов нужно, чтобы оба вывода — “Положительное число” и “Отрицательное число или ноль” — были выведены хотя бы один раз. Тест может выглядеть так:

describe('checkNumber', () => {
    it('должен напечатать "Положительное число" для положительного значения', () => {
        checkNumber(1);
    });

    it('должен напечатать "Отрицательное число или ноль" для отрицательного значения', () => {
        checkNumber(-1);
    });
});

В данном примере оба блока кода будут выполнены, и тест покажет, что оба оператора были покрыты.

Ограничения statement coverage

Statement coverage имеет свои ограничения. Одним из главных недостатков является то, что эта метрика не учитывает возможные ошибки в логике программы, которые могут проявляться только при комбинации различных условий и путей исполнения. Например, для сложных конструкций с несколькими ветвями и вложенными условиями statement coverage может не покрывать все возможные сценарии.

Пример с многими ветвями

Рассмотрим следующий код:

function evaluateNumber(num) {
    if (num > 0) {
        if (num > 10) {
            return 'Большее число';
        } else {
            return 'Положительное, но не больше 10';
        }
    } else {
        return 'Неположительное число';
    }
}

В этом примере есть три разных ветви:

  1. num > 0 и num > 10 — выполняется блок с возвращением ‘Большее число’.
  2. num > 0 и num <= 10 — выполняется блок с возвращением ‘Положительное, но не больше 10’.
  3. num <= 0 — выполняется блок с возвращением ‘Неположительное число’.

Для покрытия всех ветвей требуется как минимум три теста, чтобы проверить каждую из возможных ветвей кода. Однако, если мы используем только statement coverage, достаточно одного теста для проверки num > 0, чтобы покрыть несколько операторов, но мы не проверим все возможные исходы.

Таким образом, statement coverage, несмотря на свою простоту и полезность, не может быть единственной метрикой, обеспечивающей полное тестирование программы.

Применение в Jasmine

Jasmine — это популярная библиотека для тестирования в JavaScript, которая позволяет удобно писать тесты с использованием различных методов покрытия, включая statement coverage. В Jasmine можно легко интегрировать создание тестов для проверки покрытия операторов с помощью встроенных методов и удобных функций.

Для проверки statement coverage в Jasmine достаточно использовать стандартные блоки describe и it, чтобы покрыть все участки кода, которые должны быть выполнены в ходе тестов. Пример использования:

describe('evaluateNumber', () => {
    it('должен вернуть "Большее число" для num > 10', () => {
        expect(evaluateNumber(15)).toBe('Большее число');
    });

    it('должен вернуть "Положительное, но не больше 10" для 0 < num <= 10', () => {
        expect(evaluateNumber(5)).toBe('Положительное, но не больше 10');
    });

    it('должен вернуть "Неположительное число" для num <= 0', () => {
        expect(evaluateNumber(-5)).toBe('Неположительное число');
    });
});

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

Заключение

Statement coverage — это мощный, но ограниченный инструмент для оценки полноты тестирования. Он помогает убедиться, что все операторы в программе были выполнены хотя бы один раз, что является важной частью процесса тестирования. Однако для более глубокой проверки программы и выявления ошибок в логике необходимо использовать дополнительные метрики, такие как branch coverage или path coverage. Эти методы помогают охватить более сложные аспекты программы и гарантируют более высокий уровень надежности кода.

Оглавление