What is the most important in automatic testing is automatically generating test cases and then filter them,which involve parameters' combination and filter.The authors do an argumentation by using all duality algorithms to(imply) the generating and automatically filter,and then assume an automatic testing way,prove the feasibility of this way with an instance.An additional basic testing shows that the algorithm is satisfactory.