因果图是一种着重检查各种______的组合的测试用例设计工具。