566 results about "Test data generation" patented technology

A method and apparatus is disclosed herein for automated test input generation for web applications. In one embodiment, the method comprises performing a source-to-source transformation of the program; performing interpretation on the program based on a set of test input values; symbolically executing the program; recording a symbolic constraint for each of one or more conditional expressions encountered during execution of the program, including analyzing a string operation in the program to identify one or more possible execution paths, and generating symbolic inputs representing values of variables in each of the conditional expressions as a numeric expression and a string constraint including generating constraints on string values by modeling string operations using finite state transducers (FSTs) and supplying values from the program's execution in place of intractable sub-expressions; and generating new inputs to drive the program during a subsequent iteration based on results of solving the recorded string constraints.

An automated system that randomly generates test cases for use in hardware or software quality assurance testing, wherein a given test case comprises a sequence (or “chain”) of discrete, atomic steps (or “building blocks”). A particular test case (i.e., a given sequence) has a variable number of building blocks. The system takes a set of test actions (or even test cases) and links them together in a relevant and useful manner to create a much larger library of test cases or “chains.” The chains comprise a large number of random sequence tests that facilitate “chaos-like” or exploratory testing of the overall system under test. Upon execution in the system under test, the test case is considered successful (i.e., a pass) if each building block in the chain executes successfully; if any building block fails, the test case, in its entirety, is considered a failure. The system adapts and dynamically generates new test cases as underlying data changes (e.g., a building block is added, deleted, modified) or new test cases themselves are generated. The system also is tunable to generate test sequences that have a given (e.g., higher) likelihood of finding bugs or generating errors from which the testing entity can then assess the system operation. Generated chains can be replayed easily to provide test reproducibility.

The invention relates to the use of model checkers to generate efficient test sets for hardware and software systems. The method provides for extending existing tests to reach new coverage targets; searching *to* some or all of the uncovered targets in parallel; searching in parallel *from* some or all of the states reached in previous tests; and slicing the model relative to the current set of coverage targets. The invention provides efficient test case generation and test set formation. Deep regions of the state space can be reached within allotted time and memory. The approach has been applied to use of the model checkers of SRI's SAL system and to model-based designs developed in Stateflow. Stateflow models achieving complete state and transition coverage in a single test case are reported.

A method, system and apparatus for generating test data for web services testing load a selected file describing one or more web services operations into memory, select an operation specified in said loaded file, and identify one or more fields used in said operation. The one or more fields are customized and the customization is validated. Generation rules are configured and one or more variations of the fields are generated.

Methods and systems are provided that improve design verification by test generators by delaying assignment of values in the generated stimuli until these values are used in the design. Late binding allows the generator to have a more accurate view of the state of the design, and in order to choose correct values. Late binding can significantly improve test coverage with a reasonable performance penalty as measured by simulation time.

A handheld diagnostic test device includes a port to removably receive a test cartridge, an element connected with an electronic device, and sensors for detection of test data from a biological or environment sample after reaction with reagents onboard the cartridge. The test device also includes memory storing algorithms for upload to the electronic device to enable a processor thereof: to await elapse of a pre-determined time following reaction of the sample with the reagents; to thereafter instruct the sensors to detect the test data; to generate presentation data based on the test data; and to present the presentation data from a presentation element of the electronic device to a user. A related method includes a connecting step, an up-loading step, a presentation step, a cartridge inserting step, a waiting step, a sensing step, and an electronic device processing step.

A storage system with a data recovery function and its method reduce errors in a storage medium to a recoverable range of a general ECC function by repeating a testing and recovery procedure for one or more times to assure the accuracy of reading data and enhance the data reliability effectively. The data recovery procedure includes the steps of providing test data by a test data generator of the storage system, writing the test data into a memory block where error data is found, finding an error bit by reading the test data, reducing the error to a recoverable range of the ECC technique by the recovery procedure. If the error bit cannot be found or reduced to a recoverable range of the ECC technique within an upper limit of the number of tests, the memory block is marked as bad.

