Методы тестирования программного обеспечения. Степанченко И.В. - 61 стр.

искомых входных записей при поиске в списке) ошибки возможны в си-
туациях типа «никакой» и «один» (например, пустой список, список, со-
держащий только одну искомую запись). Другая идея состоит в том, что-
бы определить тесты, связанные с предположениями, которые програм-
мист может сделать во время чтения спецификаций (т. е. моменты, кото-
рые были опущены из спецификации либо случайно, либо из-за того, что
автор спецификации считал их очевидными).
     Поскольку данная процедура не может быть четко определена, луч-
шим способом обсуждения смысла предположения об ошибке представля-
ется разбор примеров. Если в качестве примера рассмотреть тестирование
подпрограммы сортировки, то нужно исследовать следующие ситуации:
1. Сортируемый список пуст.
2. Сортируемый список содержит только одно значение.
3. Все записи в сортируемом списке имеют одно и то же значение.
4. Список уже отсортирован.
     Другими словами, требуется перечислить те специальные случаи,
которые могут быть не учтены при проектировании программы. Если
пример заключается в тестировании подпрограммы двоичного поиска, то
можно проверить следующие ситуации:
1. Существует только один вход в таблицу, в которой ведется поиск;
2. Размер таблицы есть степень двух (например, 16);
3. Размер таблицы меньше или больше степени двух (например, 15, 17).
     Рассмотрим программу из раздела 2.2, посвященного анализу гранич-
ных значений. При тестировании этой программы методом предположения
об ошибке целесообразно учесть следующие дополнительные тесты:
1. Допускает ли программа «пробел» в качестве ответа?
2. Запись типа 2 (ответ) появляется в наборе записей типа 3 (студент).
3. Запись без 2 или 3 в последней колонке появляется не как начальная
    запись (название).
4. Два студента имеют одно и то же имя или номер.
5. Поскольку медиана вычисляется по-разному в зависимости от того,
    четно или нечетно число элементов, необходимо протестировать
    программу как для четного, так и для нечетного числа студентов.
6. Поле числа вопросов имеет отрицательное значение.
     Надо отметить, что применение метода предположения об ошибке
не является совсем неформальным и не поддающимся совершенствова-
нию. С течением времени каждый программист, тестировщик увеличива-
ет собственный опыт, который позволяет все больше и больше применять
данный метод, кроме того, имеются методы совершенствования интуи-
ции (математической, программистской) и догадки [6].



                                 63