Тестирование черного ящика. Б. Бейзер (2004) (1186170), страница 61
Текст из файла (страница 61)
В операционной системе тт'пн)оттгэ предусмотрен большой выбор возможностей для входного колирования. Вот некоторые способы активизации меню, что означает смену состояния (появляется новое меню). Вмкод Вайл дарево Вид Настрой а И струмвнты Окно Загрузить ООЗ = Стл ° О Справка Най Еор в нроввть К П РОВВ ПГЫМ Зал Ф ООЗ У Р Л, ° Р Л.
Н, РЫ С К ьмпм диыв Иогарвиеы - ~ГПАВА В -ТЕСТИРОВАНИЕ КОНЕЧНОГО ЧИСЛА СОСТОЯНИИ) Вс~ави~ь Сквма И струне ты График Таблица Ои о Справка Закры~ь Выбор при помощи мыши. Поместите курсор мыши на соответствующую область в строке меню и нажмите на левую кнопку. 9.3. Отношения и модель 243 Другие указатели. Кроме мыши, можно использовать и другие устройства указания, такие как трекбол, джойстик, сенсорный экран, световое перо — все можно пересчитать по пальцам. Комбинация А~Т«Клавиша. Если вы находитесь в начальном состоянии, то можно использовать комбинацию АСТ + Ключевая клавиша, где «Ключевая клавиш໠— это подчеркнутая буква в названии меню, например, Вид. Функциональные клавиши.
Функциональные клавиши могут быть запрограммированы для открытия определенных меню. К примеру, Е1 обычно открывает меню Справка. Стрелки. Если в строке меню выбрано какое-нибудь меню, то вы можете перейти в соседнее меню путем нажатия на клавишу со стрелкой влево или вправо. Перечисленные выше способы представляют собой различные варианты входного кодирования.
Преобразование действий пользователя (нажатия клавиш или передвижения курсора мыши) во входной код часто осуществляется операционной системой. Если это применимо к вашему случаю, то можете не обращать на это внимания, если вы только не тестируете операционную систему. Однако если кодирование выполняет ваше приложение, то вам следовало бы его проверить. Если ваше приложение поддерживает несколько входных устройств и программа обрабатывает эти устройства напрямую, то необходимо рассматривать отдельную кодировку для каждого такого устройства и эти кодировки должны быть проверены. В приведенном примере существует начальное состояние: состояние, в котором в строке меню не выбрано ни одного меню.
Для возврата в начальное состояние из большинства меню существует несколько способов, например нажатие на клавишу Е5С или АСТ. Для большинства состояний существует переход самого в себя. В начальном состоянии нажатие фактически любой обычной клавиши приводит к переходу обратно в начальное состояние.
Однако обратите внимание, что когда вы находитесь в одном из открытых пунктов меню, некоторые из обычных клавиш становятся активными. Например, в моем меню Справка активны следующие подчеркнутые клавиши: Быстрая справка, Содержание, Поиск по справке, Как пользоваться справкой, жайлы йеаоше, Я программе. Другие буквенные клавиши вызывают переход состояния в себя, тот же эффект производит комбинация СТй~, зН!ЕТ и обычных клавиш. Большая их часть сигнализирует, что они «не реагируют» на нажатие.
Большинство клавиш действительно реагирует на нажатие, но некоторые не делают этого, что означает, что была выбрана другая кодировка выхода. Такие вещи имеет смысл проверять. Веса связей (вылодные кодировки). В этом примере производимьш действия достаточно сложны. Предположим, в системе открыто меню или другое окно. Выбор какого-либо пункта может привести к целой последовательности действий. Некоторые из них работают в текущем окне, а некоторые открывают дополнительные окна.
Попробуем использовать эту концепцию в модели космического корабля ЕпгегргЬе. У него есть импульсный двигатель с тремя возможными режимами: разгон (Р), нейтральное положение (П), задний ход (3). Корабль, в свою очередь, тоже имеет три состояния: движение вперед (В), остановка (О), движение назад 244 Глава 9 ° Тестирование систем с конечным числом сопояннй (Н). Комбинации режима работы ракетного двигателя и состояния движения корабля образуют девять состояний; РВ, РО, РН, П В, ПО, ПН, ЗВ, ЗО и ЗН. Согласно требованиям, предъявляемым к управлению импульсным ракетным двигателем, для того чтобы переключиться в положение «разгон» или «задний ход», вам надо пройти нейтральное положение. В нейтральном положении все двигатели выключены: Р<>П<>3.
Допустимы следующие входы: р>р, з>з, п>п, р>п, п>р, п>з и з>п. Давайте теперь построим диаграмму состояний для корабля Епсегрг1зе. Наш корабль подчиняется ньютоновскому закону движения. Мы начнем с комбинации ПО, двигатели выключены и корабль стоит на месте. Если мы не будем касаться ручек управления (п>п), то ничего не произойдет и мы останемся в том же самом положении.
Мы можем выбрать один из двух оставшихся вариантов; разгон вперед (л>р) или разгон назад (л> з). Между моментом времени, когда мы повернули ручку управления ракетным двигателем, и моментом, когда этот двигатель заработает, есть некая задержка. Если мы выбрали опцию разгон вперед (п > р), мы перешли в состояние РО (разгон — остановка). Аналогично если мы выберем опцию разгон назад, мы перейдем в состояние ЗО. В любом случае, если мы будем держать двигатель включенным (р>р), то он рано или поздно заработает и мы начнем двигаться вперед.
Это переведет нас в состояние РВ (разгон — движение вперед). Если мы были в состоянии РО (разгон — остановка) и при этом выключили двигатель, то вернемся обратно в состояние ПО (нейтральное положение — остановка). Из рассмотрения верхних переходов ЗВ > 30 > ЗН и нижних переходов РН > РО > РВ следует, что если мы движемся в определенном направлении, то мы физически не можем изменить направление движения без остановки в какой-либо точке. НАЗАД < ДВИЖЕНИЕ > ВПЕРЕД >и Ниже приведены некоторые наблюдения, касающиеся модели и соответствующего ей графа. 1. Граф сильно связан, поскольку между любыми двумя состояниями существует по меньшей мере один путь.
Обратите внимание на то, что эти пути не являются прямыми переходами, мы не можем перейти из одного состояния в другое, просто изменив направление движения на обратное. Например, чтобы перейти из состояния РВ в состояние ЗН, вам придется пройти следующий путь: РВ-ПВ-ЗВ-ЗО-ЗН, а для перехода из ЗН в РВ: ЗН-ПН-РН-РО-РВ. 9.3. Отношения и модель 245 2. Моей задачей было моделирование двух факторов: управления режимом ракетного двигателя и направления движения корабля.
Так как для каждого из иих было три возможных варианта, то, комбинируя их, мы получили девять состояний. Число состояний равно произведению числа вариантов для каждого фактора. Графы состояний растут очень быстро. 3. Между входами и состояниями существует отношение. Несмотря иа то, что допустимы семь входных действий, в определенном состоянии ие все оии разрешены. Более детальная модель (см.
таблицу состояний в разделе 9.3.3 ниже) включает в себя все входы, в том числе ие разрешенные. Зачем? Так как в нашем случае мы ие знаем, насколько надежна система, возможно, оиа содержит ошибки. Предположим, например, что управление двигателем сломано и существует возможность перевода его из режима Эадний ход в режим Разгон, минуя Нейтральное половение (см, проблему 2). В простейшей модели состояния и входы це зависят друг от друга, но это почти никогда ие встречается на практике.
Например, действия различных клавиш в модели меню явно зависят от состояния (от того, какое меню активно). 4. Модель космического корабля имеет совершенную симметрию, нечасто встречающуюся иа практике. Обычно переходы соединяют состояния в системе беспорядочно. 9.3.2.
Модели Мили и модели Мура Модели с конечным числом состояний, используемые в этой книге, называются моделями Мили 1МЕА1 551. В моделях Мили выходы ассоциируются с переходами. Модель, альтернативная этой, называется моделью Мура [МООК5б], и в ней выходы ассоциируются с состояниями. Модель Мура можно легко получить из модели Мили, заменив каждый код выхода, ассоциированный с переходами, на соответствующее выходное состояние.
Выходные состояния обычно выделяются жирной границей или двойной границей. На рисунке я заменил переход дополнительным состоянием, выходным состоянием, в котором происходит выходное действие. Обратите внимание на то, что мне также пришлось добавить фиктивный выход (пустой), чтобы показать, что переход в следующее состояние произойдет без дополнительного внешнего входа. пустой Причины, по которым я предпочитаю модели Мили: 1. Оии содержат меньше состояний и, следовательно, проще сами по себе. Сложность модели определяется путем умножения числа входных символов на число состояний. При увеличении числа состояний вы увеличиваете размер модели и усложняете ее тестирование. 246 Глава 9 ° Тестирование систем с конечным числом состояний 2. Состояния в них стабильны. Модель Мура всегда содержит изменяющиеся состояния, которые не будут терпеливо дожидаться, пока мы их проверим.
Это усложняет тестирование. В модели Мили вы не меняете состояния в отсутствие входа. Справедливости ради надо отметить, что модель Мили также может содержать изменяющиеся состояния, если мы допускаем пустой вход, но в модели Мили обычно таких состояний меньше. 3. Они ближе к конечной реализации. Программисты, реализуя системы с конечным числом состояний, обычно делают это на основе моделей Мили, а не моделей Мура, Различия тестовой и проектной моделей являются источником ошибок при разработке тестов.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
