| 测试驱动的模式转换检验/认证（英文） |
| |
| 引用本文： | László LENGYEL,Hassan CHARAF.测试驱动的模式转换检验/认证（英文）[J].浙江大学学报:C卷英文版,2015(2):85-98. |
| |
| 作者姓名： | László LENGYEL Hassan CHARAF |
| |
| 作者单位： | Department of Automation and Applied Informatics, Budapest University of Technology and Economics |
| |
| 基金项目： | Project partially supported by the European Union and the European Social Fund(No.TAMOP-4.2.2.C-11/1/KONV-2012-0013) |
| |
| 摘 要： | 研究目的:通过检验/认证模式转换,提升转换质量,从而提升软件工件质量。确保软件工件具有特定属性,满足实际中对软件产品的生成、改善、优化等不同需求。创新要点:提供一种模式转换自动生成测试输入模型解决方案。研究方法:强调模式转换验证与认证方法必要性,讨论模式转换验证与认证的不同场景(图1)及实际模式转换验证与认证领域内的开放性问题。重要结论:介绍一种新型测试驱动模式转换检验与认证原理,为模式转换自动生成测试输入模型提供一种解决方案(算法1,2)。收集并讨论实际模式转换验证与认证领域内亟待解决的问题。
|
| 关 键 词： | 基于图重写的模式转换 检验/认证 测试驱动检验 |
| 本文献已被 CNKI 等数据库收录！ |
|
