Может PICT обрабатывать независимые параметры

Question

Может PICT (= попарное независимое комбинаторное тестирование) обрабатывать / моделировать независимые параметры. Например, следующие входы a и b независимы, поэтому их не следует объединять.

Ввод в PICT:
a: 1, 2, 3, 4
b: 5, 6, 7 , 8

// некоторая строка, которая моделирует независимость: не зависит от b

Вывод, который я ожидал бы:
ab
1 5
2 6
3 7
4 8

Этот пример, имеющий только 2 параметра, конечно, обычно не имеет особого смысла, но он является иллюстративным. То же самое можно применить к 3 параметрам (a, b, c), где a не зависит от b, но не c. Основной целью объявления параметров как независимых будет сокращение количества тестов. Я прочитал статью / руководство пользователя PICT, но не нашел никакой полезной информации.

Answer 1

Я отвечу на свой вопрос самостоятельно:
Решение состоит в том, чтобы определить подмодели и установить порядок по умолчанию от 2 (= попарно) до 1 (= без комбинации).

---

Например, параметр a = {a_1, a_2, a_3} должен быть независимым от
b = {b_1, b_2, b_3} и
c = {c_1, ..., c_4}.
Поэтому я ожидал бы 12 тестов ((bx c) + a).
В результате получается следующий входной файл:
a: 1,2,3
b: 1,2,3
c: 1,2,3,4

{b, c} @ 2

{b, c} @ 2 определяет подмодель, состоящую из b и c, которая использует попарную комбинацию.
И запуск пикт с опцией: "/o:1".