「制約」の実装。

「制約」機能実装のために、"Combinatorial TestCases with Constraints"*1と"Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach"*2から辿って"Interaction Testing of Highly-Configurable Systems in the Presence of Constraints"*3を読む。

そして以下の言及を発見。

Asking if a configuration exists satisfying a set of constraints is NP-Hard. *4

いっそNP困難と分かっているのなら、むしろアプローチの仕方がすっきりするというものだ。
が、問題の文献*4"Prioritized interaction testing for pair-wise coverage with seeding and constraints"は19.95USD。たけえ。

*1:http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6221818

*2:http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=4564473&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D4564473

*3:http://cse.unl.edu/~myra/papers/issta71-cohen.pdf

*4:http://www.sciencedirect.com/science/article/pii/S0950584906000401