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

文档名：针对模型转换程序的蜕变测试方法研究
模型驱动架构中模型转换结果正确与否常常难以判断(即测试Oracle问题),而蜕变测试通过验证多个执行结果之间是否满足蜕变关系可以部分地解决测试Oracle问题.为有效地解决模型转换测试中的Oracle问题,以UML到Java模型转换程序为例,应用蜕变测试,依据转换规则,从增加、删除、修改、替换四个方面设计并构造出一组蜕变关系,最后对待测程序植入在实际测试中常见的两种错误,设计并执行测试用例后验证蜕变关系,发现违反了蜕变关系,暴露出程序缺陷,从而说明了蜕变测试的有效性.
作者：余恒贲可荣
作者单位：海军工程大学计算机工程系,武汉430033
母体文献：2015全国理论计算机科学学术年会论文集
会议名称：2015全国理论计算机科学学术年会  
会议时间：2015年10月30日
会议地点：金华
主办单位：中国计算机学会
语种：chi
分类号：
关键词：模型转换程序  蜕变测试  转换规则  蜕变关系
在线出版日期：2017年7月25日
基金项目：
相似文献
相关博文

2024-12-11 23:19 上传 针对模型转换程序的蜕变测试方法研究.pdf

文件大小:

2.18 MB

下载次数:

60

高速下载