Methods and systems of testing software, and methods and systems of modeling user behavior
    1.
    发明申请
    Methods and systems of testing software, and methods and systems of modeling user behavior 有权
    测试软件的方法和系统,以及用户行为建模的方法和系统

    公开(公告)号:US20050268287A1

    公开(公告)日:2005-12-01

    申请号:US11188606

    申请日:2005-07-25

    IPC分类号: G06F11/36 G06F9/44

    CPC分类号: G06F11/3688

    摘要: Methods and systems of testing software and modeling user actions are described. In some embodiments, multiple different algorithms are provided for operating on a software model. The software model describes behavior associated with software that is to be tested. Different sets of algorithms can be selected for operating on the software model to produce a sequence of test actions that are to be used to test the software. The algorithms can be mixed and matched to achieve a desired testing result. In some embodiments, the different algorithms comprise deterministic algorithms, random algorithms, and various types of algorithms therebetween. In one embodiment, the software model comprises a state graph having nodes that represent state, and links between the nodes that represent actions. The different algorithms that are available for selection can have different graph traversal characteristics such that the state graph can be traversed in different manners. For example, algorithms that are more local in their traversals can be teamed with algorithms that are more global in their traversals, thus covering a wider area of the state space with good local coverage in some areas.

    摘要翻译: 描述测试软件和建模用户动作的方法和系统。 在一些实施例中,提供了用于在软件模型上操作的多种不同的算法。 软件模型描述与要测试的软件相关的行为。 可以选择不同的算法集来在软件模型上操作以产生用于测试软件的测试动作序列。 可以混合和匹配算法以实现所需的测试结果。 在一些实施例中,不同的算法包括确定性算法,随机算法以及它们之间的各种类型的算法。 在一个实施例中,软件模型包括具有表示状态的节点和表示动作的节点之间的链接的状态图。 可用于选择的不同算法可以具有不同的图遍历特性,使得可以以不同的方式遍历状态图。 例如,在遍历中更本地化的算法可以与在遍历中更全局化的算法相结合,从而在某些区域覆盖了更广泛的状态空间区域,具有良好的本地覆盖。

    Methods and systems of testing software, and methods and systems of modeling user behavior

    公开(公告)号:US20050273767A1

    公开(公告)日:2005-12-08

    申请号:US11188618

    申请日:2005-07-25

    IPC分类号: G06F11/36 G06F9/44

    CPC分类号: G06F11/3688

    摘要: Methods and systems of testing software and modeling user actions are described. In some embodiments, multiple different algorithms are provided for operating on a software model. The software model describes behavior associated with software that is to be tested. Different sets of algorithms can be selected for operating on the software model to produce a sequence of test actions that are to be used to test the software. The algorithms can be mixed and matched to achieve a desired testing result. In some embodiments, the different algorithms comprise deterministic algorithms, random algorithms, and various types of algorithms therebetween. In one embodiment, the software model comprises a state graph having nodes that represent state, and links between the nodes that represent actions. The different algorithms that are available for selection can have different graph traversal characteristics such that the state graph can be traversed in different manners. For example, algorithms that are more local in their traversals can be teamed with algorithms that are more global in their traversals, thus covering a wider area of the state space with good local coverage in some areas.

    Managing flow control buffer
    3.
    发明授权
    Managing flow control buffer 有权
    管理流量控制缓冲区

    公开(公告)号:US08819265B2

    公开(公告)日:2014-08-26

    申请号:US10744769

    申请日:2003-12-22

    IPC分类号: G06F15/16

    摘要: A count of data segments is maintained. The count includes data segments in a queue and data segments in transit between a data source and the queue. A flow of data segments from the data source is controlled, based on a value of the count.

    摘要翻译: 维护数据段的计数。 计数包括队列中的数据段和数据源与队列之间传输的数据段。 根据计数值控制来自数据源的数据段流。

    System and method for managing and monitoring financial performance associated with benefits
    4.
    发明申请
    System and method for managing and monitoring financial performance associated with benefits 审中-公开
    用于管理和监控与利益相关的财务业绩的系统和方法

    公开(公告)号:US20060277128A1

    公开(公告)日:2006-12-07

    申请号:US11146283

    申请日:2005-06-07

    IPC分类号: G06Q40/00

    摘要: Data associated with a benefit plan, including enrollment data and claims data, are compared to verify proper payment of claims. Additionally, other information, such as general ledger, employer account information, and employer organizations can be considered. Information can be output to a user, such as a plan administrator, in a form convenient for that user to quickly understand a large amount of information and how that information relates to a business or other entity administering the benefit plan. Various techniques can be used to estimate reserves, and can optionally use a claims lag triangle as input, including a claims lag report method, a earned premium method, and iterative method, and a regression method, for example.

    摘要翻译: 与福利计划相关的数据(包括注册数据和索赔数据)进行比较,以验证是否正确支付索赔。 此外,可以考虑其他信息,如总帐,雇主账户信息和雇主组织。 信息可以以便于该用户的形式向诸如计划管理员的用户输出,以便快速了解大量信息以及该信息如何与管理受益计划的企业或其他实体相关。 可以使用各种技术来估计储备金,并且可以可选地使用索赔滞后三角形作为输入,包括索赔滞后报告方法,获得的溢价方法和迭代方法以及回归方法。

    Flow control interface
    7.
    发明申请
    Flow control interface 审中-公开
    流量控制界面

    公开(公告)号:US20050138238A1

    公开(公告)日:2005-06-23

    申请号:US10745270

    申请日:2003-12-22

    IPC分类号: G06F3/00 H04L12/56

    CPC分类号: H04L49/9063 H04L47/50

    摘要: When a mode indicator indicates a first mode a flow of data segments to an access module is controlled by transmitting an identifier for a queue to the access module, receiving a signal indicating a status of the queue in response to transmitting the identifier, and transmitting data to the access module based on the status of the queue. When a mode indicator indicates a second mode a flow of data segments to an access module is controlled by receiving one or more signals indicating a status of a queue from the access module, and transmitting data to the access module based on the status of the queue.

    摘要翻译: 当模式指示符指示第一模式时,通过向访问模块发送队列的标识符来控制向访问模块的数据段流,响应于发送标识符接收指示队列的状态的信号,并且发送数据 基于队列的状态到访问模块。 当模式指示符指示第二模式时,通过从访问模块接收指示队列状态的一个或多个信号来控制访问模块的数据段流,并且基于队列的状态向访问模块发送数据 。

    Time division multiplex packet fabric ingress scheduler and method
    8.
    发明授权
    Time division multiplex packet fabric ingress scheduler and method 有权
    时分多路复用数据包结构入口调度和方法

    公开(公告)号:US08848533B1

    公开(公告)日:2014-09-30

    申请号:US13204337

    申请日:2011-08-05

    IPC分类号: H04L1/00 H04L12/26

    CPC分类号: H04L49/3072 H04L49/1523

    摘要: The present disclosure provides a fabric ingress scheduler and method that distributes ingress packet traffic in a time division multiplex (TDM) system, both fabric interface aggregate and per connection, deterministically across fabric paths. Advantageously, the fabric ingress scheduler and method minimizes fabric latency and prevents fabric interface head-of-line blocking. The fabric ingress scheduler and method utilizes the fact that each connection flow has a known maximum rate which must be reserved through the fabric for prevention of data loss (essentially circuit switching using a packet fabric). In exemplary embodiments, the fabric interface supports per packet fabric path selection. Generally, the fabric ingress scheduler and method generally provides a deterministic scheduling of ingress packets to fabric paths.

    摘要翻译: 本公开提供了一种结构入口调度器和方法,其在时分多路复用(TDM)系统中分布入口分组业务,包括结构接口聚合和每个连接,跨结构路径确定地分配。 有利地,织物入口调度器和方法最小化结构延迟并防止织物接口线头阻塞。 织物入口调度器和方法利用每个连接流具有已知的最大速率的事实,该最大速率必须通过结构保留以防止数据丢失(基本上是使用分组结构的电路交换)。 在示例性实施例中,结构接口支持每个分组结构路径选择。 通常,结构入口调度器和方法通常提供对结构路径的入口分组的确定性调度。

    Dynamically binding data in an application
    9.
    发明授权
    Dynamically binding data in an application 有权
    在应用程序中动态绑定数据

    公开(公告)号:US08910193B2

    公开(公告)日:2014-12-09

    申请号:US13600107

    申请日:2012-08-30

    IPC分类号: G06F3/00 G06F9/445 G06F9/54

    摘要: A method for binding data in an application. An expression is created via a framework based on input from a developer. The expression is received at an expression engine wherein the expression describes a relation between a first property of a first data of the application to a first property of a second data of the application. A binding is created between the first data and the second data based on the relation via the expression engine. The first property of the second data is changed based on a change to the first property of the first data wherein the changing occurs because of the binding. The receiving the expression, the creating the binding, and the changing the first property are orchestrated via the framework to manage when the expression is executed in the application.

    摘要翻译: 一种在应用程序中绑定数据的方法。 通过基于开发人员的输入的框架创建表达式。 在表达式引擎处接收表达式,其中表达式描述应用的第一数据的第一属性与应用的第二数据的第一属性之间的关系。 基于通过表达式引擎的关系,在第一数据和第二数据之间创建绑定。 第二数据的第一属性基于对由于绑定而发生改变的第一数据的第一属性的改变而改变。 接收表达式,创建绑定以及更改第一个属性是通过框架进行编排的,以便在应用程序中执行表达式时进行管理。

    System and method for modeling benefits
    10.
    发明申请
    System and method for modeling benefits 审中-公开
    用于建模效益的系统和方法

    公开(公告)号:US20060089862A1

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

    申请号:US10972300

    申请日:2004-10-25

    IPC分类号: G06Q40/00

    CPC分类号: G06Q10/10 G06Q40/08

    摘要: Data of one or more individuals associated with a benefit plan are analyzed. The data can include information about benefits provided to the one or more individuals under the benefit plan, such as a medical benefit plan, a prescription benefit plan, or a retirement benefit plan. One or more expenses of the benefit plan are modeled at least partially based on the analyzed data. The modeling includes determining a change in the one or more expenses based on modification of a parameter of the benefit plan.

    摘要翻译: 分析与福利计划相关联的一个或多个个体的数据。 数据可以包括关于在福利计划下向一个或多个个人提供的福利的信息,例如医疗福利计划,处方福利计划或退休福利计划。 福利计划的一个或多个费用至少部分基于分析的数据进行建模。 该建模包括基于对福利计划的参数的修改来确定一个或多个费用的变化。