Тестирование черного ящика. Б. Бейзер (2004) (1186170), страница 44
Текст из файла (страница 44)
Оно является альтернативой общему эвристическому методу тестирования экстремальных значений и предельных значений входных величин. 7.2. Основные термины Внешние терминьс алгебра, неоднозначный, приложение, аппроксимировать, массив, вычислять, оператор СА5Е, классификация, код, коэффициент, коллинеарный, константа, несовместимый, координатные оси, компланарный, проверка соответствия данных, размерность, уравнение, эквидистантный, выражение, ЛОЖЬ, функция, иерархия, 1Е-ТНЕМ-ЕЕ5Е, реализация, неравенство, пересекаться, линия, линейный, логика, сопровождение, означать, модель, нелинейный, численный, перекрывать, параллельный, плоскость, точка, полиномиальный, точность, обработка, программа, программист, радиус, область, округление, набор, программное обеспечение, пространство, подмножество, поверхность, символическая подстановка, система, таблица, управляемый таблицами, тестируемость, преобразование, дерево, Внутренние термины: слепота, ошибка, случайная корректность, поток управления, поток данных, граф, ввод, связь, покрытие связей, вес связи, объект, итог, узел, покрытие узлов, вес узла, вывод, предикат, отношение, спецификация, тест, тестовый вариант, поток транзакций, Входная переменная.
Численный объект, который система получает для обработки при тестировании. В общем случае система обрабатывает и входных переменных. 180 Глава 7 ° Тестирование доменов Входной вектор. Набор значений и входных переменных, включающий одно значение для каждой переменной. В наших задачах мы будем рассматривать вхолной вектор так, как если бы он являлся массивом. Так же мы будем использовать эквивалентные термины: контрольный вектор, контрольная точка. Входное пространство.
Абстрактное и-мерное пространство, в котором определяется вхолной вектор. Наличие входных переменных подразумевает наличие и-мерного входного пространства. Выходная переменная. В тестировании доменов означает численную переменную в тестируемой системе. В общем случае система вычисляет значения ш выходных переменных. Выходной вектор. Набор значений ш выходных переменных.
Как и для случая входного вектора, мы будем рассматривать выходной вектор так, как если бы он являлся массивом. Выходное пространство. ш-мерное пространство выходных векторов. Домен. Полпространство входного пространства, в котором задается обработка, выполняемая тестируемой системой.
Мы считаем, что известен способ, с помощью которого можно определить, принадлежит лн входной вектор данному домену илн нет. При тестировании доменов, они задаются системой граничных неравенств (см. ниже). Область. Подпространство выходного пространства, состоящее из значений, вычисленных тестируемой системой (выходных значений). Каждому домену соответствует своя область. Граница домена.
Способ определения домена. Обычно определение происходит в форме алгебраических неравенств. Мы будем использовать термин «граница» вместо термина «граница ломена» там, где не может возникнуть неоднозначности. Граничное неравенство. Алгебраическое выражение, содержащее входные переменные, с помощью которого можно определить, какие точки входного пространства принадлежат рассматриваемому домену. К примеру, неравенство х > 7 означает, что для всех точек, содержащихся в данном домене, значение входной переменной х будет больше или равно семи. Х<7 Х=7 Х>7 Граничное уравнение. Уравнение, получающееся при превращении граничного неравенства в равенство (то есть при замене символа «>=» на «=»), Граничное множество домена.
Система неравенств, совместно определяющих домен: напрцмер, х>"7, к<44 определяют домен, как диапазон чисел, лежащий между 7 и 44, причем 7 в него включается, а 44 — нет. Поскольку ломены задаются соответствующими системами уравнений, мы в дальнейшем будем подразумевать под этими системами уравнений сами домены. Х = 7 Х >= 7 е Х < 44 Х = 44 Рассматриваемый домен 7.2.
Основные термины 181 Закрытие границы Граница ломена называется закрытой, если точки, лежащие на ней, включаются в рассматриваемый домен. Например, в домене х >= 7 граница закрыта, поскольку значение 7 включено в данный домен. В одномерном пространстве закрытые границы изображаются черными точками. Открытые границы. Если граница не закрыта, то она открыта. В этом случае точки на границе не принадлежат рассматриваемому домену, они принадлежат снежному домену, если таковой существует.
В предыдущем примере домен закрыт в точке х = 7 и открыт в точке х = 44, поскольку точка 44 не принадлежит этому домену. В одномерном пространстве, закрытые границы изображаются заштрихованными точками. Закрытый домен. Домен, у которого все границы закрыты. Открытый домен. Домен, у которого все границы открыты. Домен не обязательно должен быть открытым или закрытым.
Так, например, вполне может существовать домен с одной открытой и олной закрытой границами. На рисунке рассматриваемый домен ограничен пятью неравенствами: Х > 0, Х < 12, 2У < Х+4, 2У > Х-8, и г' > 0. В пространстве с размерностью 2 штриховка отмечает сторону, с которой домен закрыт. В предыдущем примере оси Х (т = О) и т(Х = 0) не включены в рассматриваемый домен, а линия Х=12 и две диагональные границы — включены.
х Ах!8 Гиперплоскосгль. В и-мерном пространстве линейная поверхность с размерностью меньшей, чем и называется гиперплоскостью. Например, на двумерной плоскости линия и точка являются гнперплоскостями, в одномерном пространстве точка является гипернлоскостью, в трехмерном пространстве плоскость, линия и точка — гиперплоскости. Границы доменов представляют собой гиперплоскости, как правило (но не всегла), с размерностью и — 1. Узловая точка.
Точка пересечения двух или более границ доменов. В литературе ее часто называют «особая точка». В и-мерном пространстве узловую точку можно получить, решая систему из п (линейно независимых) граничных уравнений. 182 Глава 7 ° Тестирование доменов Внутренняя точка. Точка, лежащая внутри рассматриваемого домена. Впешняя точка. Точка, лежащая вне рассматриваемого домена. Вырожденный дамен. В и-мерном пространстве домен с размерностью меньшей, чем и.
Так, например, в двухмерном пространстве вырожденный домен состоит из линии или точки. В трехмерном пространстве вырожденный домен состоит из плоскости, линии или точки. Вырожденния граница. В и-мерном пространстве граница с размерностью меньшей, чем и — 1. Так, например, в трехмерном пространстве вырожденная граница домена может включать в себя линию или точку, но не плоскость. В двухмерном пространстве вырожденная граница домена состоит из точки, но не из линии. Смежные домены. Два домена называются смежными, если у нпх общее граничное неравенство. Если граница рассматриваемого домена закрыта, то эта же граница смежного домена должна быть открыта, и наоборот. На рисунке рассматриваемый й домен закрыт по отношению к своей верхней диагональной границе, поэтому, смежный домен над линией открыт по отношению к данной границе.
Эпсилон-окресгпность (точки). Маленькая область вокруг точки радиуса е (эпсилон), где е — произвольная, но маленькая величина. На практике мы выбираем 7.2. Основные термины 183 шего для нас интерес в приложении. Иныл|и словами, наибольшее значение е выбирается из условия, чтобы ошибка порядка е или меньше была приемлемой для данного приложения. Точка НА. Точка, лежашая на границе дол|ена или находящаяся так близко к границе, насколько это возможно, чтобы удовлетворять условиям, относящимся к границе'. Точки ВНЕ [СОНЕ781 Если дол|ен открыт по отношению к какой-либо границе, то точка ВНЕ этой границы — внутренняя точка, лежащая в непосредственной близости от границы (в пределах е-окрестности).
Если домен закрыт, тогда точка ВНЕ является внешней точкой и лежит в непосредственной близости от границы снаружи. Это означает, что точка ВНЕ не удовлетворяет условиям, относящимся к границе ЦЕХС 94]. Очевидно, у двух сл|ежных доменов может быть одна и та же точка ВНЕ. Запомнить определение вам поможет следующий акроним: ЗВСОВИ вЂ” Закрыт ВНЕ Снаружи, Открыт ВНЕ Изнутри'.
Линейное неравенство. Неравенство вида а,х, + а,х, + а,х, +...+а„х„+. + к > О, где х,— элементы входного вектора (то есть входные переменные), а, — численные коэффициенты, а к — константа. При тестировании доменов границы часто описываются линейными неравенствами. Линейный домен. Домен, все граничные неравенства которого линейны. Нелинейный домен.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
