摘要:
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 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.
摘要:
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.
摘要:
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.
摘要:
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.
摘要:
The disclosed subject matter includes an electronic commerce platform for a user to buy and sell goods and services, as well as a social network platform for a user to socially interact with other users. The combination of these two activities enables the user to solicit information online from other users of the system prior to buying or selling a product or service. The user can also share purchase information as well as information about favorite products, services, sellers, etc. with other users. This interconnected relationship between social connections and buying and selling activities support an entire new set of information available to the community of users of the system and greatly improves their purchasing and selling decision making processes.
摘要:
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.
摘要:
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.
摘要:
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.
摘要:
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.