[发明专利]通过模型反演的功能测试生成无效
| 申请号： | 201110046106.1 | 申请日： | 2011-02-25 |
| 公开（公告）号： | CN102169457A | 公开（公告）日： | 2011-08-31 |
| 发明（设计）人： | A.V.耶奥勒卡;R.塞图 | 申请（专利权）人： | 通用汽车环球科技运作有限责任公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 中国专利代理(香港)有限公司 72001 | 代理人： | 原绍辉 |
| 地址： | 美国密*** | 国省代码： | 美国;US |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | |||
| 搜索关键词： | 通过 模型 反演 功能 测试 生成 | ||
1. 一种用于产生测试用例的系统，所述系统包括：
设置为产生模型的反演的模型反演器；
设置为将需求说明转变为至少一个输出方案的转变模块；以及
设置为基于所述模型的反演和所述至少一个输出方案产生满足所述需求说明的测试用例的模型模拟器。
2. 如权利要求1所述的系统，其中，所述模型反演器设置为基于所述模型产生一组模型块。
3. 如权利要求2所述的系统，其中，所述模型反演器将每个模型块转变为反演模型块。
4. 如权利要求3所述的系统，其中，每个模型块包括函数，其中，每个反演模型块包括相应的反演函数。
5. 如权利要求2所述的系统，其中，所述模块反演器利用一组替换规则将每个模型块转变为反演模型块。
6. 如权利要求1所述的系统，其中，所述至少一个输出方案为输出波形。
7. 如权利要求1所述的系统，其中，所述模型反演器设置为在线产生所述模型的反演。
8. 如权利要求1所述的系统，其中，所述模型反演器设置为离线产生所述模型的反演。
9. 一种产生测试用例的方法，所述方法包括：
产生模型的反演；
将需求说明转变为至少一个输出方案；以及
通过利用所述至少一个输出方案模拟所述模型的反演来产生满足所述需求说明的测试用例。
10. 一种包括有形地体现计算机可执行指令的计算机可读介质的系统，所述系统用于：
产生模型的反演；
将需求说明转变为至少一个输出方案；以及
通过利用所述至少一个输出方案模拟所述模型的反演来产生满足所述需求说明的测试用例。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于通用汽车环球科技运作有限责任公司，未经通用汽车环球科技运作有限责任公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/pat/books/201110046106.1/1.html，转载请声明来源钻瓜专利网。
- 上一篇：可旋转调节的连接器组件
- 下一篇：纸张类处理装置
