Тестирование черного ящика. Б. Бейзер (2004) (1186170), страница 17
Текст из файла (страница 17)
В реальной модели вы бьс предварили этот и следующий узел с предикатпом другим узлом с предикатом, который спрашивает: «Женат и заполняет совместную налоговую декларацию ИЛИ вдовец с детьми на иждивении?» Если предикат является ИСТИНОЙ, вы выполняете узлы с ЗЗаб по 33а9, иначе вы переходите к узлу ЗЗа 10. Однако для того чтобы сохранить приемлемый размер этой модели, мы не будем гнаться за реалистичностью и допустим, что этот сегмент не зависит ни от каких предыдущих сегментов и логики.
Графическая реализация этой части модели приведена на рисунке. и — (Ззша«) Л Супругэеб? Слеп? Л опт+ т Ззш7 Зза8 ЗЗа8 если супругу НЕ 65 ипи больше ЗЗаз приращение счетчика поиеток ЗЗа9 если супруг слеп 33470 если супруг нЕ слеп ЗЗатр приращение счетчика пометок ЗЗа7 ЗЗа8 ЗЗа9 Узел ЗЗа 10 является излишним, так как мы изменяли счетчик пометом по мере прохождения пути; однако я предпочитаю бьапь уверенным, что существует по крайней мере один узел (для начала) для каждого утверждения в спецификации.
ЗЗЬЗ ЗЫ Если ваши родители ногут предъявить на вас права Узел с предикатом. ЗЗаЗ 33а4 приращение счетчика понеток Позднее нам будет необходимо знать общее число пометок, а этот способ моделирования не хуже любого другого. 33а4 ЗЗа5 если слеп 74 Глава 3 ° Тестирование потока управления 33с Ваши родители не потуг предъявить на вас права ЗЗЬ1 33с Поиегьге графу ЗЗЬ ЗЗсЗ ЗЗс1 Женат. заполняю отдельную декларацию Составной предикат. Если бы вы посмотрели инструкции ВНС, вы бы нашли еи4е болыие логики в модели. Для того чтобы оставаться в разумных границах, мы проигнорируем инструкцию следовать инстпрукциям, но в реальных задачах у вас нет такого выбора.
Для того чтобы не было скрытой сложности, я разбил предикат на составные части. Моя модель для этого раздела приведена на рис. 3.8. Возможны также и другие, эквивалентные модели. Я тут кое-что упустил. Первое раз, когда я это делал, я забыл о возможности женатому человеку подать заявку отдельно от супруга, льготы которого не детализированы, учитьгвая, что я иностранец с двойным гражданством. Поэтому мне пришлось вернуться назад и добавить предикатный узел в 33с4. Здесь мне вновь помогли схемы. Эта часть модели показана на следуюшем рисунке. Женат, раздельные декларации? Льготы супруга детализированы? ЗЗс И 33сз Л И Л Иностранец? Зэс2 И 33сЗ И ЗЗс4 Помет.
Л графу ЗЗЬ? Л Иностранец? ЗЗсЗ ЗЗс1 Зс2 Неженат, подает декларацию отдельно ЗЗс4 Льготы супруга не детализированы ЗЗсЗ Льготы супруга детализированы ЗЗсЗ Двойное гражданство 34 Нет двойного гражданства 34 Поиетьте графу ЗЗс 34 Нет двойного гражданства ЗЗс2 ЗЗсЗ ЗЗс4 Это не избыточность. ЗЗсЗ Двойное гражданство 34 34.1 Ваши льготы детализированы? 34.2 Ваши льготы не детализированы Уэел 34 — очень интересный случай. Он похож на предикатный узел, но на самом деле это не так. Это пример того, что мы назьгваем разбиением транзакции (' смотрите главу 6.). Для того чтобы следовать инструкции Гсмотрите дальше узел 34. ?3), то есть взять большую иэ детализированных или стандартныхльгот, вы должны выполнить оба вычисления, как для стандартной льготы, так и для детализированной льготы.
Фактически мы должны обрабатывать обе части парал- 3.4. Методика 75 Предикат вьсбора. Глава хозяйства Женат. заполняен совнестную налоговую декларацию Женат. заполняю отдельную налоговую денларацию Стандартная льгота = $3.800 Стандартная льгота - $5 600 Стандартная льгота - 46 350 Стандартная льгота - ЗЗ 175 34.9 34.10 34 11 34.8 34.12 34 9 34.12 34 10 34 12 34 П 34.12 Эта модель тоже может быть выражена при помощи графа на следующем рисунке. Детализированные льготы? Пом графу Пом графу лельно, иначе нечего будет сравнивать в узле 34. 1Х Вьг наверняка это делаете при заполнении своей налоговой декларации. 34.1 34.12 Используйте Опани А, строну 26 Здесь кроется еще одна целая модель. 34 2 34 3 НЕ пометили графу ЗЗа 34.4 Пометили графу ЗЗа 34.3 34.4 Пометили графу ЗЗЬ 34 5 НЕ пометили графу ЗЗЬ Подождите минутку! А что насчет человека, которому б5 лет или больше, И/ИЛИ которьгй слеп И который находится ча иждивении у своих родителей или у кого-нибудь еще.
Покрывает ли модель этот случай? 34 4 34.12 Стандартные льготы по инструкции 34.5 34.6 Помечена ли графа ЗЗс? 34.7 Графа ЗЗс не помечена 34.6 34.12 Стандартная льгота - 0 34.7 34 8 Холост гб Глава 3 ° Тестирование потока управления 34 . 12 34 . 13 Пустой узел дпя большей ясности 34 13 34 14 Стандартные льготы больше детализированных льгот? 34 15 Стандартные льготы НЕ больше детализированных пьготт 34.14 35 Использовать стандартный список 34.15 35 Использоват~ детализированный списон 35 36 Вынесть строку 34 из строки 32 36 36.1 Строка 32 ю $83 850 36.2 Строна 32 > $83.850 36.1 37 $2.450 ехешрстопз (освобомдения) 36.2 37 Согласно инструкции 37 38 Нах(0.
строка 35 - строка 36) Обозначает еще один прегпгкат, но скрывает сегмент пути. Давайте делать правильно, 37. 1 Строка 35 - строка 36 38 Больше нуля 37 2 Неньше или равен нулю 38 Введите ноль в строке 37 38.1 Сах Саб)е (таблица налогов) 37 37 1 37.2 38 Выглядит привлекательно. На первый взгляд это выглядит так, как будто есть пять взаимоисключающих возможностей: (а) таблица налогов, ЕЬ) налоговая тарифная сетка, (с) бланк гг, Ед) форма 8615 или (е) форма 8814.
Однако, изучая формы 86 15 и 8814, я замечаю, что они могли бы представлять собой две дополнительные позиции для каждой из первых трех опций. Я пытался получить обьяснения в ВПС, но не получил. Я позвонил моему бухгалтеру, и он спросил, будет ли зто мспециальной консультациейь, но я ответил: «Не беспокойся, Чарли ь. Такого рода исследования вы можете проводить при создании практической модели, но в зтом примере я буду рассматривать пять различных вариантов.
38 38.2 сах гасе зслебц1е (налоговая тарифная сетка) 38 3 Бланк С 38 4 Форма 8615 38 5 ФОРма(ы) 8814 Заметим, что может быть несколько форм 8814, но мы не говорим о том, чтобы суммировать эти формы. Такие особенности должны быть исследованы. Здесь нам следует взять вместе все формы 8814, так как они должны быть заполнены на каждого ребенка, чей интерес и дивиденды вы представляете при заполнении налоговой деклараири. 38.1 39 налог в соответствии с Сах саб)е (таблицей налогов) 38.2 39 налог в соответствии с сах гасе зслебц1е (налоговой тарифной сеткой). 38.3 39 налог в соответствии с бланкон С.
38 4 39 налоги в соответствии с фориой 8615 38.5 39 налоги в соответствии с форной (формами) 8814 39 39.1 дополнительные налоги в соответствии с форной 4970 39.2 НЕТ дополнительных налогов по форне 4970 39.1 39.3 заполните налоговую форну 4970 39.2 39 3 поставьте ноль для дополнительных налогов в строке 39 39.3 39.4 дополнительные налоги по форме 4972 39.5 НЕТ дополнительных налогов по форме 4972 39.4 40 Добавьте налоги из форин 4972 в строну 39 ЗА.
Методика 77 Я смоделировал это именно таким образом, так кок из налоговых форм мне показалось, что можно облагать налогом по форме 4970 или 4972 или сразу по обеим. Такие вещи не очевидны, и вы должны их исследовать. 39.5 40 Ничего не делайте 40 41 Добавьте строки 39 и 40 Ужасно? Построение такой модели с простой на вид спецификацией стоило многих усилий.
Это заняло у меня пять часов, включая время, затраченное на рисование презентабельных фрагментов графа и пояснительные комментарии, которые я бы и не делал, если бы я создавал настоящий план тестирования. Но все эти комментарии и внутренние монологи — это неплохая идея. Кто-нибудь (вроде вас), может быть, поблагодарит за это. Исходя из опыта и практики, на построение данной модели должно затрачиваться максимум два-три часа. При большем объеме исследования это, вероятно, займет больше времени. Заметим, что мои графические модели по ходу дела становились проше.
В последней модели, например, детализирован только поток управления. Это сделано преднамеренно. Вы используете графические формы для того, чтобы быть уверенным в правильности логики, однако вам также необходимо документировать детали содержания в виде списка. По ходу дела я менял обозначения. Граф, который мы рассматривали в пункте 3.1, имеет формат иня узла/действие/значение предиката, тогда как последний формат это иня узла/иня узла/действие ипи значение предиката/коннентарии.
Опираясь на последние обозначения, связи легко отметить и контролировать, но более ранние обозначения ближе к первоначальной форме изложения. При этом не имеет значения, какой формат вы используете. Выберите что-то одно, что имеет все необходимые данные и чего вы можете придерживаться. Другая причина состоит в том, что это не программирование. Я не пытался использовать структурированное мышление, при этом мои модели полны ООТО и подобных ему вещей. В настояшее время при реализации явной логики обычно ограничиваются строго структурированными конструкциями. Я здесь предпочитаю ООТО и другие бесструктурные вещи, так как при этом не надо далеко отходить от естественного языка спецификации.
Большинство естественно-языковых спецификаций бесструктурно. Если вы слишком отдаляетесь от первоначальной формулировки для принудительного использования, скажем, вложенного дерева 1Е-ТНЕН-ЕЕ5Е, то увеличивается вероятность ошибки моделирования, которая, в свою очередь, приводит к тестовым ошибкам или необнаруженным ошибкам программы. 3.4.3.
Выбор путей тестирования 3.4.3.1 Основы Вы ничего не выиграете, уменьшая количество тестов. Лучше использовать простые, очевидные тесты, чем выполнять работу с меньшим количеством более громоздких тестов. Предыдуший пример можно, вероятно, сжать до 10 тестов, но нам следует использовать большее их число, если при этом тестирование проходит максимально чисто и больше согласовано с требованиями. 78 Глава 3 ° Тестирование потока управления Очень часто выбор путей тестирования и их активизацию выполняют одновременно, так как корреляция предикатов может воспрепятствовать проходу программы по произвольно выбранным путям.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
