108 results about "Automatic test pattern generation" patented technology

A system and method provide testing of software in different configurations automatically. Templates may be provided for developers to create an application or for generating tests. One or more tests may be generated for testing the application. The testing scope may range between a plurality of configurations for the application in one or more environments. Tests may include test blocks corresponding to parts of the application for testing according to the execution order of the parts of the application. Tests may change input values, modules in the application, configuration settings, data types, communication parameters, and/or other application elements for testing. Such changes may be generated automatically during testing. Test code may be inserted in the application for testing. Application generation and compilation may be automated during testing. Deployment and undeployment of applications may also be automated for testing.

A defect identification tool is disclosed that predicts locations at which defects in a microdevice are most likely to occur. The tool may identify both a type of defect and the particular netlists in which that defect is likely to occur. A test circuit generation tool can then subsequently use this defect information to generate a test circuit that tests for the defect in the identified portions of the microcircuit. Similarly, an automatic test pattern generation tool may use the defect location information to generate test data custom-tailored to check for faults corresponding to the identified defect in the specified portions of the microcircuit. Various implementations of the tool may be used both to identify the locations at which defects caused by systematic errors, such as manufacturing process deficiencies or flaws, are most likely to occur and the locations at which randomly-created defects are most likely to occur.

The invention provides an integral optimization method and system for an automatic power generation system of a coal-fired unit. The method comprises the steps of carrying out control valve flow characteristic test and adjustment according to control valve flow characteristic parameters, carrying out combustion optimization on a wind and smoke subsystem and a combustion subsystem, carrying out a fuel disturbance test and a control valve disturbance test to generate typical test parameters, using the typical test parameters to generate a dynamic unit model, constructing a coordinating simulation system according to a coordinating controller and the dynamic unit model, using the dynamic unit model to optimize a feedforward controller and carry out simulation verification on the coordinating simulation system simultaneously, carrying out DCS configuration and parameter debugging in the simulation system, carrying out a constant-voltage slide-voltage variable-load test and a constant-load voltage-transformation test to generate technical indexes of the variable-load rate, the variable-load accuracy, variable-load response time and the main steam pressure accuracy, judging whether the technical indexes meet the preset technical indexes, and if on yes judgment, carrying out a slide-voltage variable-load test to enable the coal-fired unit to operate normally.

The invention relates to a visualization automatic generation method of embedded software test data and a system thereof. The method comprises the following steps: adopting a de facto industrial standard--universality and flexibility of a unified modeling language (UML), performing real-time expansion on the UML, and introducing a scene technology to realize automatic generation of the embedded software test data in a visualization manner. The developed automatic test data generation system can automatically transform the test data into a test script required for a specific test platform, and running of the test script can drive the test for running to realize automatic testing for the embedded software.

The invention provides a control method for coordination and automatic power generation of a coal quality self-adaptive thermal power generating unit. The method comprises the following steps of: 1, compressively determining the coal quality according to parameters including first-level pressure of a steam engine, drum pressure, coal feed, unit load and the like; 2, by the determined coal quality, performing the coal quality self-adaptive control over main control systems of fuel, coordination, air delivery and the like; 3, by core control strategies of boiler load commands, main steam pressure settings, a coal quality self-checking positive load upper limit and the like, realizing the control over the coal quality self-adaptive coordination and automatic power generation of the thermal power generating unit; and 4, realizing the automatic safe operation of the thermal power generating unit by improving safety locking conditions of the thermal power generating unit. The method has the following obviously advantages that: under a fluctuating condition of the coal quality of the thermal power generating unit, the automatic power generation and the coordination control of the thermal power generating unit are unnecessarily intervened by people, and the scheduling requirements are still met; and compared with the conventional control method, the control method of the invention has the advantages that: the accuracies of the main controlled parameters of the thermal power generating unit are further improved; and simultaneously, the automatic power generation control indexes and the safety and the economy of the thermal power generating unit are enhanced.

