给出了测试用例最小化问题的形式化描述，提出并实现了两个新的用于用例最小化的算法。与现有其他最小化算法不同，这两个算法在考虑了每个用例测试覆盖度的同时，还考虑了用例的测试运行代价，目的是提高最小化效率。最后给出了对这两个算法进行实例研究的实验结果。结果表明，用例最小化技术能有效缩减回归测试用例集的尺寸，大幅度降低回归测试费用，提高最小化效率。