25. Основные положения метода эквивалентного разбиения.*

ДОБАВЛЕНИЕ К 24

Разработку тестов методом эквивалентного разбиения осуществляют в два этапа: на первом выделяют классы эквивалентности, а на втором - формируют тесты.

Выделение классов эквивалентности явл-я эвристическим процессом, однако целесообразным считают выделять в отдельные классы эквивалентности наборы, содержащие допустимые и недопустимые значения нек-го параметра. При этом сущ-этот ряд правил:

•if нек-й параметр х может принимать значения в интервале [1, 999], то выделяют один правильный класс 1 < х < 999 и два неправильных: х < 1 и х > 999;

•if входное условие определяет диапазон значений порядкового типа, например, «в автомобиле могут ехать от одного до шести человек», то определ один правильный класс эквивалентности и два неправильных: ни одного и более шести человек;

•if входное условие описывает множ-во входных значений и есть основания полагать, что каждое значение прог-ист трактует особо, например, «типы граф-их файлов: bmp,jpeg,vsd», то определяют правильный класс эквивалентности для каждого значения и один неправильный класс, например,txt;

•if входное условие описывает ситуацию «должно быть», например, «первым Симом идентификатора должна быть буква», то определ один правильный класс эквивалентности (первый Сим - буква) и один неправильный (первый Сим - не буква);

•if есть основание считать, что различные элемы класса эквивалентности трактуются прог-ой неодинаково, то д-ый класс разбивается на меньшие классы эквивалентности.

Таким образом, классы эквивалентности выделяют, перебирая ограничения, установленные для каждого входного значения в техническом задании или при уточнении спецификации. Каждое ограничение разбивают на две или более групп. При этом исп-ют специальные бланки - табл классов эквивалентности:

Ограничение на знач парамет |Правильные КЭ|Неправильные КЭ

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

1.Назовите цель разбиения исх-х д-х прог- на классы эквивалентности. Приведите пример выделения классов эквивалентности для какой-либо задачи * *

Цель- выбрать min подмножество тестов, обеспеч наиб вероятность обнаружения ошибок.

Правильно выбранный тест подмн должен обладать 2 св-вами:

а) каждый тест должен включать как можно > входных усл-й чтобы минимизировать общее число тестов;

б) необходимо пытаться разбить входную область прог-ы на конечное число КЭ так, чтобы можно было предположить, что каждый тест, являющийся представителем нек-го класса, эквивалентен любому другому тесту го класса. Другими словами, if один тест КЭ обнаруживает ошибку, то следует ожидать, что и все другие тесты этого КС будут обнаруживать эту ошибку. И наоборот. Разработка тестов методом эквивалентного разбиения осуществляется в два этапа:

а) выделение класса эквивалентности;

б)построение тестов.

Ограничение X прин [1;999]

Правильные классы 1≤x≤999

Неправильные классы x>999 x<1

КЭ выделяются путем выбора каждого входного усл-я разбиением его на 2 или более групп. Для выполнения этой операции исп-ют табл след вида:

Здесь - правильные классы эквивалентности соотв-ют правильным входным д-ым прог-ы, а неправильные классы эквивалентности представляют все другие возможные состояния входных усл-й.