Тестирование черного ящика. Б. Бейзер (2004) (1186170), страница 52
Текст из файла (страница 52)
2. Что является шестым доменом в примере подраздела 7.3.1? 3. Найдите неопределенность в первой спецификации подраздела 7.3.2. 4. Найдите все огрехи в последней спецификации подраздела 7.3.3. 5. В бланке 5Е определяются следующие домены: протестируйте их 5е17 бвр1оуыепт тпсопе !Поход от частного предпринииателнстаа1 ЧП доход < 433.13 433 13 < ЧП доход <= 57б00 57500 < ЧП доход < 135000 !35000 <- Чистый ЧП доход Тариф 0 О.!53 * Чистый ЧП доход 0 029 * !Чистый ЧП доход -57б001 + 8812 80 11057 40 1) Вычисляемая функция: ы = Зх' + 1пу .
ехр(х' ° Неравенства; -37 <= х' + у2 . 10х - 8у <- -25, х Тесты: (х - 5, у = 8), (5, 6), (5, 2), (5, О), (6.999 варианты тестов, ваша задача их обосновать. 2) Вычисляемая функция: Зх+ 7у ° 908. 7345 Неравенства:1 <= х <- 3,2 <- у 10,х'у'"' >= 3) Вычисляемая функция; 14х + 3.5х' + 17 Неравенства: 0 <= 14х + 3.5х' + 17 — 31, 0 <- х у') + 17. >- 1,у >= О. 4), (9.001, 4). Я вам дал ЗО <- 4 6. Продемонстрируйте, что стратегия 1х1 работает для любой комбинации открытых и закрытых границ в одномерном пространстве. 7.
Начертите границы доменов, задаваемых последними неравенствами подраздела 7А.6, и идентифицируйте все эти домены. Разработайте набор тестов, используя сильные стратегии 1х 1 и Х х 1. 8. Зля каждого из следующих примеров разработайте набор тестов, используя стратегии 1 х 1 и Х х 1. Под набором тестов подразумеваются входные значения и предсказанные итоги. Синтаксическое тестирование 8.1. Обзор Синтаксическое тестирование — зто мощный метод для проверки командно-управляемого программного обеспечения и сходных приложений.
Он достаточно легко осуществляется и поддерживается многими коммерческими инструментальными средствами. 8.2. Основные термины Внешние термины; алгебра, АЫЯ1, приложение, АЯС11, булева, символ, код, команда, связь, содержание, управление, база данных, накопитель, файл, имя файла, идентичность, вход, целочисленный, непосредственное соседство, язык, уровень, логическое ИЛИ, макро, модель, МЯ-РОЯ, имя, число, операционная система, выборочно, Рааса!, конвейеризация, программа, переадресация, последовательность, набор, программное обеспечение, дерево, БЫ1Х, значение, переменная.
Внутренние термины; ошибка, чистый тест, покрытие, грязный тест, тестирование доменов, связь, покрытие связей, вес связи, цикл, тестирование цикла, узел, покрытие узлов, объект, итог, путь, отношение, спецификация, тестирование конечного автомата, система, тест. Алфавит. Набор определенных символов, применяемых в данной задаче.
Например, АЯС11, иероглифы, (а, Ь, с, х, у, %, 7). Алфавит может меняться в зависимости от приложения и даже отличаться для разных тестов. Не забывайте проверять алфавит, так как большое количество ошибок (найденных путем синтаксического тестирования) возникает из-за использования неверного алфавита, например, АЯС11 вместо АЫЯ1. 212 глава 8 ° Синтаксическое тестирование Тире. Тире между двумя элементами алфавита заменяет собой все элементы в алфавите, начинающиеся с первого и заканчивающиеся последним элементом, в предположении что естественный порядок этих символов понятен, как, например, «а — яы «1-9» означает целочисленные символы от 1 до 9, включительно.
Метасимволы (или металингвистические символы). Символы, используемые для описания языка. Используемые метасимволы включают в себя: (, ), ), [, ), (, ), *, +, <, »,?, !3, 6, а, Ф,:,:=, -, —, (запятая), (пробел) и символы, используемгяе в обычных текстах. Интерпретация и применение метасимволов будут обсуждаться ниже.
Мы будем рассматривать слова и команды, составленные из символов, а также способы их тестирования, поэтому так важно различать тестируемые символы и символы, которые описывают тестируемые символы. Для того, чтобы описать тест, включающий символ К обычно этот символ дублируют. То есть используют комбинацию символов « ~ )». Так, например, «[1» означает не два метасимвола «[», а одиночную квадратную скобку, которая фигурирует в тесте.
Нуль (Л). Металингвистический символ, используемый для обозначения отсутствия символа. Не путайте Л с символом пробела (а), или пустым символом ((3), Символ пробела (о). Металингвистический символ, обозначающий знак пробела (например, в напечатанном тексте). Пробелы между словами в предложении используются для удобства чтения и не являются частью нашего описательного языка. Пустой символ ((3). Металингвистический символ, обозначающий пустоту. Он может совпадать, а может и не совпадать с символом пробела. Типичное о~личие между пустым символом и символом пробела заключается в том, что а создает видимое пространство при печати или в изображении чего-либо, в то время как !3 — нет.
Строка. Последовательность, состоящая из ноля или более символов алфавита. Например, авб567хЯ3(3111, ! 776,666999,(:( ))>, — //'~~--. Строки идентифицируются при помощи букв верхнего регистра, например, А. Набор сгпрок. Наборы строк выделяются фигурными скобками, например, (А). Набор, состоящий, к примеру, из нулевой строки Л вЂ” (Л), обозначается просто Л.
Имя строки. Другой способ обозначить строку, это заключить ее имя в угловые скобки, подобно <имя строки>. Строковое имя также может быть именем набора строк. Например, (имя строки альфа>с=(х,хх,ав,сде). Команда. Строка, используемая для управления. Команды состоят из комбинации полей, операторов, операндов и разделителей, Командно-управляемое программное обеспечение. Программная система или ее часть, в которой основное управление происходит посредством строк, вводимых из командной строки, как, например, МЯ-[)05 и ()Н1Х.
Командный язык. Набор команд, используемый для управления командно- управляемым программным обеспечением. Основная задача синтаксического тестирования — проверка командных языков. Синтаксис. Правила, определяющие, что является, а что не является правильной строкой (например, командой). Правила могут быть, а могут и не быть универсальными для всех команд, как, например, корректная форма представления чисел. Но для каждой команды в командном языке должно существовать какое-либо 8.2. Основные термины 213 правило. Синтаксическое тестирование используется для проверки, сможет ли программа распознать правильным образом составленные строки и отбросить некорректно составленные.
Строковое иоле. (или просто «поле», если смысл понятен из контекста) Часть строки, которой вы даете определенное имя. Операнд. Имя объекта, фигурируюгцего в командах; например, в команде ОЕЕ С: <иня файла>, объект <ияя файла> является операндом. Операнды, как правило, имеют вид слов в обычном языке, таких как «имя файла» или «имя носителя».
Оператор. Специальные символы или строки, показывающие, какое действие должно быть выполнено над определенным операндом. В предыдущем примере ключевое слово ОЕЕ является оператором. Ключевое слово. Оператор (обычно), который имеет вид обычного слова, такого как ОЕЕЕТЕ, 5ТОПЕ, ОРЕй. Несмотря на то, что ключевое слово может состоять из большого числа символов, это, тем не менее, одиночный оператор. Разделитпель.
Символы алфавита, используемые для разделения отдельных операторов, операндов, и/или для обозначения конца команды. В качестве общепринятых разделителей обычно используют символы [), а, О ), ~ (возврат каретки), =(переводстроки), [,],/,'~, «, » и,. Грамматический разбор. Процесс разбора строки, чтобы выделить в ней поля, операторы, операнды и разделители. Программа, которая это выполняет, называется синтаксический анализатор. Любые командно-управляемые системы должны иметь синтаксический анализатор, но зачастую он реализуется неявно. Главной задачей синтаксического тестирования является проверка синтаксического анализатора. Нам не обязательно знать конкретный способ проведения синтаксического анализа, чтобы тестировать анализатор.
Синтаксический анализ. Грамматический разбор в применении к одиночному полю или части команды, например, идентификация поля подстрока как строки <число>. Синтаксическое тестирование используется для проверки корректности синтаксического анализа, выполняемого программой. Семантический анализ. Операнды имеют определенные значения. Число во введенной команде, кроме того, что оно является правильно составленной строкой, имеет еще и значение. У этого значения могут быть пределы, то есть максимум и минимум. Синтаксическое тестирование не имеет непосредственного отношения к семантическому анализу.
Этот анализ лучше делать при помощи других методов, таких как тестирование доменов для численных полей. Интерпретация команды. Предположим, что был проведен грамматический разбор команды и семантический анализ входящих в команду полей. Затем полученные данные были отправлены в программу на обработку, что означает выполнение команды. Акт выполнения команды называется интерпретацией команды.
Лехсическ я эквивалентность. Если вы замените буквы английского алфавита на равнозначные буквы, скажем, в кириллице, то вы создадите новый командный язык, который будет лексически эквивалентен первоначальному. РЕ1 ЕТЕ С: '.*, ЬЕАЕТЕ Х: ».», ДЕЛЕТЕ Г: '.' и 1к»'и х *.* лексически эквивалентны, поскольку мы всего лишь заменили алфавит. Лексическая эквивалентность может означать трансформацию строки из нескольких символов в единичный символ, как, 214 Глава 8 ° Синтаксическое тестирование например, ПЛЮС трансформируется в +. Лексическая эквивалентность может также подразумевать изменение направления чтения слева направо на направление справа налево или сверху вниз.
К примеру, ПЕ) ЕТЕ С: *.' может трансформироваться в '.'. з л 7к'). Важно понимать эту концепцию в применении к локализованнымм продуктам, чтобы избежать лишней траты сил на переделку тестов, в то время как проблема заключается в тривиальном изменении алфавита для лексически эквивалентного набора команд. Если два набора команд различаются только лексически, то, как правило, вы можете автоматически конвертировать тесты, написанные для одного алфавита, в тесты, написанные для другого. Лексический анализ Операция идентификации операторов и операндов и их конвертация во внутренний язык, в котором числа, называемые маркерами, заменяют каждый оператор и операнд. Эту операцию называют также маркировкой, поскольку в результате входная строка, составленная в определенном алфавите, конвертируется в строку маркеров.
Лексический анализ, обычно явный и простой, должен присутствовать в любой командно-управляемой системе. Лексически эквивалентные наборы команд маркируются в один и тот же набор маркеров. Синтаксическое тестирование используется для проверки корректности лексического анализа. Нулевой набор. Набор Ф, не содержащий никакой (даже нулевой) строки. Голова строки (или начало).
Первый символ строки при ее проходе слева направо (в соответствуюШем алфавите с лексико-графическим упорядочением, разумеется). Хвост строки (или конец). Последний символ строки при ее проходе слева направо. Конкатенация. Если А и В строки, а С вЂ” строка, полученная в результате сцепления головы В с хвостом А, тогда говорят, что в результате конкатенации А и В получилась строка С. Конкатенация изображается путем непосредственного соседства соединяемых строк, например, АВ. К примеру, если <строка а>::-(хххххх), а <строка б>:: — Ш011>, тогда результат конкатенации будет выглядеть как <строка а><строка б>=(хххухг11101Ц.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
