Пока что сложилось представление что доменное тестирование это как упоминаемые Канером и, раньше, не помню где (может даже Коуплендом) классы эквивалентности и граничные значения, но многомерные.
Но к этому добавляются всякие-разные выходы в недопустимые значения, и учёт не только вводных параметров, но и что надо сделать чтобы получить разные значения вывода