返回列表 发布新帖

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

4 0
admin 发表于 2024-12-11 23:19 | 查看全部 阅读模式

文档名:针对模型转换程序的蜕变测试方法研究
模型驱动架构中模型转换结果正确与否常常难以判断(即测试Oracle问题),而蜕变测试通过验证多个执行结果之间是否满足蜕变关系可以部分地解决测试Oracle问题.为有效地解决模型转换测试中的Oracle问题,以UML到Java模型转换程序为例,应用蜕变测试,依据转换规则,从增加、删除、修改、替换四个方面设计并构造出一组蜕变关系,最后对待测程序植入在实际测试中常见的两种错误,设计并执行测试用例后验证蜕变关系,发现违反了蜕变关系,暴露出程序缺陷,从而说明了蜕变测试的有效性.
作者:余恒贲可荣
作者单位:海军工程大学计算机工程系,武汉430033
母体文献:2015全国理论计算机科学学术年会论文集
会议名称:2015全国理论计算机科学学术年会  
会议时间:2015年10月30日
会议地点:金华
主办单位:中国计算机学会
语种:chi
分类号:
关键词:模型转换程序  蜕变测试  转换规则  蜕变关系
在线出版日期:2017年7月25日
基金项目:
相似文献
相关博文
2024-12-11 23:19 上传
文件大小:
2.18 MB
下载次数:
60
高速下载
【温馨提示】 您好!以下是下载说明,请您仔细阅读:
1、推荐使用360安全浏览器访问本站,选择您所需的PDF文档,点击页面下方“本地下载”按钮。
2、耐心等待两秒钟,系统将自动开始下载,本站文件均为高速下载。
3、下载完成后,请查看您浏览器的下载文件夹,找到对应的PDF文件。
4、使用PDF阅读器打开文档,开始阅读学习。
5、使用过程中遇到问题,请联系QQ客服。

本站提供的所有PDF文档、软件、资料等均为网友上传或网络收集,仅供学习和研究使用,不得用于任何商业用途。
本站尊重知识产权,若本站内容侵犯了您的权益,请及时通知我们,我们将尽快予以删除。
  • 手机访问
    微信扫一扫
  • 联系QQ客服
    QQ扫一扫
2022-2025 新资汇 - 参考资料免费下载网站 最近更新浙ICP备2024084428号
关灯 返回顶部
快速回复 返回顶部 返回列表