Тестирование черного ящика. Б. Бейзер (2004) (1186170), страница 16
Текст из файла (страница 16)
Вторая модель более сбалансирована, и в ней делается меньше предположений о способе реализации. Поэтому, хотя она и более сложная, она лучше ищет ошибки, и я выбираю ее. Предикат в строке ЗЗс является составным предикатом: «(Вы женаты, заполняете раздельные налоговые декларации И льготы вашей супруги детализированы) ИЛИ вы иностранец с двойным гражданством». Здесь фигурирует включающее ИЛИ, поскольку вы можете быть иностранцем с двойным гражданством (что бы это ни значило) и ваша супруга может заполнять налоговую декларацию раздельно и ее льготы могут быть детализированы.
Обратите внимание, что если вы не являетесь иностранцем с двойным гражданством, то должны выполняться три условия; (1) вы женаты, (2) вы заполняете налоговые декларации раздельно, (3) льготы вашей супруги детализированы. Один из альтернативных пунктов в узле 34.5 скрыт под союзом «или». Это не логическое ИЛИ. Это способ обозначить параллельные связи и дополни- ' На самом деле зто не узел с преднкатом, а нечто иное, что будет рассмотрено в главе 6 при изучении тестировании потока транзакпнй. Это не настоящий предикат, поскольку вы можете выбрать оба альтернативных варианта.
3.3. Отношения и модель 69 тельные варианты выбора: «заполняю совместную налоговую декларацию» и «вдовец». 5. Узлы 34.1 и 34.3 входят в модель независимо от остальных узлов. Я мог бы включить в модель детали для них, но не стал, так как из узла 34.1 мы перенаправляемся на бланк А, который может быть описан в нескольких других разделах книги. Разумно будет строить зти модели отдельно. По той же причине я буду отдельно моделировать узел 34.3, 6.
Узлы 34.1, 34.3, 34.6, 34.7, 34.8, 34.9 и 34.10 в данной модели не существенны. Я мог бы связать обработку атих узлов, со связями, исходящими из узла 34.5 и включить их в веса связей, подобно тому, как приведено ниже. 35 Детализированные! ВОТО Бл А Стр. 29 35 Продопиить иодепь Эта модель эквивалентна приведенной выше, но не так полезна, поскольку более трудна для восприятия и связи в ней перегружены информацией. В целях понятности лучше использовать по возможности большее количество узлов и связей.
7. В зтих моделях не строится никаких предположений относительно программного обеспечения и способов их реализации. Несмотря на то, что использование оператора 15-ТНЕМ для узлов 34, 34.2 и 34.4 и оператора СА5Е для узла 34.5 представляется очевидным, существуют пути реализации без использования операторов 1Е-ТНЕМ и СА5Е. В поведенческом тестировании нам не следует слишком глубоко погружаться в детали конкретной реализации. 3.32. Моделирование составных предикатов Составные предикаты обманчивы, поскольку таят в себе подводные камни.
Они также перспективны в смысле тестирования, так как программисты часто делают в них ошибки. Вы всегда можете подробно расписать составной предикат, для того чтобы вскрыть его сущность и построить его модель при помощи графа или таблицы. Ниже приводится модель на основе графа. Предположим, у вас есть составной предикат, состоящий из нескольких простых предикатов (то есть не составных), которые мы будем называть А, В, С. Например: «АВ В ИЛИ С». Вы строите дерево предикатов с числом 34 Стандартные или Детализированные льготы? 34.2 Отнечена графа ЗЗа ипи ЗЗЬ? 34.4 Отиечена графа ЗЗс? 34.5 Выберите 34 2 Стандартные 35 ИСТИНА/ВОТО СТР 22 34 4 ПОДЬ 35 ИСТИНА! Отч $0 34 5 ПОИЬ 35 Холост/Отч. - $3.ВОО 35 Совместная денларация?Отч- $5.350 35 Вдовец!Отч - $5.350 35 Раздел~ные денпарациыОтч- $3.1?5 35 Глава хозяйства!Отч.- $5,500 УО Глава 3 ° Тестирование потока управления ветвей, равным числу возможных вариантов.
Для двух предикатов, число ветвей будет равно четырем, для трех предикатов — будет восемь ветвей, для п простых предикатов — 2" ветвей. На рисунке показан первый шаг. Порядок, в котором вы рассматриваете предикаты, здесь не важен. Важно, чтобы все 2" ветвей (в нашем примере восемь) были рассмотрены. Следующий шаг — собрать все исходящие связи для случая ИСТИНА в узел со значением ИСТИНА, а все связи для случая ЛОЖЬ в узел со значением ЛОЖЬ, как показано на следующем рисунке. иФа Я л и Я~с~ В итоге одиночный узел с составным предикатом «Ас В ИЛИ С» заменяется на более подробную модель, на которой показаны все части предиката.
Вам может показаться, что верхний узел с предикатом С избыточен, поскольку вне зависимости от его значения результат будет — ИСТИНА. Тем не менее, он здесь не лишний, поскольку все это будет так при условии отсутствия ошибок в реализации. Только путсм тсстирования всех восьми случаев (2" в общем случае) мы можем убедиться, что логика, вне зависимости от способов ее реализации, не содержит ошибок.
Вы можете отступиться и не тестировать точно все 2" случаев. Это здорово, если не обращать внимания на то, что ваше тестирование становится слабым и вы можете пропустить больше ошибок. Другой способ построить модель — использовать таблицу истинности (см. табл. 3. 1) вместо дерева графа. Вы используете один узел для составного предиката, с условием что все варианты должны быть проверены по таблице истинности. 3.4.
Методика 71 Таблица 3.1. Таблица истинности А%В ИЛИ С ИСТИНА ЛОЖЬ ИСТИНА ЛОЖЬ ИСТИНА лОжь ИСТИНА ЛОЖЬ ИСТИНА ИСТИНА ИСТИНА ЛОЖЬ ИСТИНА ЛОЖЬ ИСТИНА ЛОЖЬ ИСТИНА ИСТИНА ИСТИНА ИСТИНА ЛОЖЬ ЛОЖЬ ЛОЖЬ ЛОЖЬ ИСТИНА ИСТИНА ЛОЖЬ лОжь ИСТИНА ИСТИНА ЛОЖЬ ЛОЖЬ 3.4. Методика 3.4.1. Основы Проектирование теста и его выполнение состоит из следующих шагов: Ь Изучите и проанализируйте требования на предмет их доступной для реализации завершенности и самосогласованности.
Убедитесь в том, что спецификация корректно отражает требования, внесите поправки в спецификацию, если это не так. 2, Перепишите спецификацию в виде последовательности коротких предложений. Уделите специальное внимание предикатам. Разделите сложные предикаты на эквивалентные последовательности простых предикатов. Найдите узлы выбора и выпишите их в виде простых списков. Удалите любые логические «И», которые не являются частью предикатов, вместо этого разбейте предложение на две части. 3. Однозначно пронумеруйте предложения.
Впоследствии это будут имена узлов. 4. Постройте модель. 5. Проверьте модель — ваша работа так же подвержена ошибкам, как и работа программиста. 6. Выберите пути тестирования. Напоминаю, что в таблицу истинности записываются состояния простых предикатов, и просчитывается, какое из значений ЛОЖЬ или ИСТИНА будет иметь составной предикат для данной комбинации.
Я использую таблицы для проверки составных предикатов, состоящих более чем из трех простых предикатов. Добавление в граф четырех узлов для составного предиката, состоящего из двух элементов, не создаст в модели слишком большой путаницы. Однако уже трех- компонентный предикат сильно загрузит модель, а добавление четырехкомпонентного фактически нереально. Помните, что вы не можете не принимать в расчет возможность существования ошибок в вашей модели.
72 Глава 3 ° Тестирование потока управления 7. Активизируйте выбранные пути тестирования. То есть выберите такие входные значения, используя которые программа, при условии отсутствия ошибок, пройдет по пути, эквивалентному тому, который вы выбрали. 8. Предскажите и запишите вероятный итог каждого теста. 9.
Определите критерий (критерии) соответствия для каждого теста. 10. Выполните тест. 11. Подтвердите итог. 12. Подтвердите путь. 3.4.2. Построение модели Как пример для иллюстрации процесса мы будем использовать строчки с 32 по 40 формы 1040 ВНС. Исходная спецификация приведена в Приложении А. Проще всего мне будет это объяснить путем последовательного построения конкретной модели, комментируя процесс по мере ее развития. Мои комментарии вьщелены курсивом.
Шаг 1: Проверить и обосновать требования. Вряд ли, что-то можно сделать, поскольку мы рассчитываем, что ВНС делает это за нас. Шаг 2: Переписать спецификацию. Что касается меня, я переписываю спецификацию, используя мой собственный тип псевдокода. Использование полуформального языка (то есть псевдокода) помогает быть уверенным в однозначности при описании вещей.
Хотя это похоже на программирование, это не программирование — это моделирование. Я использую представление в виде списка, так как это легче; хотя, когда я работал, я рисовал маленькие графы для того, чтобы убедиться в корректности потоков данных для различных предикатов. Я включил мои некоторые наброски, чтобы помочь вам увидеть, как я мыслил. Несмотря на то, что построение и использование целого графа в виде рисунка чересчур громоздко, эти промежуточные наброски сегментов маленького графа помогут вам получить правильное представление о логике. Введите СОЯ спт = О И Л 65 ипи старше? 32: ЗЗа1 введите абЗовтеб дговв тпсоше 1скорректированний общий доход) ЗЗа1 ЗЗа2 попошите счетчик поиетон равнин нулю Необходимо отслвэтщтвать число пометок, которые мы делаем в форме. ЗЗа2 ЗЗаЗ если 65 ипи старше Это узел с предикатом, то есть будет по крайней мере две исходящие связи.
ЗЗаа если НЕ 65 ипи старше Пропустить приращение, если менее 65. 3.4. Методика 73 Другой узел с пресискатом. Ззаб если не слеп Пропустить приращение, если НЕ слеп. Зза5 ЗЗа6 приращение счетчика понеток Увеличение числа пометок, если слеп. ЗЗа6 ЗЗа7если супругу 65 или он старше Заметим, что в действительности логика здесь намного сложнее. Если бы наша модель была для всей формы 1040, то нам следовало бы учитывать корреляцию со строчками 1-3, принимая во внимание способ заполнения декларации. Только обладающие статусом Г2) Женат или статусом (3) Вдова Гвдовец) могли бьс делать отметки в этой и следующей графе.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
