Filtering and reduction techniques of combinatorial tests