-
公开(公告)号:US20070094650A1
公开(公告)日:2007-04-26
申请号:US11254268
申请日:2005-10-20
IPC分类号: G06F9/45
CPC分类号: G06F8/433
摘要: Methods, systems and apparatus for optimizing a source code are provided. Dependencies for each header file and source code file in the source code are identified for all possible compilation contexts. Certain dependencies can be classified into complete types and incomplete types or named references. Further, these incomplete type dependencies are removed by adding forward declarations where appropriate.
摘要翻译: 提供了用于优化源代码的方法,系统和装置。 对于所有可能的编译上下文,都会标识源代码中每个头文件和源代码文件的依赖关系。 某些依赖关系可以分为完整类型和不完整类型或命名引用。 此外,通过在适当的情况下添加前向声明来删除这些不完全类型的依赖关系。
-
2.
公开(公告)号:US20060041873A1
公开(公告)日:2006-02-23
申请号:US10922076
申请日:2004-08-19
申请人: Vinod Pandarinathan , Richard Livingston , VanniaRajan Chellappan , James Lambert , Balachander Chandrasekaran
发明人: Vinod Pandarinathan , Richard Livingston , VanniaRajan Chellappan , James Lambert , Balachander Chandrasekaran
IPC分类号: G06F9/45
CPC分类号: G06F8/71
摘要: A computer system and method are provided for the verification of functional equivalence between at least two source codes residing on at least one computer. A comparison is carried out between a source code and a modified version of the source code. The comparison is performed to determine the functional equivalence between the two source codes. The functional equivalence is determined on the basis of type, scope and linkage of identifiers of the source codes. The identifiers are extracted from the assembly codes of the source codes.
摘要翻译: 提供了一种用于验证位于至少一台计算机上的至少两个源代码之间的功能等同性的计算机系统和方法。 在源代码和源代码的修改版本之间进行比较。 执行比较以确定两个源代码之间的功能等效性。 基于源代码的标识符的类型,范围和联系来确定功能等价性。 从源代码的汇编代码中提取标识符。
-
公开(公告)号:US08327343B2
公开(公告)日:2012-12-04
申请号:US11254268
申请日:2005-10-20
申请人: Marcos S. Klein , Richard Brian Livingston , Vinod Pandarinathan , Venkata Rajasekharu Athreyapurapu
发明人: Marcos S. Klein , Richard Brian Livingston , Vinod Pandarinathan , Venkata Rajasekharu Athreyapurapu
IPC分类号: G06F9/45
CPC分类号: G06F8/433
摘要: Methods, systems and apparatus for optimizing a source code are provided. Dependencies for each header file and source code file in the source code are identified for all possible compilation contexts. Certain dependencies can be classified into complete types and incomplete types or named references. Further, these incomplete type dependencies are removed by adding forward declarations where appropriate.
摘要翻译: 提供了用于优化源代码的方法,系统和装置。 对于所有可能的编译上下文,都会标识源代码中每个头文件和源代码文件的依赖关系。 某些依赖关系可以分为完整类型和不完整类型或命名引用。 此外,通过在适当的情况下添加前向声明来删除这些不完全类型的依赖关系。
-
公开(公告)号:US20080126867A1
公开(公告)日:2008-05-29
申请号:US11468730
申请日:2006-08-30
申请人: Vinod Pandarinathan , Robert Sargent , Richard Brian Livingston , James Kevin Lambert , Michael W. Turnlund , Donald Arthur Williams , Balachander Chandrasekaran , Lakshmankumar Mukkavilli
发明人: Vinod Pandarinathan , Robert Sargent , Richard Brian Livingston , James Kevin Lambert , Michael W. Turnlund , Donald Arthur Williams , Balachander Chandrasekaran , Lakshmankumar Mukkavilli
IPC分类号: G06F11/28
CPC分类号: G06F11/3688
摘要: A system and method for selective regression testing is described. The system and method provides a test script database identifying multiple portions of a first low level code (e.g., assembly code) and tests associated with at least one of the multiple portions of first low level code. A comparator may identify a change set between the multiple portions of the first low level code and corresponding portions of modified low level code. After the database has been queried by a changed set query module, using the identified change set as key, an optimum or reduced test suite is identified from the database, to be run on the modified low level code, thereby to verify the change set.
摘要翻译: 描述了用于选择性回归测试的系统和方法。 该系统和方法提供了一个标识第一低级代码(例如,汇编代码)的多个部分的测试脚本数据库以及与第一低级代码的多个部分中的至少一个相关联的测试。 比较器可以识别第一低级代码的多个部分与修改的低级代码的对应部分之间的变化集合。 在数据库被更改的集查询模块查询后,使用标识的更改集作为密钥,从数据库中识别出最佳或简化的测试套件,以便在修改的低级代码上运行,从而验证更改集。
-
-
-