1. Если условие
ввода задает диапазон
п...т,
то определяются один допустимый и два недопустимых класса
эквивалентности:
V_Class={
n
..
.т
}
—
допустимый
класс эквивалентности;
Inv_С1аss1={
x
|для любого
х: х < п
}
—
первый недопустимый класс эквивалентности;
Inv_С1аss2={
y
|для любого
у: у > т
}
—
второй недопустимый класс эквивалентности.
2. Если условие ввода
задает конкретное значение
а,
то определяется один допустимый и два недопустимых класса
эквивалентности:
V_Class={
a
};
Inv_Class1
={х
|для
любого
х: х < а
};
Inv_С1аss2={
y
|для любого
у: у
>
а
}
.
3.
Если условие ввода
задает множество значений
{а, b, с},
то определяются один допустимый и один недопустимый
класс эквивалентности:
V_Class={
a, b, с
};
Inv_С1аss={
x
|для любого
х: (х
а)&(х
b)&(х
с)}.
4. Если условие ввода задает булево значение, например true, то определяются один допустимый и один недопустимый
класс эквивалентности:
V_Class={true};
Inv_Class={false}.
После построения классов эквивалентности разрабатываются тестовые варианты. Тестовый
вариант выбирается так,
чтобы проверить сразу наибольшее количество свойств класса эквивалентности.
Достарыңызбен бөлісу: