会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Automatic generation of run-time instrumenter
    • 自动生成运行时仪器
    • US08752007B2
    • 2014-06-10
    • US12056063
    • 2008-03-26
    • Juan Jenny LiDavid Mandel Weiss
    • Juan Jenny LiDavid Mandel Weiss
    • G06F9/44G06F9/45
    • G06F11/3644G06F11/3624
    • A method and apparatus for automatically generating a run-time instrumenter are disclosed. In accordance with the illustrative embodiment, an off-line analyzer first determines instrumentation locations for a program under test in accordance with a method called the Super Nested Block Method. After the instrumentation locations have been determined, source code for a run-time instrumenter is automatically generated based on the source code for the program under test and the instrumentation locations. The source code for the program under test and the run-time instrumenter are then compiled into executables, and a testing tool then executes the program under test and the run-time instrumenter in parallel.
    • 公开了一种用于自动生成运行时调度器的方法和装置。 根据说明性实施例,离线分析仪首先根据称为超级嵌套块方法的方法确定被测程序的仪表位置。 在确定仪器位置后,将根据被测程序的源代码和仪器位置自动生成运行时调度器的源代码。 然后将被测程序的源代码和运行时调度程序编译成可执行程序,然后测试工具并行执行被测程序和运行时调度程序。
    • 3. 发明授权
    • Code-coverage guided prioritized test generation
    • 代码覆盖引导优先测试生成
    • US08108826B2
    • 2012-01-31
    • US10953849
    • 2004-09-29
    • Juan Jenny LiDavid Mandel WeissHowell Stephen Yee
    • Juan Jenny LiDavid Mandel WeissHowell Stephen Yee
    • G06F9/44G06F9/45
    • G06F11/3676
    • A method for generating test cases for a program is disclosed. The method combines features of path-oriented and goal-oriented software testing. The illustrative embodiment constructs a control-flow graph with nodes that correspond to invocations of subroutines, and constructs control-flow graphs for the source code of such nodes as well. A metric that is based on the topology of the control-flow graph is evaluated recursively for nodes of the graph and for control-flow graphs that correspond to invoked subroutines. In the illustrative embodiment, the metric employed is the length of a shortest path from the starting node to a particular node. A node n with the highest metric value is then selected as a goal, and a path from the starting node to the ending node that passes through node n is generated via backtracking.
    • 公开了一种用于生成程序的测试用例的方法。 该方法结合面向路径和面向目标的软件测试功能。 说明性实施例构造具有对应于子例程的调用的节点的控制流图,并且还构建这些节点的源代码的控制流图。 基于控制流图的拓扑的度量被递归地评估用于图的节点和对应于被调用的子例程的控制流图。 在说明性实施例中,采用的度量是从起始节点到特定节点的最短路径的长度。 然后选择具有最高度量值的节点n作为目标,并且通过回溯生成从起始节点到通过节点n的结束节点的路径。
    • 4. 发明授权
    • Rapid fault detection and recovery for internet protocol telephony
    • 互联网协议电话快速故障检测和恢复
    • US07782787B2
    • 2010-08-24
    • US10953024
    • 2004-09-29
    • Mark John KarolParameshwaran KrishnanJuan Jenny Li
    • Mark John KarolParameshwaran KrishnanJuan Jenny Li
    • G01R31/08
    • H04L43/50H04L43/10H04L65/80H04L69/40
    • Techniques for performing rapid fault detection and recovery in communication networks are disclosed. For example, in one aspect of the invention, a technique for detecting one or more conditions in a communication network comprises the following steps/operations. One or more keep-alive packets are transmitted from a source node in the communication network to a destination node in the communication network over two or more paths between the source node and the destination node, wherein the two or more paths are at least partially disjoint. Upon receipt of the one or more keep-alive packets at the destination node via the two or more paths, at least one quality measure is computed at the destination node for each of the two or more paths, the at least one quality measure being indicative of one or more conditions in the communication network. While not limited thereto, the invention is particularly well-suited to Internet Protocol (IP) telephony networks, particularly those that provide Voice over IP (VoIP) applications.
    • 公开了在通信网络中执行快速故障检测和恢复的技术。 例如,在本发明的一个方面,用于检测通信网络中的一个或多个条件的技术包括以下步骤/操作。 一个或多个保持活动分组从通信网络中的源节点通过源节点和目的地节点之间的两个或多个路径发送到通信网络中的目的地节点,其中两个或更多个路径至少部分地不相交 。 经由两个或多个路径在目的地节点处接收到一个或多个保持活动分组时,在目的地节点处针对两个或更多个路径中的每一个计算至少一个质量度量,所述至少一个质量度量指示 通信网络中的一个或多个条件。 虽然不限于此,本发明特别适用于因特网协议(IP)电话网络,特别是那些提供IP语音(VoIP)应用的电话网络。
    • 5. 发明申请
    • Efficient Program Instrumentation
    • 高效程序仪表
    • US20090249309A1
    • 2009-10-01
    • US12240876
    • 2008-09-29
    • Juan Jenny LiDavid Mandel Weiss
    • Juan Jenny LiDavid Mandel Weiss
    • G06F9/44
    • G06F11/3676G06F11/3636
    • A method for determining the number and location of instrumentation probes to be inserted into a program is disclosed. The method advantageously inserts the minimum number of probes that are required to obtain execution coverage for every node in the program's control-flow graph. In addition, the method requires only type of node marking and one bit to store each probe, and does not require the assignment of weights to arcs or nodes of the control-flow graph. In the illustrative embodiment, the nodes of a control-flow graph are partitioned into non-empty sets, where each non-empty set corresponds to a super nested block of the program.
    • 公开了一种用于确定要插入到程序中的仪器探针的数量和位置的方法。 该方法有利地插入了程序控制流程图中为每个节点获得执行覆盖所需的最少数量的探针。 此外,该方法仅需要节点标记的类型和一个位来存储每个探针,并且不需要对控制流图的弧或节点分配权重。 在说明性实施例中,控制流图的节点被划分为非空集合,其中每个非空集合对应于节目的超嵌套块。
    • 6. 发明申请
    • Efficient Encoding of Instrumented Data in Real-Time Concurrent Systems
    • 实时并发系统中仪表数据的高效编码
    • US20090249308A1
    • 2009-10-01
    • US12240868
    • 2008-09-29
    • Juan Jenny LiDavid Mandel Weiss
    • Juan Jenny LiDavid Mandel Weiss
    • G06F9/44
    • G06F11/3676
    • A mechanism for encoding and reporting instrumented data is disclosed that requires less storage space and incurs less processor overhead than other methods of the prior art. In accordance with the illustrative embodiment, a bit vector in shared memory corresponds to nodes of a program's control-flow graph that have been instrumented, and the contents of the vector indicate which of these nodes have executed; in addition, character strings in shared memory indicate what file, class, and method each node belongs to. A process that executes concurrently with those of the program under test transmits instrumented data from the shared memory to a database. The illustrative embodiment enables efficient, rapid reporting and storage of instrumented data, and is therefore especially well-suited for run-time analysis of real-time concurrent systems.
    • 公开了一种编码和报告仪器化数据的机制,与现有技术的其它方法相比,其需要较少的存储空间并且导致较少的处理器开销。 根据说明性实施例,共享存储器中的位矢量对应于已经被装配的程序的控制流程图的节点,并且向量的内容指示这些节点中的哪一个已经执行; 此外,共享内存中的字符串表示每个节点所属的文件,类和方法。 与被测程序同时执行的进程将从共享存储器传送到数据库的检测数据。 说明性实施例能够有效,快速地报告和存储仪器化数据,因此特别适用于实时并发系统的运行时分析。
    • 10. 发明授权
    • Efficient encoding of instrumented data in real-time concurrent systems
    • 仪器化数据在实时并发系统中的高效编码
    • US08356289B2
    • 2013-01-15
    • US12240868
    • 2008-09-29
    • Juan Jenny LiDavid Mandel Weiss
    • Juan Jenny LiDavid Mandel Weiss
    • G06F9/44G06F9/45
    • G06F11/3676
    • A mechanism for encoding and reporting instrumented data is disclosed that requires less storage space and incurs less processor overhead than other methods of the prior art. In accordance with the illustrative embodiment, a bit vector in shared memory corresponds to nodes of a program's control-flow graph that have been instrumented, and the contents of the vector indicate which of these nodes have executed; in addition, character strings in shared memory indicate what file, class, and method each node belongs to. A process that executes concurrently with those of the program under test transmits instrumented data from the shared memory to a database. The illustrative embodiment enables efficient, rapid reporting and storage of instrumented data, and is therefore especially well-suited for run-time analysis of real-time concurrent systems.
    • 公开了一种编码和报告仪器化数据的机制,与现有技术的其它方法相比,其需要较少的存储空间并且导致较少的处理器开销。 根据说明性实施例,共享存储器中的位矢量对应于已经被装配的程序的控制流程图的节点,并且向量的内容指示这些节点中的哪一个已经执行; 此外,共享内存中的字符串表示每个节点所属的文件,类和方法。 与被测程序同时执行的进程将从共享存储器传送到数据库的检测数据。 说明性实施例能够有效,快速地报告和存储仪器化数据,因此特别适用于实时并发系统的运行时分析。