[发明专利]用于分析包含校准值的软件的方法和设备有效
申请号: | 201110076549.5 | 申请日: | 2011-03-29 |
公开(公告)号: | CN102207902A | 公开(公告)日: | 2011-10-05 |
发明(设计)人: | S·舒库马兰;R·塞图 | 申请(专利权)人: | 通用汽车环球科技运作有限责任公司 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 中国专利代理(香港)有限公司 72001 | 代理人: | 宋宝库 |
地址: | 美国密*** | 国省代码: | 美国;US |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明涉及用于分析包含校准值的软件的方法和设备,具体是一种用于评测机器可执行软件代码规范的计算机实施方法,该方法包括利用计算机生成与软件代码规范相对应的系统依赖关系图。所述系统依赖关系图包括含有节点和边的元素。计算机评测系统依赖关系图,该评测包括选择在软件代码规范中被修正的变量,给与软件代码规范中的控制语句相对应的系统依赖关系图的控制运算节点提供优选校准状态,遍历到系统依赖关系图的选定元素,其中选定元素与选定变量和控制运算节点的优选校准状态相关,仅评测系统依赖关系图的选定元素,以及标识在选定变量的状态被修正的位置处的那些选定元素。 | ||
搜索关键词: | 用于 分析 包含 校准 软件 方法 设备 | ||
【主权项】:
一种用于评测机器可执行软件代码规范的计算机实施方法,包括:用计算机生成与所述软件代码规范相对应的系统依赖关系图,所述系统依赖关系图所含的元素包括节点和边,其中计算机评测所述系统依赖关系图,所述系统依赖关系图的评测包括:选择在所述软件代码规范中被修正的变量;给所述系统依赖关系图的、与所述软件代码规范中的控制语句相对应的控制运算节点提供优选校准状态;遍历到所述系统依赖关系图的选定元素,所述选定元素与所述选定变量和所述控制运算节点的优选校准状态相关联;仅评测所述系统依赖关系图的选定元素;和标识所述选定变量的状态被修正的位置处的那些选定元素。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于通用汽车环球科技运作有限责任公司,未经通用汽车环球科技运作有限责任公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201110076549.5/,转载请声明来源钻瓜专利网。
- 上一篇:等离子体蚀刻方法以及等离子体蚀刻装置
- 下一篇:治疗丙型肝炎的化合物