Галантерейные товары и льготы, доставленные в кратчайшие сроки!

Предыдущая статья：Основы встраиваемых систем — тестирование основных концепций,Знакомит с основными понятиями, связанными с тестированием программного обеспечения.,Среди них точки знаний логического покрытия в тесте белого ящика относительно сложны.,В этой статье на примерах объясняется, как использовать сценарии использования тестов с различными уровнями покрытия.

1 Базовый пример

1.1 Пример 1

Есть следующая программа,дизайн Удовлетворить соответственнопокрытие заявленийипокрытие филиаловсамый эффективныйтествариант использования。

int x = 0;
int y = 0;

if (x > 0 && y > 0)
{
    y = y/x;
}

if (x > 1 || y > 1)
{
    y = y + 1;
}

x = x + y;

анализировать:

Для покрытия операторов требуется, чтобы все операторы были выполнены. Для этой программы только два оператора if должны быть истинными, например x=2, y=0.

Покрытие ветвей, также называемое покрытием решений, требует только того, чтобы все суждения могли получить все возможные значения. Для этой программы только два утверждения должны быть истинными и ложными, например, x = 2, y = 0 (оба if истинны). ; x=0,y=0 (оба if ложны) требуют двух вариантов использования.

1.2 Пример 2

Учитывая следующую программу, какое значение переменной i может наиболее эффективно обеспечить покрытие оценкой?

void main()
{
    int i = 0;
    int sum = 0;
    scanf("%d", &i);
    while(i <= 10)
    {
        sum += i;
        i++;
    }
    printf("%d\n", sum);
}

анализировать:

В этой программе оператор while является ветвью пути. Наиболее эффективный из них удовлетворяет покрытию суждений, то есть при минимальном количестве выполнений цикла суждение может быть истинным и ложным. Следовательно, если i=10, оно соответствует true, а в следующем цикле i становится равным 11, что соответствует false.

1.3 Пример третий

Учитывая следующую программу, сколько тестовых случаев требуется для обеспечения покрытия суждений?

 int func(int n)
 {
     if (n == 0)
     {
         return 33;
     }
     
     if (n == 1)
     {
         return 66;
     }
     
     if (n > 1)
     {
         return func(n - 1) + func(n - 2) + func(n - 3) ;
     }
     else
     {
         return 99;
     }
 }

анализировать:

В этой программе 2 if и 1 if-else составляют все суждения, которые удовлетворяют покрытию суждений, то есть все суждения должны быть истинными и ложными. Самый простой и интуитивно понятный вариант — использовать 4 варианта использования: n=0; n=2; n=-1. Обратите внимание, что в программе есть рекурсивные вызовы. 1 ) + func(0) + func(-1) выполнено;

2 продвинутых примера

Существует следующая программа для разработки тестовых примеров с различным логическим покрытием:

int test (int x, int y)
{
    int ret = 0;
    if (x > 0 && y > 0)
    {
        ret = x + y + 10; //Блок операторов 1
    }
    else
    {
        ret = x + y - 10; //Блок операторов 2
    }
    
    if (ret < 0)
    {
        ret = 0; //Блок операторов 3
    }
    
    return ret; //Блок операторов 4
}

анализировать: Согласно программе, сначала нарисуйте блок-схему:

2.1 покрытие выписок SC

дизайнудовлетворитьпокрытие заявлений(SC)изтествариант использования,То есть после запуска тестового варианта использования,Может конвертировать каждый исполняемый оператор в программувыполнен хотя бы один раз。

В этом примере все блоки операторов с 1 по 4 выполняются один раз.

2.2 Определить покрытие DC

дизайнудовлетворитьТестовые случаи покрытия решений (DC), то есть после запуска тестовых примеров создайте ветви True и False для каждого суждения в программе.выполнен хотя бы один раз。

Покрытие решений, также называемое покрытием филиалов

2.3 Условное покрытие CC

дизайнудовлетворитьТестовые случаи условного покрытия (CC), то есть после выполнения тестовых случаев возможные значения каждого логического условия в программе.по меньшей мереудовлетворитьодин раз。

2.4 Условное суждение распространяется на C/DC

дизайнудовлетворитьТестовые сценарии условного покрытия решений (C/DC), то есть после запуска тестовых примеров создайте ветви True и False для каждого решения в программе.выполнен хотя бы один раз,в то же время,делатьпрограммасерединаВозможные значения для каждого логического условияпо меньшей мереудовлетворитьодин раз。

