AME_ATL_MUT_Testing

时间:2024-06-13 14:44:20
【文件属性】:

文件名称:AME_ATL_MUT_Testing

文件大小:52.75MB

文件格式:ZIP

更新时间:2024-06-13 14:44:20

Java

AME_ATL_MUT_Testing 2015年高级模型工程课程的存储库,主题为ATL中的变异测试。 提供的文件夹和工件: eclipseLuna32.rar。 我一直在使用的Eclipse实例可以从 Mutation2015_Submitted.pdf。 建议阅读论文以了解学生将要完成的工作 ATL元模型。 ATL元模型以及ATL.ecore文件的快照 Examples_In_Slides。 它包含带有实现的示例项目,以运行幻灯片中出现的示例。 Public2Private_AME。 带有多个Public2Private转换版本的项目(所有版本都是就地转换) HOTs_AME。 幻灯片中显示的HOT实施项目 ATL_File2Model。 将ATL文件注入模型的项目 ATL_Model2File。 将ATL模型提取到文件中的项目 Mutation_Testing。 它包含以


网友评论