Computer Implemented System and Method for Checking a Program Code

摘要

A computer implemented system for checking a program code that includes a lexical analyzer to lexically analyze the expressions of the program code and generate tokens representing these expressions. The system includes a parser that receives and parses the tokens to determine whether the tokens form an allowable expression. A tree generation module generates a parsed tree that represents relationship between the tokens in a tree-format. The system further includes an abstractor that cooperates with the tree generation module, and stores at least one meta model that represents program code in an entity-relationship format. A rule engine executes the code checking rule(s) on the populated instance of the meta model, and determines whether said program code complies with the code checking rule(s). The system also includes a report generator that generates at least one report indicating the compliance level of the program code with the code-checking rule(s).

主权项

1. A computer implemented system for checking a program code, said system comprising:
a lexical analyzer comprising a first repository having a pre-determined set of lexical rules stored therein, said lexical analyzer further comprising a first processor configured to lexically analyze the expressions of said program code and generate tokens representing said expressions; a parser cooperating with said lexical analyzer configured to receive and adapted to parse said tokens, said parser comprising a second repository having a pre-determined set of parsing rules stored therein, said parser further comprising a determinator configured to determine whether said tokens form an allowable expression; a tree generation module cooperating with said parser and configured to generate a parsed tree, said parsed tree representing the relationship between said tokens in a tree-format; an abstractor cooperating with said tree generation module configured to receive said parsed tree, said abstractor comprising:
a third repository configured to store at least one meta model, said meta model representing said program code in an entity-relationship format;a fourth repository configured to store at least one set of populating rules corresponding to said meta model;a second processor configured to receive said meta model, said populating rules and said parsed tree, said second processor configured to populate an instance of said meta model, based on said parsed tree and in accordance with said populating rules; a rule engine comprising:
a receiver configured to receive the populated instance of said meta model;a framer accessible to a code reviewer, said reviewer having access to said program code and corresponding program requisites, said framer configured to enable said reviewer to frame at least one code checking rule based on said program requisites;a fifth repository cooperating with said framer to receive said code checking rules, said fifth repository further configured to store said code checking rule(s); anda third processor cooperating with said fifth repository and configured to execute said code checking rule(s) on the populated instance of said meta model, and determine whether said program code complies with said code checking rule(s); and a report generator cooperating with said rule engine and configured to generate at least one report indicating the compliance level of said program code with said code-checking rule(s).