The invention relates to test data generating device and method based on a binary program. The test data generating method mainly comprises the following steps of: operating a dynamic symbol executing program for the state information of the binary program which corresponds to a guide path and initial test data; obtaining corresponding conditional jump address information according to an operating result; matching an actual operation path which corresponds to the initial test data with the guide path on the basis of the obtained conditional jump address information; and generating the test data which corresponds to the actual operation path and is matched with the guide path. The invention combines the advantages of static analysis and dynamic analysis and can enhance the availability and the accuracy of symbolic execution and the accuracy degree of the generated test data and generate the test data used for carrying out path sensitivity analysis on a key code segment, thereby effectively mitigating the problem of path explosion in the symbolic execution.

The present invention provides methods and systems for using a design element in a graphical model to represent and identify a precondition for use by a verification tool in verifying an executable form of the design represented by the graphical model. The precondition design element provides a specification of a verification constraint without affecting the behavior of the design. The constraint is to be applied by the verification tool in verifying the design. As such, the precondition design element of the present invention provides a mechanism and formalism in a model-based design approach that is used to constrain automatically generated tests or verification of the design represented by the graphical model.

A method may include receiving, at a first network device, a test initiation message from a control device, wherein the test initiation message includes at least an identification of a second network device. The method may further include retrieving the identification of the second network device from the test initiation message and generating test data including at least source information associated with the first network device, destination information associated with the second network device, and timestamp information associated with a time at which the test data is generated. In addition, the method may include transmitting the test data to the second network device via a data network under test and receiving return test data from the second network device. Further, the method may include generating performance information based on the return test data received from the second network device.

The invention discloses a basic data generation method and device and a test data generation method and device. Configuration information of a data table is obtained from a service database; a data dictionary is configured according to the configuration information of the data table in the service database, wherein the data dictionary includes definition information of test data fields; data generation strategy is configured aimed at the test data fields, wherein dependent constraint conditions between the test data fields are defined in the data dictionary and / or the data generation strategy; the test data are generated according to the data dictionary and the data generation strategy, and the generated test data are stored in N basic data pools, wherein N is larger than 1, the test data stored in the basic data pools meet the uniqueness requirement, and the types of the test data stored in different basic data pools are different. Basic data of the test data can be generated according to the dependent relationship between the data, and the dependent relationship between the data is embodied.

Example embodiments disclosed herein relate to a method for generating test data for form validation, where the method includes maintaining metadata for a database, mapping a control field of the form to a column of the database, and generating test data based on the mapping and the metadata.

A method and apparatus is disclosed herein for automated test input generation for web applications. In one embodiment, the method comprises performing a source-to-source transformation of the program; performing interpretation on the program based on a set of test input values; symbolically executing the program; recording a symbolic constraint for each of one or more conditional expressions encountered during execution of the program, including analyzing a string operation in the program to identify one or more possible execution paths, and generating symbolic inputs representing values of variables in each of the conditional expressions as a numeric expression and a string constraint including generating constraints on string values by modeling string operations using finite state transducers (FSTs) and supplying values from the program's execution in place of intractable sub-expressions; and generating new inputs to drive the program during a subsequent iteration based on results of solving the recorded string constraints.

The invention provides a layered water injection effect analysis method. The layered water injection effect analysis method includes the steps that data of a production well, an injection well and an oil deposit are obtained, and dynamic parameters and static parameters of the wells and the oil deposit are determined; the shooting oil layer longitudinal mobilization degree and the water injection strength of the water injection well are generated according to water absorption profile testing data in the dynamic parameters; a Lorentz curve model for describing the relationship between the accumulated shooting sandstone thickness and the accumulated water absorption amount is built according to the water absorption profile testing data and the water injection strength; the oil layer water absorption balance degree is calculated according to the Lorentz curve model so as to achieve layered water injection effect analysis. By means of the layered water injection effect analysis method, the proportion of the longitudinal mobilization sandstone thickness of the water injection well to the total shooting sandstone thickness and the water absorption balance condition of the shooting small-layer whole can be evaluated in a quantified mode; factors having influences on layered water injection are found in cooperation with the over-the-year actual measurement water injection profile, the stratum physical property, the sedimentary phase, the layered water injection tubular column structure and injection allocation data.

