Patent application number | Description | Published |
20140059081 | Attribute Value Properties for Test Selection with Cartesian Product Models - A method for modeling a test space is provided. The method comprises defining a coverage model including one or more attributes, wherein respective values for the attributes are assigned, one or more definitions of value properties for said attributes with assigned values, and one or more requirements that limit combination of attribute values that are legal for the model, wherein at least one of said requirements is defined using at least one value property. | 02-27-2014 |
20140122722 | ALLOCATION OF RESOURCES IN A NETWORKED COMPUTING ENVIRONMENT - Systems and methods for resource allocation in a network are provided. In one embodiment, the method comprises generating one or more workload parameters for one or more components in a network comprising a plurality of network nodes, wherein a network node comprises a plurality of the components; allocating one or more resources to the one or more components; and modifying the one or more workload parameters for the one or more components, in response to determining that one or more predetermined performance goals are not optimally supported for at least one of the plurality of network nodes. | 05-01-2014 |
20140173349 | METHOD AND APPARATUS FOR DETERMINING RELEVANCE OF ASSIGNMENTS IN COMBINATORIAL MODELS - An apparatus and computer-implemented method for determining relevance of assignments in combinatorial models, the method comprising: receiving an attribute collection, the attribute collection comprising one or more attributes and one or more possible values for each of attributes; receiving pone or more restrictions, each restriction indicating one or more values for one or more attributes; receiving one or more assignments comprising one or more assigned values for one or more of the attributes; and determining whether the assignment is legal, illegal or partially-legal, wherein an illegal assignment is an assignment which violates a constraint by itself; a legal assignment is an assignment which is not illegal, and for every extension thereof which is illegal, a combination of values assigned to other attributes violates a constraint by itself; and a partially-legal assignment is an assignment which is neither legal nor illegal. | 06-19-2014 |
20140236564 | COVERAGE MODEL AND MEASUREMENTS FOR PARTIAL INSTRUMENTATION - A computer implemented method, an apparatus and a computer program product for instrumentation coverage. The method comprising: determining an instrumentation coverage model of a system having components, the instrumentation coverage model defining instrumentation tasks of the system, wherein each instrumentation task defines a subset of the components to be monitored; and monitoring the system by a computer, wherein during said monitoring applying a plurality of partial instrumentation tasks defining strict subsets of the components to be monitored. | 08-21-2014 |
20140258991 | TRACE COVERAGE ANALYSIS - A method and apparatus for estimating coverage of a computer program from traces, the method comprising: receiving trace data generated by an execution of an executable unit; and estimating coverage of the executable unit from the trace data, wherein estimating coverage comprises estimating trace coverage. | 09-11-2014 |