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

метод открывает перспективы ее применения и дополнительные возмож-
ности спецификаций. Действительно, разработка функциональных диа-
грамм есть хороший способ обнаружения неполноты и неоднозначности
в исходных спецификациях.
     Метод функциональных диаграмм позволяет построить набор полез-
ных тестов, однако его применение обычно не обеспечивает построение
всех полезных тестов, которые могут быть определены. Кроме того,
функциональная диаграмма неадекватно исследует граничные условия.
Конечно, в процессе работы с функциональными диаграммами можно
попробовать покрыть граничные условия. Однако при этом граф сущест-
венно усложняется, и число тестов становится чрезвычайно большим.
Поэтому лучше отделить анализ граничных значений от метода функ-
циональных диаграмм.
     Поскольку функциональная диаграмма дает только направление в
выборе определенных значений операндов, граничные условия могут
входить в полученные из нее тесты.
     Наиболее трудным при реализации метода является преобразование
диаграммы в таблицу решений. Это преобразование представляет собой
алгоритмический процесс. Следовательно, его можно автоматизировать
посредством написания соответствующей программы. Фирма IBM имеет
ряд таких программ, но не поставляет их.
                    3.2.4. Предположение об ошибке
     Замечено, что некоторые люди по своим качествам оказываются
прекрасными специалистами по тестированию программ. Они обладают
умением «выискивать» ошибки и без привлечения какой-либо методоло-
гии тестирования (такой, как анализ граничных значений или применение
функциональных диаграмм).
     Объясняется это тем, что человек, обладающий практическим опы-
том, часто подсознательно применяет метод проектирования тестов, на-
зываемый предположением об ошибке. При наличии определенной про-
граммы он интуитивно предполагает вероятные типы ошибок и затем
разрабатывает тесты для их обнаружения.
     Процедуру для метода предположения об ошибке описать трудно,
так как он в значительной степени является интуитивным. Основная идея
его заключается в том, чтобы перечислить в некотором списке возмож-
ные ошибки или ситуации, в которых они могут появиться, а затем на ос-
нове этого списка написать тесты. Например, такая ситуация возникает
при значении 0 на входе и выходе программы. Следовательно, можно по-
строить тесты, для которых определенные входные данные имеют нуле-
вые значения и для которых определенные выходные данные устанавли-
ваются в 0. При переменном числе входов или выходов (например, число

                                 62