公开(公告)号：US20150193213A1

公开(公告)日：2015-07-09

申请号：US14504724

申请日：2014-10-02

申请人： Tata Consultancy Services Ltd.

发明人： Mayuresh P. Warunjikar ,  Priyam Jain ,  Neeraj Jain ,  Nitin Kumar Rai ,  Vivek Tiwari ,  Amit Kumar Choubey

IPC分类号： G06F9/45

CPC分类号： G06F8/425 ,  G06F8/427

摘要： 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).

摘要翻译： 一种用于检查包括词法分析器的程序代码的计算机实现的系统，用于对程序代码的表达进行词法分析并生成表示这些表达式的令牌。 该系统包括一个解析器，用于接收和解析令牌，以确定令牌是否形成一个允许的表达式。 树生成模块生成一个表示树形式的令牌之间的关系的解析树。 该系统还包括与树生成模块配合的抽象器，并存储以实体关系格式表示程序代码的至少一个元模型。 规则引擎执行元模型的填充实例上的代码检查规则，并确定所述程序代码是否符合代码检查规则。 该系统还包括报告生成器，其生成至少一个报告，该报告指示具有代码检查规则的程序代码的合规级别。