Имеется N параметров, описывающих состояние системы. Каждый параметр является целым числом из интервала 1..X[i], где i — номер этого параметра. Назовем множество состояний системы полным, если для каждой пары параметров каждое возможное сочетание из значений встречается в нем хотя бы по одному разу. Надо получить одно их наименьших (по количеству состояний в нем) полных множеств. Это нужно для pairwise testing, при котором проверяются все возможные сочетания каждой пары параметров (хотя бы с одним набором значений остальных параметров).

Для начала хочется хотя бы посчитать количество состояний в таком множестве.

Здравствуйте, nikov, Вы писали:

N>Назовем множество состояний системы полным, если для каждой пары параметров каждое возможное сочетание из значений встречается в нем хотя бы по одному разу.

каждое возможное сочетание их значений встречается в нем хотя бы по одному разу
Опечатка.

Смысл в том, что мы не в состоянии проверить все X[1]*X[2]*...X[N] комбинаций параметров, поэтому мы хотим построить такое множество состояний, что для каждой пары параметров все возможные комбинации их значений встречаются хотя бы по одному разу (хотя бы с каким-то сочетанием значений остальных параметров).

Попробуй покурить исходники MbUnit, а конкретно файл PairwiseJoinStrategy.cs.

Здравствуйте, Starlight, Вы писали:

S>Попробуй покурить исходники MbUnit, а конкретно файл PairwiseJoinStrategy.cs.

Там же ссылка на мощный сайт, посвященный именно этому вопросу (на английском):
http://www.pairwise.org/

Здравствуйте, vadimcher, Вы писали:

V>Здравствуйте, Starlight, Вы писали:

S>>Попробуй покурить исходники MbUnit, а конкретно файл PairwiseJoinStrategy.cs.

Меня интересует: а есть ли имплементации для случая (например, когда берутся не пары, а тройки параметров) или более общего: n-ки параметров.

в MBUnite есть алгоритм для пары но не в общем случае. Подскажите куда глядеть?
V>Там же ссылка на мощный сайт, посвященный именно этому вопросу (на английском):
V>http://www.pairwise.org/

Здравствуйте, martlus, Вы писали:

M>Здравствуйте, vadimcher, Вы писали:

V>>Здравствуйте, Starlight, Вы писали:

S>>>Попробуй покурить исходники MbUnit, а конкретно файл PairwiseJoinStrategy.cs.

M>Меня интересует: а есть ли имплементации для случая (например, когда берутся не пары, а тройки параметров) или более общего: n-ки параметров.
С точки зрения банальной эрудиции, тройка есть три пары, так что вроде задача сводится к предыдущей.