இடையே அமைக்கும் சோதனை வழக்குகள் என்று நேரடியாக கட்டப்பட்ட உறவுகளையும் எதிரொலிக்க, சோதனை முக்கிய hierarchic decomposition.