Method and apparatus for analyzing software
AssigneeGM Global Technology Operations LLC
InventorsSrihari Sukumaran, Ramesh Sethu
Life of this patent
Estimating the term…
Abstract
A computer-implemented method for evaluating a machine-executable software code specification includes using the computer to generate a system dependence graph corresponding to the software code specification. The system dependence graph includes elements including nodes and edges, wherein the computer evaluates the system dependence graph. The evaluation of the system dependence graph includes selecting a variable modified in the software code specification, traversing to selected elements of the system dependence graph, the selected elements associated with the selected variable, evaluating only the selected elements of the system dependence graph, and identifying ones of the selected elements whereat a state of the selected variable is modified.
Claims22
A computer-implemented method for evaluating a machine-executable software code specification, comprising:
- using the computer to generate a system dependence graph corresponding to the software code specification, the system dependence graph including elements comprising nodes and edges, wherein the computer evaluates the system dependence graph, the evaluation of the system dependence graph comprising:
- selecting a variable modified in the software code specification;
- traversing to selected elements of the system dependence graph, the selected elements associated with the selected variable;
- evaluating only the selected elements of the system dependence graph;
- and
- identifying ones of the selected elements whereat a state of the selected variable is modified.
A computer-implemented method for statically evaluating a machine-executable software code specification executable in an embedded system, comprising:
- using the computer to generate a system dependence graph corresponding to the software code specification and including a plurality of elements comprising nodes and edges, wherein the computer evaluates the system dependence graph, the evaluation of the system dependence graph comprising:
- selecting a variable in the software code specification;
- traversing to selected elements of the system dependence graph, the selected elements associated with the selected variable;
- evaluating only the selected elements of the system dependence graph to identify ones of the selected elements whereat a state of the selected variable is modified;
- and
- generating a data output indicating the identified ones of the selected elements of the system dependence graph whereat the state of the selected variable is modified.
Dependencies are inferred from the claim text.