state space partitioning test