Patent application number | Description | Published |
20110276578 | OBTAINING FILE SYSTEM VIEW IN BLOCK-LEVEL DATA STORAGE SYSTEMS - A computer implemented method is disclosed for obtaining file-level information from block level information of files stored on a storage medium. The method includes accessing the storage medium to obtain metadata available in block level on the storage medium and building an inverse block-to-file map of the files stored on the storage medium. The method also includes listening online to incoming block-level commands communicated from a host to the storage medium, parsing the incoming block-level commands, inferring file-level information from the parsed block level commands; and updating the inverse file-level map. Also disclosed are corresponding computer program product and processing system. | 11-10-2011 |
20120324286 | UTILIZING AUXILIARY VARIABLES IN MODELING TEST SPACE FOR SYSTEM BEHAVIOR - Systems and methods for modeling test space for verifying system behavior, using one or more auxiliary variables, are provided. The method comprises implementing a functional coverage model including: one or more attributes, wherein respective values for the attributes are assigned according to a test plan, and one or more constraints defining restrictions on value combinations assigned to the attributes, wherein the restrictions are Boolean expressions defining whether said value combinations are valid; determining a set of valid value combinations for the attributes that satisfy the restrictions to define the test space for verifying the system behavior; and determining relevant auxiliary variables and a corresponding function for said auxiliary variables to reduce the complexity associated with modeling the test space. | 12-20-2012 |
20120324414 | BDD-BASED FUNCTIONAL MODELING - A computer-implemented method, apparatus, and computer program product for assisting in dynamic verification of a System Under Test (SUT). The method comprising obtaining a set of functional attributes and associated domains with respect to a System Under Test (SUT), and obtaining a set of restrictions over the functional attributes and associated domains. The method comprising encoding a Binary Decision Diagram (BDD) to represent a Cartesian cross-product test-space of all possible combinations of values of the functional attributes excluding combinations that are restricted by the set of restrictions, whereby the BDD symbolically represents the Cartesian cross-product test-space. The method may further comprise analyzing the Cartesian cross-product test-space by manipulating the BDD so as to assist in performing dynamic verification of the SUT. | 12-20-2012 |
20130085741 | Test Planning Based on Dynamic Coverage Analysis - A method for refining a test plan is provided. The method comprises defining a coverage model including: one or more variables, wherein respective values for the variables are assigned, and one or more definitions for value combinations for said variables with assigned values, wherein zero or more of said value combinations are defined according to one or more restrictions for the purpose of generating a test plan to test a system for which the coverage model is constructed; determining zero or more uncovered value combinations in the test plan; and providing means to update the test plan. | 04-04-2013 |
20130090911 | Modeling Test Space for System Behavior Using Interchangeable Designations - A method for modeling test space for verifying system behavior is provided. The method comprises defining a coverage model based on one or more variables, wherein respective value combinations for the variables are assigned to define a test space for a system under test, and zero or more constraints define restrictions on value combinations assigned to the variables, wherein the restrictions define whether said value combinations are valid; and designating, as interchangeable, relevant variables values in the coverage model. | 04-11-2013 |
20130091382 | Modeling Test Space for System behavior with Optional Variable combinations - A method for modeling a test space is provided. The method comprises defining a coverage model including: one or more variables, wherein respective values for the variables are assigned, and one or more definitions for value combinations for said variables with assigned values, wherein at least one of said value combinations is defined as optional, and zero or more other said value combinations are defined as forbidden or mandatory for purpose of generating test scenarios to test a system for which the coverage model is defined. | 04-11-2013 |
20130103983 | BDD-BASED FUNCTIONAL COVERAGE ANALYSIS - Obtaining a functional coverage model of a System Under Test (SUT) defining all functional coverage tasks of the SUT, wherein the functional coverage model defining a test-space with respect to functional attributes; obtaining a set of covered functional coverage tasks; encoding a covered Binary Decision Diagram (BDD) to represent the set of covered functional coverage tasks within the test-space; and manipulating the covered BDD to identify one or more coverage holes, wherein a coverage hole defines a set of coverage tasks in the test-space, all having a same combination of values to a subset of the functional attributes, that are not covered by the set of covered functional coverage task. | 04-25-2013 |
20130110489 | AUTOMATIC DESIGNATION OF EQUIVALENT VARIAVLE VALUES | 05-02-2013 |
20130110880 | TEST PLANNING USING ATTRIBUTE VALUE PROPERTIES | 05-02-2013 |
20130262017 | METHOD AND APPARATUS FOR REUSING PARTS OF EXISTING TESTS - An apparatus, computer-implemented method performed by a computerized device and a computer program product, the method comprising: receiving an attribute collection related to a domain, the attribute collection comprising two or more attributes; receiving one or more restrictions, each restriction indicating one or more attributes, wherein a value for the attribute is to be selected from one existing test; receiving an existing test; and generating one or more new tests by setting values for the two or more attributes, wherein values for the one or more attributes of the one or more restrictions are selected from the existing test, and one or more values for one or more other attributes are not selected from the existing test. | 10-03-2013 |
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 |
20140137057 | Test Validation Planning - A computer-implemented method, computerized apparatus, and computer program product for test validation planning. The computer-implemented method, performed by a processor, comprising: having a test validation activity to be performed to validate results of two or more tests of a test suite; and automatically determining, by a processor, a subset of the two or more tests for which to perform the test validation activity; whereby avoiding performing duplicate validation activities. Optionally, for each test of the test suite a valuation of a set of functional attributes is available, and a subset of the functional attributes is deemed as relevant functional attributes with respect to the test validation activity. In such an embodiment, said determining is based on the valuation of the relevant functional attributes. | 05-15-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 |
20140201712 | INTEGRATION OF A SOFTWARE CONTENT SPACE WITH TEST PLANNING AND TEST CASE GENERATION - A computer-implemented method for test planning and test case generation, includes collecting, by a processor, a plurality of requirements, creating, by the processor, a plurality of content space specification files that includes the plurality of requirements, processing, by the processor, the plurality of content space specification files to generate a plurality of user stories, outputting, by the processor, the plurality of user stories and integrating, by the processor, the user stories into test planning and test case generation. | 07-17-2014 |
20150020053 | INTEGRATION OF A SOFTWARE CONTENT SPACE WITH TEST PLANNING AND TEST CASE GENERATION - A computer-implemented method for test planning and test case generation, includes collecting, by a processor, a plurality of requirements, creating, by the processor, a plurality of content space specification files that includes the plurality of requirements, processing, by the processor, the plurality of content space specification files to generate a plurality of user stories, outputting, by the processor, the plurality of user stories and integrating, by the processor, the user stories into test planning and test case generation. | 01-15-2015 |
20150046906 | TEST PLANNING WITH ORDER COVERAGE REQUIREMENTS - A method, apparatus and computer-implemented method, the method comprising: receiving a combinatorial testing model comprising an attribute collection, the attribute collection comprising a predetermined number of initial attributes, one or more possible values for each of the initial attributes, a coverage requirement, and an order coverage requirement for the initial attributes, the order coverage requirement related to predetermined relative order in which the attribute values are to be applied; and providing two or more tests in which each of the initial attributes is assigned a value from the possible values, wherein the tests satisfy the order coverage requirement for the at least two attributes. | 02-12-2015 |
20150094997 | EXPLAINING PARTIALLY ILLEGAL COMBINATIONS IN COMBINATORIAL MODELS - A methods, apparatus and product for explaining partially illegal combinations in combinatorial models. The method comprising: obtaining a combinatorial model defining a legal test space, the combinatorial model comprising a set of attributes, a respective domain for each attribute defining possible values for the attribute, and a set of restrictions, wherein the restrictions define a combination of values of the attributes that are illegal and are excluded from the legal test case; obtaining a partially illegal combination defining value assignments to a portion of the attributes; automatically identifying an extension of the partially illegal combination, wherein the extension is excluded from the legal test space, wherein the extension can be modified to become legal by changing a portion of the value assignments defined by the partially illegal combination; and outputting the extension. | 04-02-2015 |