The quantity of the test suite affects the cost and efficiency of software testing, so it is important to generate an algorithm of minimum test case set. According to studying syntactic tree of Boolean expressions on recursive blocks matrix, an algorithm for minimum test case set on MC/DC is proposed. Its correctness is proved in theory and its premise is considered.