Тестирование программного кода (тестовые примеры)

4.1.5. Тестирование операций сравнения чисел

Разбиение на классы эквивалентности широко используется при тестировании корректности реализации арифметических операций и операций сравнения. Каждую операцию можно рассматривать как блок с входами - значениям и выходом - результатом операции. Для ее тестирования выполняется разбиение диапазона изменения переменных на входах блока на классы эквивалентности и методом анализа граничных значений этих переменных.

В таблице 4.1 приведены тестовые наборы для блоков, реализующих операции сравнения, в случае, когда на один из входов блока подается константа.

Таблица 4.1. Блоки сравнения и определенные для них тестовые наборы

greaterThan блок. Реализует операцию сравнения a>b ( b - константа, на входе a может быть переменная числового типа)						greaterEq блок. Реализует операцию сравнения a>=b ( b - константа, на входе a может быть переменная числового типа)
№ набора	1	2	3*	4	5	№ набора	1	2	3*	4	5
Вход a	b - d	b + d	b	min	max	Вход a	b - d	b + d	b	min	max
Выход	F	T	F	F	T	Выход	F	T	T	F	T
lessThan блок. Реализует операцию сравнения a<b ( b - константа, на входе a может быть переменная числового типа)						lessEq блок. Реализует операцию сравнения a<=b ( b - константа, на входе a может быть переменная числового типа)
№ набора	1	2	3*	4	5	№ набора	1	2	3*	4	5
Вход a	b - d	b + d	b	min	max	Вход a	b - d	b + d	b	min	max
Выход	T	F	F	T	F	Выход	T	F	T	T	F
equalTo блок. Реализует операцию сравнения a=b ( b - константа, на входе a может быть переменная числового типа)						notEqualTo блок. Реализует операцию сравнения a b ( b - константа, на входе a может быть переменная числового типа)
№ набора		1	2	3	4	№ набора		1	2	3	4
Вход a		b	b	min	max	Вход a		b	b	min	max
Выход		F	T	F	F	Выход		T	F	T	T

* тестовый набор реализуем, только если переменная на входе a - переменная целого типа

В приведенных тестовых наборах используются следующие обозначения:

• d - шаг изменения ( resolution ) переменной на входе a. Если переменная на входе a - переменная целого типа, то d равно 1;
• min - минимальное значение переменной на входе a ;
• max - максимальное значение переменной на входе a.

В таблице 4.2 приведены тестовые наборы для блоков, реализующих операции сравнения, в случае, когда на оба входа блока подаются переменные.

Таблица 4.2. Блоки сравнения и определенные для них тестовые наборы (продолжение)

greaterThan блок. Реализует операцию сравнения a>b ( a, b - переменные числового типа)						greaterEq блок. Реализует операцию сравнения a>=b ( a, b - переменные числового типа)
№ набора	1	2	3*	4	5	№ набора	1	2	3*	4	5
Вход a	val	val	val	min	max	Вход a	val	val	val	min	max
Вход b	val + d2	val - d2	val	max	min	Вход b	val + d2	val - d2	val	max	min
Выход	F	T	F	F	T	Выход	F	T	T	F	T
lessThan блок. Реализует операцию сравнения a<b ( a, b - переменные числового типа)						lessEq блок. Реализует операцию сравнения a<=b ( a, b - переменные числового типа)
№ набора	1	2	3*	4	5	№ набора	1	2	3*	4	5
Вход a	val	val	val	min	max	Вход a	val	val	val	min	max
Вход b	val + d2	val - d2	val	max	min	Вход b	val + d2	val - d2	val	max	min
Выход	T	F	F	T	F	Выход	T	F	T	T	F
equalTo блок. Реализует операцию сравнения a=b ( a, b - переменные любого типа)						notEqualTo блок. Реализует операцию сравнения a b ( a, b - переменные любого типа)
№ набора		1	2	3	4	№ набора		1	2	3	4
Вход a		val1	val	min	max	Вход a		val1	val	min	max
Вход b		val2	val	max	min	Вход b		val2	val	max	min
Выход		F	T	F	F	Выход		T	F	T	T

* тестовый набор реализуем, только если переменные на входах блока - переменные целого типа

В приведенных тестовых наборах используются следующие обозначения:

• d2 - шаг изменения ( resolution ) переменной на входе b. Если переменная на входе b - переменная целого типа, то d2 равно 1;
• val, val1, val2 - значения, которые взяты из середины диапазона, полученного при пересечении диапазонов переменных на входах a и b ;
• min - минимальное значение переменной на входе блока;
• max - максимальное значение переменной на входе блока.