System and method for enforcing functionality in computer software through policies
AssigneeParasoft Corporation
InventorsAdam Kolawa, Alexander Smolen, Marek Pilch, Wayne Ariola
Life of this patent
Estimating the term…
Abstract
A method and system for enforcing functionality in computer software through policy including converting a natural language policy to sample code, wherein the natural language policy is represented by logical patterns; creating one or more static analysis rules from the sample code to enforce the natural language policy at a centralized location of the computer software; and enforcing the created one or more static analysis rules for the computer software.
Claims20
A method for enforcing functionality in computer software through policy, the method comprising:
- converting a natural language policy to sample code, wherein the natural language policy is represented by logical patterns;
- creating one or more static analysis rules from the sample code to enforce the natural language policy at a centralized location of the computer software;
- and
- enforcing the created one or more static analysis rules for the computer software.
A system for enforcing functionality in computer software through policy comprising:
- means for converting a natural language policy to sample code, wherein the natural language policy is represented by logical patterns;
- means for creating one or more static analysis rules from the sample code to enforce the natural language policy at a centralized location of the computer software;
- and
- means for enforcing the created one or more static analysis rules for the computer software.
A method for enforcing functionality in computer software through policy, the method comprising:
- selecting a natural language policy from a plurality of natural language policies, wherein each of the plurality of natural language policies is represented by logical patterns;
- converting the selected natural language policy to sample code;
- creating a static analysis rule from the sample code;
- and
- enforcing the created static analysis rule within the computer software.
Dependencies are inferred from the claim text.