目前，软件测试是一项大型的软件工程中必不可少的且非常重要的一部分，而在近年的大型软件测试中，广泛地采用修正条件判定覆盖测试准则来生成测试案例，通过这些测试案例来测试整个程序中的布尔表达式的正确性，在这种情况下，研究如何生成案例就成为一件非常必要的事情。 本文主要是通过对修正条件判定覆盖测试准则的概念、理论及现有的如何生成案例方法的学习和研究，结合在实际环境中所可能碰到的问题，对现有的生成方法进行改进，提出了真值表生成策略和基于优先级数的组合生成策略，用来生成最小测试案例。基于优先级数的组合生成案例的方法以布尔表达式作为输入，简单易用，能够在较短的时间内，生成此表达式测试案例。 本文最后利用VISUAL C++开发了一个试验平台，并对真值表生成测试案例的方法和优先级数组合生成案例方法分别进行分析，验证了其优化的性能。试验表明，优先级数组合生成案例对提高生成案例的速度十分有效，从而更能提高软件测试的速度。