蜕变测试因能有效地减轻软件测试中的Oracle(预期输出结果)问题而引起广泛关注。虽然该方法巧妙地规避了人工指定Oracle的麻烦，但也引出了蜕变关系的构造难题。本项目试图在多样性原理的指导下，探索面向对象程序蜕变测试中蜕变关系的自动生成与复用技术。针对方法参数包含对象型等复杂数据类型，设计对应的输入数据变异规则集，进而提出基于不变式动态检测的蜕变关系生成算法。针对系统级别的测试，重点探讨在对象状态非等价关系情形下的蜕变关系生成问题，拟在智能搜索、频繁模式挖掘等技术的支持下构造形如“方法调用序列对”的蜕变关系。在蜕变关系的复用方面，拟基于语义主题模型计算程序模块之间的功能或特征相似性，进而给出跨程序条件下蜕变关系的协同过滤推荐算法。此外，还通过蜕变关系优先级的多目标建模与求解，实现在程序演化背景下的蜕变关系最大差异化复用。总之，上述研究将有助于进一步丰富蜕变测试的方法体系、拓展其应用领域。

Metamorphic testing has attracted great attention since it can effectively alleviate the Oracle (i.e., excepted output results) problem in software testing. Although this method is a good way to avoid the Oracle problem, it also leads to the difficulty in the construction of metamorphic relations. Guided by the principle of diversity, this project attempts to explore the techniques on the automated generation and reuse of metamorphic relations for Object-Oriented programs metamorphic testing. For the complex data types such as objects in method (or function) parameters, the set of mutation rules for the corresponding input data is defined firstly, and then the metamorphic relation generation algorithm based on dynamic detection of invariants will be proposed. In the system-level testing, the research emphasizes the metamorphic relation generation in the case of nonequivalent object states. The intelligent searching and frequent pattern mining techniques will be used to build the metamorphic relations in the form of the pair of method invocation sequences. With regard to metamorphic relation reuse, a recommendation algorithm based on collaborative filtering will be presented for suggesting the cross-program metamorphic relations. In the above solution, the similarity between two program modules is measured by means of topic model. In addition, in order to keep the diversity of selected metamorphic relations for testing the evolved programs, the prioritization problem of metamorphic relations and its solution about multi-objective optimization are both proposed. In a word, the above researches will enrich the methods for metamorphic testing and expand its application fields.