System and Method for Software Immunization Based on Static and Dynamic Analysis
    1.
    发明申请
    System and Method for Software Immunization Based on Static and Dynamic Analysis 有权
    基于静态和动态分析的软件免疫系统与方法

    公开(公告)号:US20120167060A1

    公开(公告)日:2012-06-28

    申请号:US12978733

    申请日:2010-12-27

    IPC分类号: G06F9/44

    摘要: Disclosed herein are systems, methods, and non-transitory computer-readable storage media for analyzing source code and identifying potential defects. The methods employ both static analysis and dynamic testing to detect program defects early in the development stage for better quality with less cost. The analysis also ranks identified potential defects and reports only the most likely defects to a human developer. Once defects are detected, they can be removed right away and similar defects can be prevented automatically.

    摘要翻译: 本文公开了用于分析源代码和识别潜在缺陷的系统,方法和非暂时的计算机可读存储介质。 该方法采用静态分析和动态测试,以在开发阶段早期检测程序缺陷,以更好的质量,更低的成本。 分析还列出了确定的潜在缺陷,并向人类开发者报告了最可能的缺陷。 一旦检测到缺陷,它们可以立即被去除,并且可以自动防止类似的缺陷。

    System and method for software immunization based on static and dynamic analysis
    2.
    发明授权
    System and method for software immunization based on static and dynamic analysis 有权
    基于静态和动态分析的软件免疫系统和方法

    公开(公告)号:US08621441B2

    公开(公告)日:2013-12-31

    申请号:US12978733

    申请日:2010-12-27

    IPC分类号: G06F9/44 G06F11/00

    摘要: Disclosed herein are systems, methods, and non-transitory computer-readable storage media for analyzing source code and identifying potential defects. The methods employ both static analysis and dynamic testing to detect program defects early in the development stage for better quality with less cost. The analysis also ranks identified potential defects and reports only the most likely defects to a human developer. Once defects are detected, they can be removed right away and similar defects can be prevented automatically.

    摘要翻译: 本文公开了用于分析源代码和识别潜在缺陷的系统,方法和非暂时的计算机可读存储介质。 该方法采用静态分析和动态测试,以在开发阶段早期检测程序缺陷,以更低的成本获得更好的质量。 分析还列出了确定的潜在缺陷,并向人类开发者报告了最可能的缺陷。 一旦检测到缺陷,它们可以立即被去除,并且可以自动防止类似的缺陷。

    PERFORMANCE STRESS EVALUATION OF MULTI-MODAL NETWORK NOTIFICATION SERVICE
    3.
    发明申请
    PERFORMANCE STRESS EVALUATION OF MULTI-MODAL NETWORK NOTIFICATION SERVICE 审中-公开
    多模式网络通知服务的性能应力评估

    公开(公告)号:US20140019560A1

    公开(公告)日:2014-01-16

    申请号:US13645823

    申请日:2012-10-05

    IPC分类号: G06F15/173

    CPC分类号: H04L43/50

    摘要: Embodiments disclosed herein provide systems and methods for evaluating performance stress in a multi-modal network notification service. In a particular embodiment, a method provides generating a covering array of test factors corresponding to a plurality of modes and a plurality of test level values for each mode and determining an escalation hierarchy of the covering array comprising a plurality of nodes, wherein each node corresponds to a set of test factors in the covering array. The method further provides performing a notification test run of the set of test factors for each node in the escalation hierarchy to determine performance stress for each set of test factors. The method further provides generating a first factor-level-run table with the notification test runs corresponding to each of n-wise test factors and possible test level values and indicating which of the notification test runs in the factor-level-run table resulted in performance stress.

    摘要翻译: 本文公开的实施例提供了用于评估多模式网络通知服务中的性能压力的系统和方法。 在特定实施例中,一种方法提供生成对应于多个模式的测试因子的覆盖数组和针对每种模式的多个测试级别值,并且确定包括多个节点的覆盖阵列的升级层级,其中每个节点对应 覆盖阵列中的一组测试因素。 该方法还提供对升级层级中的每个节点执行一组测试因子的通知测试运行,以确定每组测试因素的性能压力。 该方法进一步提供了生成第一因子级运行表,其中通知测试运行对应于每个正向测试因子和可能的测试级别值,并指示在因子级运行表中运行的通知测试导致 表现压力。

    Linking Software Users Sharing Common Traits
    4.
    发明申请
    Linking Software Users Sharing Common Traits 审中-公开
    链接软件用户共享常见的特征

    公开(公告)号:US20100287109A1

    公开(公告)日:2010-11-11

    申请号:US12463128

    申请日:2009-05-08

    IPC分类号: G06Q99/00 G06Q50/00

    摘要: A method for the establishing of connections between software users based on a pattern of use and/or a characteristic of content related to the users and the software. The interaction of a software user with the software is monitored and a characteristic of content related to the user and the software is determined. When the user needs customer support, he or she is routed to a fellow user of the same software who is capable of providing help. The helping user is selected based on the way in which the first user interacts with the software and/or the characteristic of content related to the first user and the software.

    摘要翻译: 一种用于基于使用模式和/或与用户和软件相关的内容的特征来建立软件用户之间的连接的方法。 监视软件用户与软件的交互,并确定与用户和软件相关的内容的特征。 当用户需要客户支持时,他或她被路由到能够提供帮助的同一软件的同一用户。 基于第一用户与软件交互的方式和/或与第一用户和软件相关的内容的特征来选择帮助用户。

    Off-line program analysis and run-time instrumentation
    5.
    发明授权
    Off-line program analysis and run-time instrumentation 有权
    离线程序分析和运行时仪表

    公开(公告)号:US08291399B2

    公开(公告)日:2012-10-16

    申请号:US12056064

    申请日:2008-03-26

    IPC分类号: G06F9/45

    CPC分类号: G06F11/3644 G06F11/3676

    摘要: A technique is disclosed for determining off-line the number and location of instrumentation probes to be inserted into a program under testing, and subsequently instrumenting the program at run-time based on the off-line analysis. 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, a testing/monitoring tool executes the program and a run-time instrumenter in parallel. The run-time instrumenter accordingly inserts probes into the program, removes probes after they have been executed once, and generates and reports information about code coverage based on the probes.

    摘要翻译: 公开了一种用于确定要插入到测试程序中的仪器探针的数量和位置离线的技术,以及随后基于离线分析在运行时对程序进行测试。 根据说明性实施例,离线分析仪首先根据称为超级嵌套块方法的方法确定被测程序的仪表位置。 在确定仪器位置后,测试/监控工具并行执行程序和运行时调试器。 运行时仪器相应地将探针插入程序,在执行一次后将其移除,并根据探针生成和报告有关代码覆盖的信息。

    Method and apparatus for secure wireless delivery of converged services
    6.
    发明授权
    Method and apparatus for secure wireless delivery of converged services 失效
    用于融合服务的安全无线传送的方法和装置

    公开(公告)号:US07346168B2

    公开(公告)日:2008-03-18

    申请号:US10674285

    申请日:2003-09-29

    IPC分类号: H04L9/00

    摘要: A method and apparatus are provided for the secure delivery of converged services to users of wireless devices in a wireless environment. An application layer broker is position between the user devices and the application server to provide an indirect coupling between the enterprise application server and the wireless user devices. The application layer broker links the wireless environment to the enterprise application server through an event triggered content delivery mechanism without providing a direct link between the wireless user device and the enterprise application server. Delivered content can only be accessed by the intended user and the authorized device. The application layer broker provides adaptation to various user devices and the various capabilities associated with each user device. Wireless devices can be upgraded independently from upgrades to the application server. The decoupling performed by the application layer broker separates the service control, such as user registration from the service delivery.

    摘要翻译: 提供了一种用于在无线环境中将融合服务安全传递给无线设备的用户的方法和装置。 应用层代理是用户设备和应用服务器之间的位置,以提供企业应用服务器与无线用户设备之间的间接耦合。 应用层代理通过事件触发的内容递送机制将无线环境链接到企业应用服务器,而不在无线用户设备和企业应用服务器之间提供直接链路。 交付的内容只能由目标用户和授权设备访问。 应用层代理提供对各种用户设备的适应以及与每个用户设备相关联的各种能力。 无线设备可以独立升级到应用服务器。 应用层代理执行的解耦将服务控制分离,例如用户注册与服务传递。

    Super nested block method to minimize coverage testing overhead
    7.
    发明授权
    Super nested block method to minimize coverage testing overhead 有权
    超级嵌套块方法来最大限度地减少覆盖测试开销

    公开(公告)号:US08739145B2

    公开(公告)日:2014-05-27

    申请号:US12056026

    申请日:2008-03-26

    IPC分类号: G06F9/45 G06F9/44

    CPC分类号: G06F11/3676 G06F11/3644

    摘要: 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 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.

    摘要翻译: 公开了一种用于确定要插入到程序中的仪器探针的数量和位置的方法。 该方法有利地插入了程序控制流程图中为每个节点获得执行覆盖所需的最少数量的探针。 此外,该方法仅需要一个位来存储每个探针,并且不需要将权重分配给控制流图的弧或节点。 在说明性实施例中,控制流图的节点被划分为非空集合,其中每个非空集合对应于节目的超嵌套块。

    Efficient encoding of instrumented data in real-time concurrent systems
    8.
    发明授权
    Efficient encoding of instrumented data in real-time concurrent systems 有权
    仪器化数据在实时并发系统中的高效编码

    公开(公告)号:US08356289B2

    公开(公告)日:2013-01-15

    申请号:US12240868

    申请日:2008-09-29

    IPC分类号: G06F9/44 G06F9/45

    CPC分类号: 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.

    摘要翻译: 公开了一种编码和报告仪器化数据的机制,与现有技术的其它方法相比,其需要较少的存储空间并且导致较少的处理器开销。 根据说明性实施例,共享存储器中的位矢量对应于已经被装配的程序的控制流程图的节点,并且向量的内容指示这些节点中的哪一个已经执行; 此外,共享内存中的字符串表示每个节点所属的文件,类和方法。 与被测程序同时执行的进程将从共享存储器传送到数据库的检测数据。 说明性实施例能够有效,快速地报告和存储仪器化数据,因此特别适用于实时并发系统的运行时分析。

    Secure interaction between a mobile client device and an enterprise application in a communication system
    9.
    发明授权
    Secure interaction between a mobile client device and an enterprise application in a communication system 有权
    移动客户端设备与通信系统中的企业应用程序之间的安全交互

    公开(公告)号:US07925717B2

    公开(公告)日:2011-04-12

    申请号:US10668577

    申请日:2003-09-23

    IPC分类号: G06F15/16

    摘要: Techniques are disclosed for controlling interaction between an enterprise application and a mobile client device in a communication system. Push content is generated in a wireless secure server or other type of server, responsive to information received in the wireless secure server from the enterprise application. The push content is deliverable from the wireless secure server to the mobile client device over a wireless network. The wireless secure server receives from the mobile client device, responsive to the push content, a request for additional information identifiable at least in part by the push content. The additional information is deliverable from the server to the mobile client device over the wireless network.

    摘要翻译: 公开了用于控制通信系统中的企业应用和移动客户端设备之间的交互的技术。 响应于来自企业应用的无线安全服务器中接收到的信息,在无线安全服务器或其他类型的服务器中生成推送内容。 推送内容可通过无线网络从无线安全服务器传送到移动客户端设备。 响应于推送内容,无线安全服务器从移动客户端设备接收至少部分地由推送内容可标识的附加信息的请求。 附加信息可通过无线网络从服务器传送到移动客户端设备。

    System and method to improve the resiliency and performance of enterprise networks by utilizing in-built network redundancy
    10.
    发明授权
    System and method to improve the resiliency and performance of enterprise networks by utilizing in-built network redundancy 有权
    通过利用内置网络冗余来提高企业网络的弹性和性能的系统和方法

    公开(公告)号:US07188189B2

    公开(公告)日:2007-03-06

    申请号:US10406096

    申请日:2003-04-02

    IPC分类号: G06F15/16

    摘要: The present invention is a system and method to improve the reliability and performance of existing enterprise IP networks which have dual-homed (or multi-homed) network architectures. In one aspect of the invention packets related to a selected category of transmission (e.g., VoIP) are duplicated at an edge router and sent over both (multiple) service providers. After traversing the service provider networks, only the first-to-arrive packets are kept and the later-arriving copies are discarded. In so doing, the result is better protection against node failures, link failures, and packet errors, and also better QoS performance under normal (fault-free) operation.

    摘要翻译: 本发明是提高具有双归(或多归属)网络架构的现有企业IP网络的可靠性和性能的系统和方法。 在本发明的一个方面,与所选择的传输类别(例如,VoIP)相关的分组在边缘路由器上复制并通过两个(多个)服务提供商发送。 在遍历服务提供商网络之后,仅保留首先到达的分组,并且丢弃稍晚的副本。 通过这样做,可以更好地保护节点故障,链路故障和数据包错误,以及在正常(无故障)操作下更好的QoS性能。