Based upon existed methods of metamorphic testing and program path-analysis,the authors first present a set of metamorphic testing criteria for the test with binary metamorphic relations.
作者在系统研究已有蜕变测试方法和路径分析技术的基础上,首先针对使用二元蜕变关系的测试提出了一组蜕变测试准则,以在多个不同的层次上定义蜕变测试用例集的充分性;然后给出了3种能够生成相应测试用例集的算法;最后通过变异分析的方法证实这些算法的有效性。
The current investigation of MT is surveyed,and some research directions for it are presented,which are the research of MT sufficiency,the effective metamorphic relation constructing technology,the effective original testing case selecting technology,the research of MT for new type software and the development of MT tools,etc.
对当前蜕变测试技术的研究进行了综述,针对已有方法的不足之处,对未来的研究方向进行了展望,包括蜕变测试充分性研究、实用蜕变关系构造技术、实用原始测试用例选取技术、新型软件中蜕变测试技术的研究、蜕变测试工具的开发等。
Case studies on testing with compositional metamorphic relations;
使用复合蜕变关系进行软件测试的实例研究(英文)