Automated test equipment capable of performing a high-speed test of semiconductor devices is presented. The automated test equipment apparatus comprises a computer system comprising a tester processor, wherein the tester processor is communicatively coupled to a plurality of FPGA components. Each of the plurality of FPGA components is coupled to a memory module and comprises: an upstream port operable to receive commands and data from the tester processor; a downstream port operable to communicate with a respective DUT from a plurality of DUTs; and a plurality of hardware accelerator circuits, wherein each of the accelerator circuits is configured to communicate with one of the plurality of DUTs. Each of the plurality of hardware accelerator circuits comprises a pattern generator circuit configurable to automatically generate test pattern data to be written to the one of the plurality of DUTs and a comparator circuit configured to compare data read from the one of the plurality of DUTs with test pattern data written to the one of the plurality of DUTs

The invention provides a path coverage software test-based automatic test case generation method. The method comprises the following steps of: analyzing a code of a tested program to obtain a controlflow graph (CFG) of the program and a path of the program; obtaining and calculating a fitness function of a group of corresponding test cases according to the control flow graph obtained in the laststep and a branch distance-based method; carrying out iterative updating on a randomly initialized population by using the fitness function through a differential evolution algorithm and a convergencespeed controller; and recording the first test case of paths corresponding to a coverage program until the test cases of all the paths are obtained or the iteration frequency of the algorithm exceedsa limit, and outputting a test case set of the paths corresponding to the coverage program. The method is capable of effectively utilizing the tested program to cover heuristic information of the test cases on the basis of the paths, and can be applied to practical software test work environment.

A method, system, and program for selectively testing output signals of an integrated circuit. The system comprising a mask generation file specifying output signals and test cycles and a verification module to check simulation output data and generate test pattern data. The verification module further comprising an extractor routine which receives the mask generation file and processes the simulation output data such that the test pattern data is coded to mask the specified output signals at the specified test cycles. The verification module further comprising margin analysis for determining if margin times of the coded test patterns fall below a minimum margin time setting.

A web service modeling and the test method based on an interface semantic contract model relate to the fields of software test modeling and automatic test case generation. The web service test method comprises (1) building a service interface semantic contract model to expand descriptive capability of an existing service interface; (2) generating test input data and a test case according to description of the interface data ontology to provide input data for the test case; and (3) providing an expected output result for the test case according to regular test data. The web service modeling and the test method based on the interface semantic contract model have the advantages of being applicable to a web service test, capable of expanding the descriptive capability of the existing service interface, capable of being used for generating the test data and the test case and improving the degree of automation and intelligentization of test generation through knowledge descriptions and reasoning technologies.

A method for generating a software-based self-test in an integrated circuit includes extracting constraints for corresponding instructions for the integrated circuit, modeling the constraints for a plurality of timeframes and performing constrained test pattern generation on the integrated circuit using the models. An automatic test pattern generation method for an AC fault in an integrated circuit includes identifying a current desired condition for triggering the AC fault, determining whether the current desired condition is feasible, and identifying a subsequent desired condition for triggering the AC fault if the current desired condition is not feasible. The method further includes determining whether the subsequent desired condition for triggering the AC fault is feasible, and searches for test vectors for realizing the current desired condition or subsequent desired condition which is determined to be feasible.

Some embodiments provide a system that generates a test suite for a software program. During operation, the system obtains a set of inputs for the software program and determines a coverage of the software program associated with the set of inputs. Next, the system determines a subset of the inputs which substantially provides the coverage of the software program. Finally, the system uses the subset of inputs as the test suite for the software program.

