一种基于类复制变异方法和Java PathFinder模型检测器的软件测试方法，旨在自动生成能够覆盖变异准则的类测试用例。详细介绍了该方法的具体实现，通过实验验证了其有效性和可行性，可为软件测试领域的研究和实践提供参考。同时还探讨了该方法在实际应用中可能遇到的一些问题及解决方案。