Provided is a process, including: obtaining a model of an application program interface (“API”); receiving a request to generate a functional-test specification for the API; detecting sets of functionality identified by the model of the API and respective sets of parameters corresponding to the detected sets of functionality by parsing the model of the API; in response to receiving the request, generating the functional-test specification for the API by, for at least some respective detected sets of functionality, specifying respective sets of functional tests based on corresponding sets of parameters.

The invention develops a software test data evolution generation system facing a path, which has the advantages that the test data passing a target path can be automatically generated by using a genetic algorithm according to the test path selected by users, in addition, various optional genetic algorithm individual coding modes, adaptive value calculation methods, selection modes, crossing modes, variation modes and the like can be provided in the process of generating test data by using the genetic algorithm, and users can conveniently select different test data generation methods according to the tested program in different types. In addition, the system also provides the traditional random method test data generation method as the comparison, and the automation generation of the software test data is really realized. When the system disclosed by the invention is utilized, the software test efficiency is greatly improved, a large number of software development resources are also saved, the technical support is provided for the credible software research and development of the national relevant plan and the engineering, and the development of software industry in China is promoted.

The invention discloses a batch test data generation method, a system and a device thereof. The method comprises a step of setting a template file which comprises an original statement of test data to be generated, the original statement comprises a dynamic change part of the test data which is represented as a variable and a fixed value part; the method further comprises the following steps: analyzing the template file, identifying the variable and the fixed value part in the template file; replacing the variable with true data according to the type and a generation mode of the variable, generating the dynamic part of the batch test data, and generating a static part of the batch test data according to the fixed value part; merging the dynamic part and the static part of the test data to generate the batch test data; and storing the batch test data in a destination file. The method, the system and the device can ensure that the generated data are correct, and can help accurately process multilist correlated data.

An automatic test data generating apparatus for automatically generating test data based on the input items of a user in order to test a digital TV application software environment (DASE) system and a method therefor. The automatic test data generating apparatus includes a database for storing at least information on raw data and the MPEG transport stream standard and a test data generator for generating test data corresponding to the input items of the user based on the input items of the user and information on the raw data and the MPEG transport stream standard. Accordingly, the time and expenses spent on generating test data for testing the DASE system are reduced and those who do not have special knowledge can generate the test data.

The invention provides an automatic generation method and device for testing data of a database and a testing system. The method comprises the steps that a database list needing to generate testing data is selected; parameters of the database list are inquired; according to the parameters of the database list, generation rules of the testing data are selected, and the testing data are generated; insert rules of the testing data are selected, and the generated testing data are inserted into the database list according to the insert rules. According to the automatic generation method and device for testing data of the database and the testing system, the technical problem of field correlation foreign key recognition is solved, various flexible testing data generation rules are provided, the intelligent insert rules are provided, the data insert speed is greatly increased, a user interface is provided, and operation is easy.

The invention discloses an automatic test data generation method. The automatic test data generation method comprises the steps that a test data generation tool is built; the test data generation tool is used for analyzing configuration information of data in a current test case database, and a test data generation program is obtained according to the configuration information; test data are generated according to the test data generation program. Through the automatic test data generation method, complete and comprehensive test data can be input into a database rapidly and efficiently according to requirements of actual test occasions, and therefore generation efficiency and quality of test data can be improved in the software test process.

The application provides a generation method and device for test data of a bank application. The method comprises the following steps: receiving test data demand information inputted according to a demand parameter configuration list, wherein the test data demand information comprises numbers and / or characters with business meanings; searching business rules corresponding to the test data demand information in a database and generating initial test data corresponding to the business rules according to the business rules; and integrating the initial test data and generating the test data of thebank application. By applying all embodiments of the application, automatic generation of the test data of the bank application is achieved. Generation efficiency and accuracy of the test data of thebank application are improved.

