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

• 作者: 余恒 贲可荣
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 模型转换 软件测试 测试Oracle 蜕变测试 蜕变关系
• 年，卷（期）: 2016,（7）
• 所属期刊栏目: 学术研究
• 页码范围: 915-923
• 页数: 9页
• 分类号: TP311.5
• 字数: 5573字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1507050

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	贲可荣	海军工程大学计算机工程系	96	531	13.0	18.0
2	余恒	海军工程大学计算机工程系	1	1	1.0	1.0