Тестирование черного ящика. Б. Бейзер (2004) (1186170), страница 12
Текст из файла (страница 12)
2. Отношения, которые должны существовать между узлами. 2.3. Примеры графов, используемых в тестировании 51 3. Какие объекты связаны друг с другом (связи). 4. Свойства, которыми могут обладать связи — веса связей. Отдельный вопрос — вдохновляет ли вас данная модель (граф) на написание действенного теста. Модель — дело вкуса. То, что нравится вам, может не нравиться мне и наоборот. Однако существуют модели, которые большинство людей считает полезными.
2.3.2. Модель потока транзакций (глава б) Обьекты. Шаги в процедуре транзакций, такие как проверка платежной ведомости, получение денег из банкомата. Каждому шагу в процессе транзакций соответствует один узел. Отношение. «Предшествует следующему шагу». Например, расчет жалования предшествует расчету вычитаемых налогов. Связи.
Соединяют следующие друг за другом шаги. Соответствуют отношению «предшествует» между двумя узлами. 2.3.3. Модель меню с конечным числом состояний (глава 9) Обьекты. Меню, появляющиеся в окне, например, текстового редактора. Каждому пункту меню соответствует один узел. Отношение. «Может прямо вызвать», что означает существование пункта в меню, выбор которого влечет за собой появление нового меню.
Выбранный пункт исню определяет, какое именно меню второго уровня должно появиться. Связи. На каждый пункт в меню приходится по одной связи между узлами. Например, если меню А может (выбором соответствующих пунктов) вызвать меню Б, В, Г, то между А и Б, А и В, А и Г существуют связи. 2.3.4. Модель потока данных (глава 5) Обьекты. Определенные объекты данных. Каждому эзсмпляру (потенциально отличимому от других величин) каждого объекта данных соответствует один узел. Отношение.
«используется для вычисления значения». В равенстве Х = 27+ 2 объекты г' и Х используются для вычисления значений Х. Связи. Стрелка (связь) направлена от А к Ь, если значение величины А используется для вычисления величины Б. В нашем примере стрелки направлены от У ;Х и от 2 кХ. 52 Глава 2» Графы н отношения 2.3.5. Модель времени выполнения Обьекты. Линейные последовательности операторов в программе.
Отношение «предшествует оператору». Например, АЕАВ Г11епаяе предшествует оператору Ева.. Связи. Соединяют следующие друг за другом операторы. Соответствуют отношению «предшествует между двумя узлами». Обратите внимание, что операторы ветвления (такие как 1Р, ЕА5Е) имеют по одной исходящей связи на каждую ветвь. Свойства. 1. Связей — ожидаемое время выполнения (например, в микросекундах); 2.
Операторов ветвления (например, 1е.,тнен...еь5е, сА5е) — вероятности события для каждой их ветви (исходящей связи), что программа пойдет именно по ней. 2.4. Отношения 2.4.1. Обзор Отношения имеют определенные свойства и, следовательно, могут быть разбиты на категории. Если, глядя на отношение, вы говорите: «О, это такой-то и такой-то тип отношений», то эти ваши знания вы сможете применить в конкретных случаях. Мы не будем рассматривать все свойства всех возможных отношений. Остановимся лишь на отношениях, наиболее часто используемых при тестировании. 2.4.2.
Транзитивные и нетранзитивные отношения Отношение 1«транзитивяо, если из А Й Б и Б ë следует А Й В. Например, отношение быстрее — транзитивно. Если А быстрее Б и Б быстрее В, то, следовательно, А быстрее В. Примеры транзитивных отношений; можно достичь, больше, меньше, больше или равно, меньше или равно, зависит от, подмножество, находится в проекции. Отношение, не являющееся транзитивным, — нвтранзитивно. Примеры нетранзитивных отношений: друг, сосед, лжет, связан (напрямую).
К примеру, из факта, что А лжет Б, а Б лжет В не следует, что А лжет В. В принципе А мог солгать В, но это никак не следует из того, что А лгал Б, а Б лгал В. Например, мы знаем, что А вообще не разговаривал с В. Хотя в большинстве случаев легко можно понять, являются отношения транзитивными нли нет, в общем случае это не всегда так. Примером игры, построенной на транзитивности, может служить детская игра «Камень, ножницы, бумага» В этой игре ножницы режут бумагу, бумага покрывает камень, а камень тупит 2.4. Отношения 53 ножницы. Дело усложняется тем, что все три отношения (реже»п, покрывает, тупит) эквивалентны в данном случае отношению сильнегь чем. На неоднозначности транзитивности построено также много других детских и взрослых игр. В наших интересах (поскольку это одна из задач тестирования) проверить, что все отношения, которые должны быть транзитивны, действительно транзитивны, и наоборот, если транзитивность не является свойством отношения, то необходимо проверить, что оно нетранзитивно.
В естественных языках это бывает не всегда очевидно, поэтому спецификации могут вводить в заблуждение. Например, часто встречающееся отношение связан в естественном языке может интерпретироваться неоднозначно. Значит ли это, что из узла А можно достичь узла Б, или это значит, что А напрямую связан с Б? В первом случае отношение можно достичь должно быть транзнтивно. Это значит, что если из А можно достичь Б, а из Б можно достичь В, то из А можно достичь В. Но отношение можно достичь не обязательно транзитивно. Что, если мы добавим «прикоснувшись к руке»? Например, я могу достичь своей соседки, прикоснувшись к ее руке, а она, в свою очередь, может достичь своей соседки, прикоснувшись к ее руке, однако зто не значит, что я могу достичь ее соседки, прикоснувшись к ее руке, если я, конечно, не орангутан нли если мы не сидим очень близко.
Всегда обращайте внимание и проверяйте транзитивность или нетранзитивность всех отношений из спецификации. Кроме этого, проверяйте программиста на его понимание транзитивности или нетранзитивности. Если понятие транзитивность неоднозначно трактуется в спецификации илн программистом, то у вас плодородная почва для тестирования. 2.4.3. Симметричные и несимметричные отношения Отношение называется симмегпричньсн, если оно справедливо как в одну, так и в другую сторону. Это означает, что стрелка на графе направлена в обе стороны. Примеры; сосед, находится в браке. Отношение сосед симметрично, но не транзитивно.
В английском языке для симметричных отношениях обычно используют оборот «А и Б находятся в отношении», вместо «А относится к Б». То есть мы говорим; А и Б находятся в браке, А и Б соседи и так далее. Отношение, не являющееся симметричным, называется несимметричным. То, что отношение не симметрично, еще не означает, что связь между парой узлов должна быть односторонней, это говорит лишь о том, что существование связи в обоих направлениях — не обязательное условие.
Симметрия — это очень важное свойство отношений, и нам следует тестировать отношения на симметричность. Например, если вы тестируете меню в продукте, управляемом через мено (то есть в продукте, работа с которым происходит посредством выбора определенных пунктов в меню), то, проверяя симметричность, вы фактически проверяете, всегда ли существует возможность возврата в предыдущее меню. Аналогично если в программе (в текстовом редакторе, или, скажем, электронной таблице) есть функция цяэо, это значит, что большинство операций симметричны, поскольку всегда можно от»1енить действия оператора.
Однако даже 54 Глава 2 ° Графы и отношения идеальное пиво не может быть полностью симметричным, поскольку сушествуют такие операции, как печать или отправить (Ря!МТ, ЬЕМВ), которые нельзя отменить. С симметричностью, как и с транзитивностью, часто возникает путаница в спецификациях, или по вине программистов. Естественные языки, как водится, тоже усложняют нам жизнь, однако в случае симметричности проблемы возникают, поскольку (в большей Или меньшей степени) в них симметричность подразумевается, а не постулируется явно. Всегда обращайте внимание и проверяйте симметричность или несимметричность всех отношений из спецификации. Кроме того, проверяйте программиста на его пониманис симметричности или несимметричности.
Если понятие «симмегричностьь неоднозначно трактуется в спецификации или программистом, то у вас появится плодородная почва для тестирования. 2.4А. Рефлексивные и нерефлексивные отношения Отношение называется рефлексивным, если каждый узел находится в этом отношении с самим собой. Это означает, что каждый узел имеет связь, ведущую обратно на него (петля). Примеры рефлексивных отношений: знаком с(поскольку, если у меня нет амнезии, я знаком сам с собой), родственник, может коснуться, связин с, равен, эквивалентен. Если рефлексивность не выполняется для каждого узла в диаграмме, то отношение называется нерефлексивным.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