The invention discloses a method for generating the reliability test data of real time embedded software, belonging to the field of software reliability. The method comprises the following steps of analyzing interfaces and relative environments of tested real-time embedded software and hardware of the tested real-time embedded software, sorting out input and output variables, and establishing a system analysis chart; establishing use types of the input and output variables; establishing use profiles and operation description graphs according to the use condition of a tested system; organizing data and randomly sampling according to the information of the established use profiles and operation description graphs, and then generating software reliability test data. The method of the invention clearly describes the use process and the use input distribution of the software, can more efficiently and automatically generate the software reliability test data, and improves the efficiency of the software reliability test.

A method and apparatus for generating test by data utilizing analytics. The method, the method comprising: receiving a characteristic of a first data set, the first data set representative of data to be used by a computer program application; receiving a second data set, the second data set representative of additional data to be used by the computer program application; performing data analytics on the second data set for extracting a set of properties of the second data set; determining a similarity degree between the set of properties and the characteristic of the first data set; and responsive to the similarity degree being below a threshold, generating test data based on the set of properties.

A method of extending features provided by a test case management (TCM) application, includes, in response to user input defining a date range and specifying at least one test target, generating a test report based on test data generated via the TCM application during the defined date range, wherein the test report is indicative of one or more test status indicators relative to the test target(s).

The invention discloses a genetic algorithm optimization-based software test data generation method, and belongs to the field of software testing. The method comprises the steps of performing static analysis on a current tested program to obtain a branch path coverage matrix; by considering the influence of layer proximity, branch distances and branch weights, designing a proper fitness function;in combination with an elite thought, improving a direction and a probability in a genetic operator of a genetic algorithm; selecting an initial population; replacing part of the initial population with a population comprising heuristic information and obtained by the coverage matrix; equally dividing the population; performing parallel genetic algorithm operation by using the improved fitness function and genetic operator; and selecting out optimal software test data meeting the conditions. The convergence speed of the genetic algorithm is increased while the algorithm is prevented from falling into local optimum, and the time cost of software test data generation is reduced.

Example embodiments disclosed herein relate to a rule-based data population system including a rule dispatcher engine to automatically bind data generating rules to a database. The system may further include a data generator engine to generate testing data for the database based on the rules.

The present invention relates to a test apparatus based on DFDAU (Digital Flight Data Acquisition Unit), comprising: a simulation signal generation portion; and a test portion; wherein, the simulation signal generation portion comprises: an input interface, which receives test data; a simulation signal generation module, which generates simulation signal according to the test data; and an output interface, which is adaptive to be connected to one end of one or more signal transmission device to be tested and output the simulation signal; wherein, the test portion comprises: wiring extension apparatus, which is used to form a gating wiring apparatus and is adaptive to be connected to the other end of the one or more signal transmission devices to be tested, and receive the simulation signal passing through the one or more signal transmission devices to be tested; DFDAU, which is adaptive to receive simulation signal from the wiring extension device, and obtain the transmitted test data; a comparison module, which is adaptive to compare the test data and the transmitted test data.

The invention discloses a method for evolving and generating path coverage test data facing defects, which aims to expose the defects in a target path as much as possible from the generated test data so as to effectively enhance the quality of the test data. The method comprises the following steps of: firstly, establishing a math model for generating the path coverage test data facing the defects by using a path, in which the largest number of defects are found during tested procedure execution by the test data and the danger level of the defects is highest, as a target under the condition of a restraint that the test data must pass through the target path; and secondly, designing a restraining method for optimizing a plurality of targets so as to solve the problem, and evolving and generating the through target path by using a genetic algorithm, and effectively exposing the test data of the defects at the same time. By the method, the problem that the test data generated by the conventional method can only just pass through the target path instead of effectively exposing the defects in the target path, in particular some small-probability defects, can be solved; and the method can be used for generating the test data for a white box test or a regression test, so the efficiency of the software test can be improved greatly.