// с позиции base

 // среднее расстояние между элементами равномерно распределено

 // на отрезке [0, spread]

{

  cout << "{ " << lab << " " << n << " { ";

  vector v;

  int elem = base;

  for (int i = 0; i

    elem+= randint(spread);

    v.push_back(elem);

  }

  int val = base + randint(elem–base); // создаем искомое значение

  bool found = false;

  for (int i = 0; i

                              // найден ли элемент val

    if (v[i]==val) found = true;

    cout << v[i] << " ";

  }

  cout << "} " << found << " }\n";

}

Отметим, что для проверки, найден ли элемент val в случайной последовательности, мы не использовали функцию binary_search. Для того чтобы обеспечить корректность теста, мы не должны использовать функцию, которую проверяем.

На самом деле функция binary_search не самый удобный пример для тестирования с помощью наивного подхода на основе случайных чисел. Мы сомневаемся, что сможем найти какие-то новые ошибки, пропущенные на ранних этапах с помощью тестов, разработанных “вручную”, тем не менее этот метод довольно часто оказывается полезным. В любом случае следует выполнить несколько случайных тестов.

int no_of_tests = randint(100); // создаем около 50 тестов

for (int i = 0; i

  string lab = "rand_test_";

  make_test(lab+to_string(i), // to_string из раздела 23.2

  randint(500),               // количество элементов

  0,                          // base

  randint(50));               // spread

}

Сгенерированные тесты, основанные на случайных числах, особенно полезны в ситуациях, когда необходимо протестировать кумулятивные эффекты многих операций, результат которых зависит от того, как были обработаны более ранние операции, т.е. от состояния системы (см. раздел 5.2).

Причина, по которой случайные числа не являются панацеей для тестирования функции binary_search, заключается в том, что результат любого поиска в последовательности не зависит от результатов других попыток поисков в этой последовательности. Это, разумеется, предполагает, что функция binary_search не содержит совершенно глупый код, например не модифицирует последовательность. Для этого случая у нас есть более хороший тест (упр. 5).

26.3.3. Алгоритмы и не алгоритмы

  В качестве примера мы рассмотрели функцию binary_search(). Свойства этого алгоритма приведены ниже

Имеет точно определенные требования к входным данным.

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

• Не связан с объектами, которые не относятся явно к его входным данным.

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

У алгоритма бинарного поиска есть очевидные и открыто сформулированные пред- и постусловия (см. раздел 5.10). Иначе говоря, этот алгоритм — просто мечта тестировщика. Часто нам не так сильно везет и приходится тестировать плохой код (как минимум), сопровождаемый небрежными комментариями на английском языке и парой диаграмм.

Погодите! А не впадаем ли мы в заблуждение? Как можно говорить о корректности и тестировании, если у нас нет точного описания, что именно должен делать сам код? Проблема заключается в том, что многое из того, что должно делать программное обеспечение, нелегко выразить с помощью точных математических терминов. Кроме того, во многих случаях, когда это теоретически возможно, программист не обладает достаточным объемом математических знаний, чтобы написать и протестировать такую программу. Поэтому мы должны расстаться с идеальными представлениями о совершенно точных спецификациях и смириться с реальностью, в которой существуют не зависящие от нас условия и спешка.

А теперь представим себе плохую функцию, которую нам требуется протестировать. Под плохой функцией мы понимаем следующее.

• Входные данные. Требования к входным данным (явные или неявные) сформулированы не так четко, как нам хотелось бы.

• Выходные данные. Результаты (явные или неявные) сформулированы не так четко, как нам хотелось бы.

• Ресурсы. Условия использования ресурсов (время, память, файлы и пр.) сформулированы не так четко, как нам хотелось бы.