针对模型转换程序的蜕变测试方法研究

摘要：

模型驱动架构中模型转换结果正确与否常常难以判断（即测试Oracle问题），而蜕变测试通过验证多个执行结果之间是否满足蜕变关系可以部分地解决测试Oracle问题。为有效地解决模型转换测试中的Oracle问题，以UML到Java模型转换程序为例，应用蜕变测试，依据转换规则，从增加、删除、修改、替换4个方面设计并构造出一组蜕变关系。最后对待测程序植入在实际测试中常见的两种错误，设计并执行测试用例后验证蜕变关系，发现违反了蜕变关系，暴露出程序缺陷，从而说明了蜕变测试的有效性。

关键词：模型转换、软件测试、测试Oracle、蜕变测试、蜕变关系

所属期刊栏目：10

分类号：TP311.5(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant No.61272108

在线出版日期：2016-08-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：915-923