用于分析包含校准值的软件的方法和设备

    公开(公告)号:CN102207902B

    公开(公告)日:2015-02-25

    申请号:CN201110076549.5

    申请日:2011-03-29

    CPC classification number: G06F11/3604 G06F8/433

    Abstract: 本发明涉及用于分析包含校准值的软件的方法和设备,具体是一种用于评测机器可执行软件代码规范的计算机实施方法,该方法包括利用计算机生成与软件代码规范相对应的系统依赖关系图。所述系统依赖关系图包括含有节点和边的元素。计算机评测系统依赖关系图,该评测包括选择在软件代码规范中被修正的变量,给与软件代码规范中的控制语句相对应的系统依赖关系图的控制运算节点提供优选校准状态,遍历到系统依赖关系图的选定元素,其中选定元素与选定变量和控制运算节点的优选校准状态相关,仅评测系统依赖关系图的选定元素,以及标识在选定变量的状态被修正的位置处的那些选定元素。

    用于分析包含校准值的软件的方法和设备

    公开(公告)号:CN102207902A

    公开(公告)日:2011-10-05

    申请号:CN201110076549.5

    申请日:2011-03-29

    CPC classification number: G06F11/3604 G06F8/433

    Abstract: 本发明涉及用于分析包含校准值的软件的方法和设备,具体是一种用于评测机器可执行软件代码规范的计算机实施方法,该方法包括利用计算机生成与软件代码规范相对应的系统依赖关系图。所述系统依赖关系图包括含有节点和边的元素。计算机评测系统依赖关系图,该评测包括选择在软件代码规范中被修正的变量,给与软件代码规范中的控制语句相对应的系统依赖关系图的控制运算节点提供优选校准状态,遍历到系统依赖关系图的选定元素,其中选定元素与选定变量和控制运算节点的优选校准状态相关,仅评测系统依赖关系图的选定元素,以及标识在选定变量的状态被修正的位置处的那些选定元素。

Patent Agency Ranking