利用类复制变异和JPF技术生成类间测试用例的研究 上传者：qqpasta6913 2023-05-18 21:07:52上传 PDF文件 380.5KB 热度 10次 本文针对类间测试用例生成问题，提出了一种基于类复制变异方法和模型检测器Java PathFinder（JPF）的自动生成测试用例的解决方案。该方法可以将类间测试用例生成问题转化成模型检测中的查找反例问题，并自动产生满足变异覆盖准则的类测试用例，从而提高测试效率和测试质量。 下载地址 用户评论 更多下载