2.5 Покрытие комбинации условий MCC

дизайнудовлетворитьТестовые случаи комбинированного покрытия (MCC) — это комбинации всех возможных значений условий для каждого решения в программе после запуска тестовых случаев.по меньшей мереудовлетворитьодин раз。

Обратите внимание на несколько моментов:

• Комбинация условий применима только в том случае, если в одном и том же заключении присутствует несколько условий.
• Условия в различных суждениях не обязательно объединять напрямую.
• Для вынесения суждений с одним условием вам нужно только удовлетворить все ваши собственные ценности.

2.6 Покрытие пути ПК

дизайнудовлетворитьВариант использования для покрытия пути тестом (ПК),То есть после запуска тестового варианта использования,Сделайте каждый путь в программеперезаписано хотя бы один раз。

3 Исправление оценки состояния, охватывающее MC/DC

Модифицированное условное суждение охватывает MC/DC, его значение описано здесь:

MC/DC требует разработки соответствующего количества тестовых примеров для удовлетворения следующих условий:

• Убедитесь, что каждый ввод и вывод появляются в программе хотя бы один раз.
• Каждое условие в программе должно давать все возможные выходные данные хотя бы один раз.
• И каждое условие в каждом суждении должно иметь возможность независимо влиять на результат суждения (то есть при предположении, что другие условия остаются неизменными, только изменение значения этого условия изменит результат суждения).

Существует следующая программа. Для удовлетворения модифицированного условного суждения требуется минимальное количество тестовых примеров:

bool func(bool x, bool y, bool z)
{
    if (x && (y || z))
    {
        return true;
    }
    
    return false;
}

Сначала нарисуйте блок-схему. Вот два способа ее нарисовать:

Для модифицированного покрытия условных решений:

• Во-первых, вам нужно объединить условия. В этом примере решение P1 содержит 3 логических условия x, y и z. Их существует 8 комбинаций.
• Затем рассчитайте варианты использования для каждого условия отдельно.,Правило：
  • В рамках суждения, где находится условие Сх (в данном случае Р1), кроме условия Сх, значения остальных условий совершенно одинаковы (например, для С1 — найти вариант использования, в котором значение x противоположно, а значение y и z одинаково)
  • Результат суждения противоположный (например, для C1 результаты суждения вариантов использования 2 и вариантов использования 6 противоположны)

По приведенным выше правилам можно получить следующую таблицу:

Форма наблюдения:

• Для условия z необходимо выбрать варианты использования 5 и 6.
• Для условия y необходимо выбрать варианты использования 5 и 7.
• Для условия x вам нужно выбрать варианты использования 2 и 6, либо варианты использования 3 и 7, либо варианты использования 2 и 8.

Чтобы достичь минимального количества вариантов использования, удовлетворяющих MC/DC, можно использовать следующие дополнительные комбинации вариантов использования:

• Комбинация 1: Вариант использования 2, Вариант использования 5, Вариант использования 6, Вариант использования 7
• Комбинация 2: Вариант использования 3, Вариант использования 5, Вариант использования 6, Вариант использования 7

То есть для удовлетворения требований MC/DC необходимо как минимум 4 варианта использования.

Например, выберите комбинацию 1 и удалите избыточные варианты использования, чтобы получить следующую таблицу:

Давайте еще раз проанализируем:

• Для условия х,Используйте варианты использования 2 и 6 для тестирования.,Значения y и z одинаковы (y=0,z=1),Результаты оценки P1 имеют разные значения (0 и 1).
• Для условия у,Используйте варианты использования 5 и 7 для тестирования.,Значения x и z одинаковы (x=1,z=0),Результаты оценки P1 имеют разные значения (0 и 1).
• Для условия z,Используйте варианты использования 5 и 6 для тестирования.,Значения x и y одинаковы (x=1,y=0),Результаты оценки P1 имеют разные значения (0 и 1).

Наконец, давайте сравним и углубим наше понимание, отметив на блок-схеме:

4 Резюме

В этой статье представлен тест программного обеспечения,Различные случаи покрытия логики в тесте белого ящика,включатьпокрытие выписок SC、Определить покрытие DC、Условное покрытие CC、Условное суждение распространяется на C/DC、Покрытие комбинации условий MCC、Покрытие пути ПК、Исправлено решение о состоянии, охватывающее Пример MC/DC.