Abstract: Software testing plays a vital role in software development life cycle. How to achieve path coverage, increase testing efficiency is the heart of the matter. This paper starts with test requirements for test requirements reduction by path analysis, and checks the dependency among conditional statements by calculating conditional probability to detect infeasible paths in program. In addition, this paper combines genetic algorithm(GA) with firefly algorithm(FA), calculates fitness function by branch distance and layer approach, considers the location update of FA as genetic operation of GA, thus reducing redundant test cases and improving the astringency of the algorithm. The proposed method is applied to benchmark and industrial programs, and is compared with other alternative approaches. The experimental result demonstrates that the proposed method is efficient in generating test cases for path coverage.