Domain Testing практические примеры
#1
Отправлено 13 октября 2008 - 09:43
Возможно кто-то использует эту технику в реале. Теорию я поняла, но вот практический пример в книге A Practitioner's Guide to Software Test Design
Lee Copeland мне не нравиться.
Помогите пожалуйста :)
#2
Отправлено 13 октября 2008 - 19:49
А что неясно с доменами?
Если тестирование граничных условий понятно, то и с доменами проблем быть не должно.
По сути переход от одномерного пространства к многомерному.
#3
Отправлено 13 октября 2008 - 20:07
Говорят, что в каком-то самолете был баг - при пересечении экватора система управления переворачивала самолет вверх шаси.
Для тестирования получаем 4 домена - полет в северном полушарии, полет в южном полушарии, перелет из северного в южное и перелет из южного в северное.
#4
Отправлено 14 октября 2008 - 08:14
#5
Отправлено 14 октября 2008 - 08:48
Для проверки этих условий предлогаеться следующие тест кейсы:
Test cases 1 and 2 verify the b ≤ 4.0 constraint. Case 1 checks on the b = 4.0 boundary while case 2 checks just outside the boundary with b = 4.1. Both of these cases use typical values for the a=34;a=33 and b/a=3.9/35;b/a=3.8/34 constraints.
Test cases 3 and 4 verify the a ≤ 36 constraint. Case 3 checks on the a = 36 boundary while case 4 checks just outside the boundary with a = 37. Both of these cases use typical values for the b and b/a constraints.
Test cases 5 and 6 verify the 10*b + a ≥ 71 constraint. Case 5 checks on the b = 3.7 and a = 34 boundary while case 6 checks just outside the boundary with b =3.8 and a = 32. Both of these cases use typical values for the b and a constraints
Как я понимаю в програму мы можем ввести только а и b. Возьмем первые 2 тест кейса. Каким образом b/a может отличаться от 4.0/34, то есть мы не можем одновременно ввести b = 4.0, a=34 и b/a=3.9/35.
#6
Отправлено 14 октября 2008 - 09:26
Т.е. оба покрываются одним тест-кейсом.
Попробую привести более простой пример.
Тестирование доменов базируется на некоторых знаниях или гипотезах о поведении системемы.
Допустим, мы тестируем однобайтный умножитель:
z = x*y.
Мы ожидаем проблему переполнения, т.е. когда результат более 255 и мы теряем старшие разряды (или произойдет сбой программы).
Нам нет смысла перебирать все комбинации, которые приводят к результату более 256, достаточно ограничиться одной проверкой.
17*17 и 255*255 для проверки однобайтного переполнения эквивалентны.
Проверка 17*17 не гарантирует, что 17*19 выдаст правильный результат, но неправильный результат не будет вызван переполнением.
Как я понимаю в програму мы можем ввести только а и b. Возьмем первые 2 тест кейса. Каким образом b/a может отличаться от 4.0/34, то есть мы не можем одновременно ввести b = 4.0, a=34 и b/a=3.9/35.
А книгу я имел в виду
http://www.amazon.co...e/dp/0471120944
#7
Отправлено 14 октября 2008 - 16:08
Ваш пример мне понятен, но вот книжный до сих пор нет :(
Тест кейс 2 то есть
b/a=3.8/34
b = 4.1
a=33
В этом варианте b не эквивалентны
#8
Отправлено 14 октября 2008 - 22:16
Типичные значения - это не параметры тест-кейса, а примеры значений, которые удовлетворяют граничному условию и не лежат на границе.
b/a - это не точка с координатами (b,a), а константа, задающая наклон прямой (т.е. m в уравнении вида y = m*x + k).
Для первого тест-кейса у нас b задано, на a есть 2 ограничения:
а < 36 (получается из первого неравенства и условия, что точка не лежит на границе).
b/а < 4/31 (получается из третьего неравенства и условия, что точка не лежит на границе).
Соотв. для первого тест-кейса b=4, 31<a<36 (например, 33)
Аналогично для второго тест-кейса b=4.1, b/а < 4.1/30, 30<a<36 (например, 33)
Спасибо за помощь
Ваш пример мне понятен, но вот книжный до сих пор нет :(
Тест кейс 2 то есть
b/a=3.8/34
b = 4.1
a=33
В этом варианте b не эквивалентны
#9
Отправлено 15 октября 2008 - 05:42
Domain Testing
http://www.testinged...BST/Domain.html
#10
Отправлено 15 октября 2008 - 08:42
Black box software testing: A course by Cem Kaner & James Bach
Domain Testing
http://www.testinged...BST/Domain.html
Спасибки я уже это смотрела :)))
#11
Отправлено 15 октября 2008 - 08:49
Кажется разобрался.
Типичные значения - это не параметры тест-кейса, а примеры значений, которые удовлетворяют граничному условию и не лежат на границе.
b/a - это не точка с координатами (b,a), а константа, задающая наклон прямой (т.е. m в уравнении вида y = m*x + k).
Для первого тест-кейса у нас b задано, на a есть 2 ограничения:
а < 36 (получается из первого неравенства и условия, что точка не лежит на границе).
b/а < 4/31 (получается из третьего неравенства и условия, что точка не лежит на границе).
Соотв. для первого тест-кейса b=4, 31<a<36 (например, 33)
Аналогично для второго тест-кейса b=4.1, b/а < 4.1/30, 30<a<36 (например, 33)Спасибо за помощь
Ваш пример мне понятен, но вот книжный до сих пор нет :(
Тест кейс 2 то есть
b/a=3.8/34
b = 4.1
a=33
В этом варианте b не эквивалентны
Всеравно не понимаю зачем на b/a дают, которое отличается от самих b и а.
Правильно мы фиксируем b и исходя из 2 неравенств определяем а (для первого тест кейса b=4.0; а=34). Да, но что нам дает точка b/a=3.9/35????
#12
Отправлено 17 октября 2008 - 17:28
Есть 3 граничных условия.
если я правильно понял логику автора, то b/a - просто обозначение для 3-го :-)
Оно ограничивает а снизу.
Всеравно не понимаю зачем на b/a дают, которое отличается от самих b и а.
Правильно мы фиксируем b и исходя из 2 неравенств определяем а (для первого тест кейса b=4.0; а=34). Да, но что нам дает точка b/a=3.9/35????
#13
Отправлено 24 мая 2019 - 14:00
Подскажите пожалуйста виды доменного анализа.
Количество пользователей, читающих эту тему: 0
0 пользователей, 0 гостей, 0 анонимных