Computer system and method for verifying functional equivalence
    1.
    发明申请
    Computer system and method for verifying functional equivalence 审中-公开
    用于验证功能等同性的计算机系统和方法

    公开(公告)号:US20060041873A1

    公开(公告)日:2006-02-23

    申请号:US10922076

    申请日:2004-08-19

    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.

    摘要翻译: 提供了一种用于验证位于至少一台计算机上的至少两个源代码之间的功能等同性的计算机系统和方法。 在源代码和源代码的修改版本之间进行比较。 执行比较以确定两个源代码之间的功能等效性。 基于源代码的标识符的类型,范围和联系来确定功能等价性。 从源代码的汇编代码中提取标识符。

    Method and system for validating a CLI/configlet on a given image
    3.
    发明授权
    Method and system for validating a CLI/configlet on a given image 有权
    在给定图像上验证CLI / configlet的方法和系统

    公开(公告)号:US07707275B2

    公开(公告)日:2010-04-27

    申请号:US11110246

    申请日:2005-04-20

    IPC分类号: G06F15/177

    CPC分类号: G06F8/427

    摘要: A method and system for validating a Command Line Interface (CLI) configlet on an image is provided. The method includes creating a parse graph using a plurality of self-describing data constructs, identifying a plurality of parse chain data constructs in the parse graph, deriving at least one CLI/configlet from the image file based on the plurality of self-describing data constructs; and comparing the at least one CLI/configlet derived from the image file with a plurality of CLIs/configlets.

    摘要翻译: 提供了一种用于验证图像上的命令行界面(CLI)configlet的方法和系统。 该方法包括使用多个自描述数据结构创建解析图,识别分析图中的多个解析链数据结构,基于多个自描述数据从图像文件导出至少一个CLI /配置 结构体; 以及将从所述图像文件导出的所述至少一个CLI / configlet与多个CLI /配置文件进行比较。

    Method and system for validating a CLI/configlet on a given image
    4.
    发明申请
    Method and system for validating a CLI/configlet on a given image 有权
    在给定图像上验证CLI / configlet的方法和系统

    公开(公告)号:US20060242403A1

    公开(公告)日:2006-10-26

    申请号:US11110246

    申请日:2005-04-20

    IPC分类号: H04L9/00

    CPC分类号: G06F8/427

    摘要: A method and system for validating a Command Line Interface (CLI) configlet on an image is provided. The method includes creating a parse graph using a plurality of self-describing data constructs, identifying a plurality of parse chain data constructs in the parse graph, deriving at least one CLI/configlet from the image file based on the plurality of self-describing data constructs; and comparing the at least one CLI/configlet derived from the image file with a plurality of CLIs/configlets.

    摘要翻译: 提供了一种用于验证图像上的命令行界面(CLI)configlet的方法和系统。 该方法包括使用多个自描述数据结构创建解析图,识别分析图中的多个解析链数据结构,基于多个自描述数据从图像文件导出至少一个CLI /配置 结构体; 以及将从所述图像文件导出的所述至少一个CLI / configlet与多个CLI /配置文件进行比较。

    Mechanism for secure rehosting of licenses
    5.
    发明申请
    Mechanism for secure rehosting of licenses 有权
    安全重新托管许可证的机制

    公开(公告)号:US20080243683A1

    公开(公告)日:2008-10-02

    申请号:US11731419

    申请日:2007-03-30

    IPC分类号: G06Q50/00

    CPC分类号: G06Q30/00 G06F21/10 G06Q20/10

    摘要: In one embodiment, a licensing authority receives a rehost ticket indicating proof of removal of a license from a first device. The licensing authority receives a request for a license for a second device. The licensing authority validates the rehost ticket to ensure that the license on the first device has been removed from the first device. The licensing authority provides a license for the second device if the rehost ticket is successfully validated, wherein the license that has been removed from the first device and the license for the second device provide the same license capabilities. The first device and the second device are associated with the same customer. Payment has been received for the license associated with the first device but payment has not been received for a separate license capable of being applied to the second device.

    摘要翻译: 在一个实施例中,许可授权机构从第一设备接收指示许可证的删除证明的重新发送票据。 许可授权机构收到第二个设备的许可证请求。 许可授权机构验证rehost故障单,以确保第一个设备上的许可证已从第一个设备中删除。 许可证颁发机构如果重新生成故障单已成功验证,则为第二个设备提供许可证,其中从第一个设备删除的许可证和第二个设备的许可证提供相同的许可证功能。 第一设备和第二设备与相同的客户相关联。 已收到与第一个设备相关的许可证的付款,但尚未收到能够应用于第二个设备的单独许可证的付款。

    Hybrid interface synchronization method and driver-client model for high availability systems
    6.
    发明授权
    Hybrid interface synchronization method and driver-client model for high availability systems 有权
    混合接口同步方法和高可用性系统的驱动程序 - 客户端模型

    公开(公告)号:US07590760B1

    公开(公告)日:2009-09-15

    申请号:US10156556

    申请日:2002-05-24

    摘要: A system and method for supporting a “hitless” switchover from an Active to a Standby processor uses a hybrid synchronization of interface states to allow applications that have been modified to have HA aware features and non-modified applications to function on the system. An interface description data block on the Standby RP is synchronized to the interface description data block on the Active RP and is maintained in a shadow state when the Active RP controls the system. In the event of a switchover between the RPs the interface description data block on the Standby RP is copied from the shadow state to a real state and applications on the Standby RP are notified of a status change.

    摘要翻译: 用于支持从主动到待机处理器的“无间断”切换的系统和方法使用接口状态的混合同步,以允许经过修改的应用程序具有HA感知功能和未修改的应用程序在系统上运行。 备用RP上的接口描述数据块与Active RP上的接口描述数据块同步,并在Active RP控制系统时保持在阴影状态。 在RP之间切换时,备用RP上的接口描述数据块从影子状态复制到实际状态,备用RP上的应用程序通知状态变化。

    ENABLING APPLICATIONS IN A MULTI-TRANSPORT STACK ENVIRONMENT
    8.
    发明申请
    ENABLING APPLICATIONS IN A MULTI-TRANSPORT STACK ENVIRONMENT 有权
    在多个运输堆栈环境中实现应用

    公开(公告)号:US20130282884A1

    公开(公告)日:2013-10-24

    申请号:US13450744

    申请日:2012-04-19

    IPC分类号: G06F15/173

    摘要: In one embodiment, an apparatus includes a first transport stack, a virtual network interface controller (VNIC), and a second transport stack. The first transport stack is associated with an Internetwork Operating System (IOS), as well as with a plurality of interface-based Internet Protocol (IP) addresses and a plurality of IP addresses. The VNIC is configured to dynamically provision the plurality of interface-based IP addresses and the plurality of IP addresses. The second transport stack is associated with a kernel, and configured to communicate with a first application. The MS is configured to enable the first application to share the plurality of IP addresses and the plurality if IP addresses with a plurality of applications.

    摘要翻译: 在一个实施例中,装置包括第一传输堆栈,虚拟网络接口控制器(VNIC)和第二传输栈。 第一传输堆栈与互联网操作系统(IOS)以及多个基于接口的因特网协议(IP)地址和多个IP地址相关联。 VNIC被配置为动态地配置多个基于接口的IP地址和多个IP地址。 第二个传输堆栈与内核相关联,并配置为与第一个应用程序进行通信。 MS被配置为使得第一应用能够与多个应用共享多个IP地址和多个IP地址。

    Mechanism for secure rehosting of licenses
    9.
    发明授权
    Mechanism for secure rehosting of licenses 有权
    安全重新托管许可证的机制

    公开(公告)号:US07769693B2

    公开(公告)日:2010-08-03

    申请号:US11731419

    申请日:2007-03-30

    IPC分类号: G06F21/00

    CPC分类号: G06Q30/00 G06F21/10 G06Q20/10

    摘要: In one embodiment, a licensing authority receives a rehost ticket indicating proof of removal of a license from a first device. The licensing authority receives a request for a license for a second device. The licensing authority validates the rehost ticket to ensure that the license on the first device has been removed from the first device. The licensing authority provides a license for the second device if the rehost ticket is successfully validated, wherein the license that has been removed from the first device and the license for the second device provide the same license capabilities. The first device and the second device are associated with the same customer. Payment has been received for the license associated with the first device but payment has not been received for a separate license capable of being applied to the second device.

    摘要翻译: 在一个实施例中,许可授权机构从第一设备接收指示许可证的删除证明的重新发送票据。 许可授权机构收到第二个设备的许可证请求。 许可授权机构验证rehost故障单,以确保第一个设备上的许可证已从第一个设备中删除。 许可证颁发机构如果重新生成故障单已成功验证,则为第二个设备提供许可证,其中从第一个设备删除的许可证和第二个设备的许可证提供相同的许可证功能。 第一设备和第二设备与相同的客户相关联。 已收到与第一个设备相关的许可证的付款,但尚未收到能够应用于第二个设备的单独许可证的付款。