搜索树在测试用例约减中的应用

目前的约简算法中,以启发式算法居多。此次提出了一种基于搜索树的算法,通过搜索树,在测试用例集中求得约简问题的全局最优解。