中科微点-全球专利检索

  1. Login
  2. Sign Up

Search Results

4 records (took 0.024 seconds)

    FAST AND ACCURATE STATIC DATA-RACE DETECTION FOR CONCURRENT PROGRAMS
    1.
    发明申请
    FAST AND ACCURATE STATIC DATA-RACE DETECTION FOR CONCURRENT PROGRAMS 审中-公开
    快速准确的静态数据检测方法

    公开(公告)号：WO2008091457A1

    公开(公告)日：2008-07-31

    申请号：PCT/US2007/087705

    申请日：2007-12-17

    Applicant: NEC LABORATORIES AMERICA, INC.

    Inventor： KAHLON, Vineet ,  YANG, Yu ,  SANKARANARAYANAN, Sriram ,  GUPTA, Aarti

    IPC: G06F11/36 ,  G06F11/30

    CPC classification number: G06F9/52 ,  G06F8/433 ,  G06F9/526

    Abstract: A system and method for race warning generation for computer program verification includes determining shared variables and determining context-sensitive points-to sets for lock pointers by focusing on pointers that may affect aliases of lock pointers, and by leveraging function summarization. Locksets are determined at locations where shared variables are accessed using the points-to sets for lock pointers. Warnings are based on disjointness of locksets.

    Abstract translation: 用于计算机程序验证的用于赛跑警告生成的系统和方法包括通过关注可能影响锁定指针的别名的指针以及通过利用功能汇总来确定共享变量并且确定针对锁定指针的上下文敏感点集合。 使用锁定指针的点对集来访问共享变量的位置确定锁定。 警告是基于锁具的不相容性。

    MINING LIBRARY SPECIFICATIONS USING INDUCTIVE LEARNING
    2.
    发明申请
    MINING LIBRARY SPECIFICATIONS USING INDUCTIVE LEARNING 审中-公开
    采用电感学习的采矿图书馆规范

    公开(公告)号：WO2009032361A1

    公开(公告)日：2009-03-12

    申请号：PCT/US2008/057989

    申请日：2008-03-24

    Applicant: NEC LABORATORIES AMERICA, INC.

    Inventor： SANKARANARAYANAN, Sriram ,  IVANCIC, Franjo ,  GUPTA, Aarti

    IPC: G06F17/00

    CPC classification number: G06F8/74 ,  G06F8/36 ,  G06F11/3672

    Abstract: A system and method for mining program specifications includes generating unit tests to exercise functions of a library through an application program interface (API), based upon an (API) signature (101), A response to the unit tests is determined (104) to generate a transaction in accordance with a target behavior. The transaction (110) is converted into a relational form, and specifications of the library are learned using an inductive logic programming tool (107) from the relational form of the transaction.

    Abstract translation: 一种用于挖掘程序规范的系统和方法包括：基于（API）签名（101），通过应用程序接口（API）生成单元测试以通过应用程序接口（API）来执行库的功能。对单元测试的响应被确定（104） 根据目标行为生成事务。 交易（110）被转换成关系形式，并且使用归纳逻辑编程工具（107）从交易的关系形式学习库的规范。

    SOFTWARE TESTING USING MACHINE LEARNING
    3.
    发明申请
    SOFTWARE TESTING USING MACHINE LEARNING 审中-公开
    使用机器学习的软件测试

    公开(公告)号：WO2008039964A1

    公开(公告)日：2008-04-03

    申请号：PCT/US2007/079820

    申请日：2007-09-28

    Applicant: NEC LABORATORIES AMERICA, INC.

    Inventor： CHANG, Richard ,  SANKARANARAYANAN, Sriram ,  JIANG, Guofei ,  IVANCIC, Franjo

    IPC: G06F11/36

    CPC classification number: G06F11/3688

    Abstract: A system and method for analyzing (104) a computer program includes performing a static analysis on a program to determine property correctness. Test cases are generated (108) and conducted to provide test output data. Hypotheses (113) about aspects of execution of the program are produced to classify paths for test cases to determine whether the test cases have been encountered or otherwise. In accordance with the hypothesis, new test cases are generated (120) to cause the program to exercise behavior which is outside of the encountered test cases.

    Abstract translation: 用于分析（104）计算机程序的系统和方法包括对程序执行静态分析以确定属性正确性。 生成测试用例（108），并提供测试输出数据。 产生关于程序执行方面的假设（113），以便对测试用例的路径进行分类，以确定是否遇到了测试用例。 根据该假设，生成新的测试用例（120），使程序运行在遇到的测试用例之外的行为。

Patent Agency Ranking