-
公开(公告)号：CN102207901B
公开(公告)日：2014-06-18
申请号：CN201110076503.3
申请日：2011-03-29
Applicant: 通用汽车环球科技运作有限责任公司
IPC: G06F11/36
CPC classification number: G06F11/3604 , G06F8/433
Abstract: 本发明涉及用于分析软件的方法和设备。一种用于评估机器可执行的软件代码说明的计算机实施的方法，包括：使用计算机生成对应于软件代码说明的系统依赖图。系统依赖图包括元素，所述元素包括节点和边，其中计算机评估系统依赖图。系统依赖图的评估包括：选择在软件代码说明中被修改的变量，遍历到系统依赖图的所选择的元素，所选择的元素与所选择的变量相关联，仅评估系统依赖图的所选择的元素，和识别所选择的元素中其处修改了所选择的变量的状态的元素。
-
公开(公告)号：CN102207901A
公开(公告)日：2011-10-05
申请号：CN201110076503.3
申请日：2011-03-29
Applicant: 通用汽车环球科技运作有限责任公司
IPC: G06F11/36
CPC classification number: G06F11/3604 , G06F8/433
Abstract: 本发明涉及用于分析软件的方法和设备。一种用于评估机器可执行的软件代码说明的计算机实施的方法，包括：使用计算机生成对应于软件代码说明的系统依赖图。系统依赖图包括元素，所述元素包括节点和边，其中计算机评估系统依赖图。系统依赖图的评估包括：选择在软件代码说明中被修改的变量，遍历到系统依赖图的所选择的元素，所选择的元素与所选择的变量相关联，仅评估系统依赖图的所选择的元素，和识别所选择的元素中其处修改了所选择的变量的状态的元素。
-
公开(公告)号：CN102207902B
公开(公告)日：2015-02-25
申请号：CN201110076549.5
申请日：2011-03-29
Applicant: 通用汽车环球科技运作有限责任公司
IPC: G06F11/36
CPC classification number: G06F11/3604 , G06F8/433
Abstract: 本发明涉及用于分析包含校准值的软件的方法和设备，具体是一种用于评测机器可执行软件代码规范的计算机实施方法，该方法包括利用计算机生成与软件代码规范相对应的系统依赖关系图。所述系统依赖关系图包括含有节点和边的元素。计算机评测系统依赖关系图，该评测包括选择在软件代码规范中被修正的变量，给与软件代码规范中的控制语句相对应的系统依赖关系图的控制运算节点提供优选校准状态，遍历到系统依赖关系图的选定元素，其中选定元素与选定变量和控制运算节点的优选校准状态相关，仅评测系统依赖关系图的选定元素，以及标识在选定变量的状态被修正的位置处的那些选定元素。
-
公开(公告)号：CN102207902A
公开(公告)日：2011-10-05
申请号：CN201110076549.5
申请日：2011-03-29
Applicant: 通用汽车环球科技运作有限责任公司
IPC: G06F11/36
CPC classification number: G06F11/3604 , G06F8/433
Abstract: 本发明涉及用于分析包含校准值的软件的方法和设备，具体是一种用于评测机器可执行软件代码规范的计算机实施方法，该方法包括利用计算机生成与软件代码规范相对应的系统依赖关系图。所述系统依赖关系图包括含有节点和边的元素。计算机评测系统依赖关系图，该评测包括选择在软件代码规范中被修正的变量，给与软件代码规范中的控制语句相对应的系统依赖关系图的控制运算节点提供优选校准状态，遍历到系统依赖关系图的选定元素，其中选定元素与选定变量和控制运算节点的优选校准状态相关，仅评测系统依赖关系图的选定元素，以及标识在选定变量的状态被修正的位置处的那些选定元素。
-
-
-
Search Results
4
records
(took 0.023 seconds)
