Тестирование черного ящика. Б. Бейзер (2004) (1186170), страница 15
Текст из файла (страница 15)
— Примеч. научи. ред 64 Глава 3 » Тестирование потока управления (логическос), численный, оператор, ИЛИ (логическое), вставка, обработка, шаг обработки, программа, программист, программирование, псевдокод, реализм, перепрофилирование, выпуск, требования, перезапись, коммерческая презентация, предложение, система уравнений, программное обеспечение, спецификация, ошибка спецификации, алектронная таблица, структурированная программа, символическая подстановка, таблица, ошибка теста, проектирование теста, тестировшик, дерево, ИСТИНА, таблица истинности, значение истинности, неструктурированное программное обеспечение, значение, версия, текстовый редактор. Внутренние термины: проходимый путь, поведение, поведенческое тестирование, тестирование черного ящика, слеп, покрытие ветви, ошибка, случайная корректность, контроль конфигурации, покрываемые пути, входной узел, выходной узел, характсристика, граф, модель на основе графа, входящая связь, ввод, входное значение, связь, покрытие связей, вес связи, представление графа в виде списка связей, цикл, недостающая характеристика, недостающий путь, узел, имя узла, объект, оракул, итог, вывод, исходящая связь, параллельные связи, путь, сегмент пути, прототип, отношение, требование, спецификация, отрезок пути, тестовый вариант, тестовый комплект, метод тестирования, инструмент тестирования, непроходимый путь, тестирование модуля, критерий соответствия.
Логический предикат. Предложение или выражение, которос может принимать логическое значение ИСТИНА или ЛОЖЬ. Примеры: «Небо голубое», «Это утверждение ЛОЖНОгч «Ваш родитель может предъявлять на вас права, поскольку вы зависите от его доходов», «Утверждается, что ваш ребенок, находится на вашем иждивении в соответствии с соглашением, принятым до 1985 года». Првдикат выбора. Выражение, которое может принимать более двух значений и служит для выбора одного из нескольких вариантов. Пример: «Отметьте только одну позицию — (1) холост, (2) женат, заполняю совместную налоговую декларацию, (3) женат, заполняем раздельные налоговые декларации, (ч) глава хозяйства, (5) вдовецм Термин «предикат» часто используется для обозначения как логических предикатов, так и предикатов выбора.
Логическое И. В логических и формальных моделях «И» строго определяется, следующим образом: А ог Б будет истиной в том и только в том случае, если оба, А и Б, истинны. Однако в нестрого логических и неформальных документах, таких как бланки декларации на подоходный налог, слова и фразы, подобные «еще», «также», «в дополнение к» и даже «илн» ыо~ут на самом деле означать логическое И. Логическое ИЛИ. В логических и формальных моделях «ИЛИ» всегда означает ВКЛЮЧАЮЩЕЕ ИЛИ, иначе «ИггИЛИ».
Неформальное использование может быть различным и при интерпретации рекомендуется быть осторожным. Логическое ИЕ. В логических и формальных моделях вам следует заключить предложение в скобки и поставить оператор НЕ впсреди, как, например, «НЕ (ваш ребенок живет с вами)» вместо «ваш ребенок НЕ живет с вами». При неформальном написании НЕ может стоять практически в лк>бом месте в предложении, позтому надо быть внимательным. 3.3.
Отношения и модель 65 Составной предикат. Логическое выражение, включающее два или более предикатов, связанных операторами И, ИЛИ или НЕ. Примеры: (1) «Ваш ребенок НЕ живет с вами И находится на вашем иждивении в соответствии с соглашением, принятым до 1985 года», (2) «(В 1994 году вы получали оклад И/ИЛИ чаевые) И ваш оклад вместе с чаевыми НЕ превысил 60600 $ И вы НЕ получали чаевые, подлежащие налогообложению по программе социального обеспечения или страхования здоровья по старости, о которых вы НЕ сообщали своему работодателю, И вы священнослужитель, получивший разрешение ВНС НЕ платить налоги с заработков из этих источников, И вы платите налоги на индивидуальное предпринимательство с других доходов»'. Независимые предикаты.
Два или более предикатов в пути модели называются независим»)зим, если их значения истинности (ИСТИНА/ЛОЖЬ) формируются независимо друг от друга. Коррелированные предикапты. Два или более предикатов в пути модели называются коррелированными, если значение истинности для одного из них определяет значения истинности для всех остальных предикатов в этол! пути. Пример: путь содержит два одинаковых предиката, и значение истинности для первого из них определяет значение истинности для второго предиката на этом пути.
Комплеметттарные сегменты пути. Два сегмента пути, содержащие такие предикаты, что если в одном сегменте предикат принимает значение ИСТИНА, то в другом предикат получает значение ЛОЖЬ и наоборот. 3.3. Отношения и модель 3.3.1. Основы Информация этой главы раскрывается в дополнительных источниках [А11Е72, С|АК76, ЕВЕК94, НО тй(Р76, НО%'Р87, ККА()73, РЕТЕ76~. Обьекты (узлы). Последовательность шагов обработки, такая, что выполнение любой части этой последовательности ведет за собой выполнение всей последовательности (если нет ошибок). Пример: Форма 1040.
Следующие строки можно моделировать одним узлом, включающим в себя строки с 7 по!4, несколькими узлами, скажем, «7 — 8а-8Ь, 9— 10 — 11, 12, 13-14», или даже последовательностью из 9 отдельных узлов, по одному на каждую строку. 7. (введите) иадеь, ьа)аю еь. !тра (онпады, дополнительные доходы, чаевые) За (введите) сахаше тптегеь! !порше (напогообпагаеный дохол).
Зб. (введите) !ах-ехешр! тпсегеь! тпсоше (не обпагаемыи налогон доход). 9. (введите) Шю бепб тпсоше (доход по дивилендан). )О (введите) сахаре гегцпбь. сгещ сь, ог о!!ье!ь от ьса!е апб )оса! тпсоше (ахеь (налогооблагаемые платеяи, нредиты. компенсации местного подоходного налога и подоходного налога в казну штата).
' Я не выдумал это сам. Данная спецификации — вто путь выполнения в форме БЕ ВНС, 1994. Можете убедитьсн сами. Полоходный налог 10! — онрелеленно более напряженный курс, нежели программирование 101 или тестирование 101, з з.тят 66 Глава 3 ° Тестирование потока управления 11 (введите) а1 паолу гесетчеб (помученные апииенты) 12 (введите) Ьыз)певз тпсоше ог 1озз (дохоя ипи убыток от предприникатепьской деятепьности).
!3 (введите) сартса1 ба)п ог 1озз (капитальные прибыль ипи убыток). 14. (введите) осмег ратпв ог 1оззез (другие прибыли ипи убытки) Ниже приведены некоторые из возможных моделей графов для данной спецификации. 7-14 Отношения Гсвязи): за ... )тепосредстеетттто следует ., Если в предыдущем примере использовать один узел для каждого шага, то за узлом 9 непосредственно следует узел 10, а за узлом 10 непосредствентто следует узел 11, н так далее.
Узел с предикатон. Узел с двумя или более исходящими связями, вес каждой из которых равен значению предиката. То есть ИСТИНА/ЛОЖЬ для логического предиката и по одному из нескольких вариантов для предиката выбора. Узел с предпкатом выбирает один из двух илп более альтернативных путей, по которым может пойти процесс. Пример: Строки с ЗЗЬ по 34 в форме 1040. ЗЗЬ Если ваши родитепи иогут утвершдать. что вы находитес~ на их иждивении, отпетые графу ЗЗЬ, в противном спучае не отмечайте графу ЗЗЬ Граф, моделирующий зто предпошение.
изобрашен на рисунке. Узел обработки метьте графу ЗЗЬ» Следующий узел в модели Узел с предиквтом: «ввщн родители могут утверждать, что вы находитесь нв нх иждивении?» Узел выбора. Узел с двумя или более исходящими связями, вес каждой из которых равен одному из значений величины выбора. Пример: строка 34 в форме 1040: Введите нанбольшуш нз ваших льгот, перечисленных в бланке А, строка 29 ИЛИ обычная льгота для вашей форны заполнения, ука- 3.3.
Отношения и модель 67 Датапызироа О Стандартные Г)омачана графа 33а или 3 Представление в виде списка связей более информативно и больше подходит Лля данного случая: 34 Стандартные льготы нпн детализированные льготы? 34. 1 Детализированные 34.2 Станпвртные 35 34 3 ИСТИНА 34 4 ЛОЖЬ 34.3 БОТО Страница 22 35 34.4 Отмечена графа ЗЗс? 34.5 Выберите 34.! БОТО Бпанн А. стропа 29 34.2 Отмечена графа ЗЗа нлн ЗЗЬ? 34.6 ИСТИНА 34.5 ЛОЖЬ За 7 ст 34 8 совместная декларация 34 8 вдовец 34.9 раздельные декларация 34. 1О глава хозяйства 35 35 35 35 35 34.6 Льготы - $0 34.7 Льготы $3.800 34.8 Льготы - $6,350 34.9 Льготы " $3,175 34 10 Льготы .
$5600 35 Прополаить модель Соедиттительныйузел. Узел с двумя или более входящими связями. В предыдушем примере узлы 34.8, 35 были соединительными узлами. ванная нише. Однако, если вы отнетили какую-либо графу на строке 33а или Ь, еле. дуйте инструкциян для определения ваших стандартных льгот. Если вы отнетили графу ЗЗс, ваша стандартная льгота равна нулю. (а) холост = $3,800, (Ь) шенат, заполняю совнестную налоговую декларацию = $6,350. (с) вдовец = $6,350 60) Женат, за. полняеи раздельные налоговые декларации = $3,175, (е) глава хозяйства - $5,600. Слелующий граф моделирует большую часть этого предложения. Узел 34.5 является узлом выбора. 68 Глава 3 ° Тестирование потока управления Некоторые комментарии, касающиеся данной модели. Узел 34 — узел с предикатом.
Обратите внимание на использование здесь союза «или». Это не логическое ИЛИ. Это способ обозначить предикат'. Предикат для узла 34.2 является составным предикатом, и ИЛИ здесь име- ет смысл включающего ИЛИ, посколысу можно отметить как одну графу, так и обе одновременно. Формальная запись данного предиката будет сле- дующей: «Вы отметили графу ЗЗа ИЛИ вы отметили графу ЗЗЬ (или обе)». Этот предикат также представляет интерес из-за использования в нем слова «однако». Ключевым словом в этом случае является не «однако», а следую- щее за ним «если», Вот более подробная модель для этого узла: 34.2 Отнечена графа ЗЗа? 34.3 ИСТИНА 34 2.1 ЛОЖЬ 34.2. 1 Отмечена графа ЗЗЬ? 34,3 ИСТИНА 34 4 ЛОЖЬ 1.
2. А вот еще более подробная модель для этого узла: 34.2 Отмечена графа ЗЗа? 34.2.2 ИСТИНА 34 2 1 ЛОЖЬ 34.2.1 Отмечена графа ЗЗЬ? 34.3 ИСТИНА 34.4 34.2.2 Отмечена графа ЗЗЬ? 34.3 ЛОЖЬ Эта модель лучше первоначальной, поскольку она вскрывает сложность составного предиката и мы, скорее всего, обнаружим больше ошибок с ее помощью [МУЕК79). Первая улучшенная модель может быть слепа к определенному типу ошибок, так как в ней не хватает критического подхода к предикату в узле 34.2.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