A method for generating stimuli and test responses for testing faults in a scan-based integrated circuit in a selected scan-test mode or a selected self-test mode, the scan-based integrated circuit containing a plurality of scan chains, N clock domains, and C cross-clock domain blocks, each scan chain comprising multiple scan cells coupled in series, each clock domain having one capture clock, each cross-clock domain block comprising a combinational logic network. The method comprises compiling the scan-based integrated circuit into a sequential circuit model; specifying input constraints on the scan-based integrated circuit during a shift and capture operation; specifying a clock grouping to map the N clock domains into G clock domain groups, where N>G>1; transforming the sequential circuit model into an equivalent combinational circuit model according to the input constraints and the clock grouping; and generating the stimuli and test responses on the equivalent combinational circuit model according to the input constraints.

The invention discloses an integrated test sequence generating method based on SysML module diagrams. The method is applicable to an embedded system having higher integration complex and more crosslinking relations among application systems. An integrated test strategy from constraint to combination, from pairing to grouping, from inside to outside and from bottom to top is provided according to the logic functional combination relation of the embedded system; modeling is conducted on the strategy by analyzing the demands and design of the system and by using the SysML module diagrams; the SysML module diagrams are analyzed and converted into directed graphs; a relevant module branch coverage criterion is provided according to the combination relation of functional modules; a key module coverage criterion is provided according to existing data exchange of the modules; then directed graphs are traversed under the guidance of the coverage criterions to automatically generate an integrated test sequence set. The integrated test sequence generating method combines with a model driven engineering technology, achieves automatic test sequence generation and improves the software testing efficiency.

Abstract of the Disclosure 42Method and system for constructing a structural model of a memory for use in ATPG (Automatic Test Pattern Generation). Behavioral models of memories of simulation libraries are re-coded into simplified behavioral models using behavioral hardware description language (e.g., Verilog). Simplified behavioral models are automatically converted into structural models that include ATPG memory primitives. Structural models are stored for subsequent access during pattern generation. In another embodiment for modeling random access memories (RAMs), the ATPG memory primitives include memory primitives, data bus primitives, address bus primitives, read-port primitives and macro output primitives. In another embodiment for modeling content addressable memories (CAMs), the ATPG memory primitives include memory primitives, compare port primitives and macro output primitives. Functional equivalence between simplified behavioral models and simulation models can be verified with the same behavioral hardware description language simulator (e.g., Verilog). Another advantage is complicated memories, such as CAMs, can be accurately modeled for ATPG.

Methods and apparatus are provided for efficiently generating test components for testing and evaluating a design under test. As a design is being configured, generated test components are made available. In one example, test components are automatically generated and included in a simulation testbench based on selected components in the design. Generally, the test components complement the selected components in the design. Moreover, the test components can be automatically seeded with initial contents.

The invention relates to a method for automatically forming test papers in a test bank by using a genetic algorithm. It adopts real number codes for the test questions in the test bank, which can overcome the shortcomings of using binary codes in the past that the search space is too large and the code length is too long. The decoding time of the test papers to be assembled improves the speed of obtaining the final test papers. In addition, the present invention generates the initial population of the test papers to be grouped by randomly generating the initial population according to the total number of questions, the proportion of questions, and the total score of the test papers to be grouped, which can speed up the convergence of the genetic algorithm and reduce the number of iterations, thereby reducing Formation time of the test paper. Therefore, the present invention can be widely used in the field of automatic paper formation.

Automatically generating a parser is disclosed. Raw data is received from a first remote device. A determination that the raw data does not, within a predefined confidence measure, conform to any rules included in a set of rules is made. A clustering function is performed on the raw data. At least one parser rule is generated based on the clustering.

Disclosed are representative examples of methods, apparatus, and systems for generating test patterns targeting multiple faults using Boolean Satisfiability (SAT)-based test pattern generation methods. A SAT instance is constructed based on the circuit design information and a set of faults being targeted. A SAT solving engine is applied to the SAT instance to search for a test pattern for detecting the set of faults. The SAT instance or the SAT solving engine may be modified so that the SAT solving engine will search for a test pattern for detecting a maximum number of faults in the set of faults.