采用类复制变异方法,运用模型检测器java PathFinder(JPF)来保证软件执行过程中产生的错误在输出结果中可见,同时将类间测试用例生成问题转化成模型检测中寻找反例的问题,自动生成满足变异覆盖准则的类测试用例,提出一种适用于类间调用...
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~