511 results about "Test design" patented technology

A design structure embodied in a machine readable storage medium for at designing, manufacturing, and / or testing a design is disclosed for initializing expansion adapters installed in a computer system having similar expansion adapters that include detecting an expansion adapter installed in a computer system having a plurality of expansion adapters, the detected expansion adapter having an option ROM containing initialization code, identifying similar expansion adapters installed in the computer system that correspond to the detected expansion adapter, each of the identified similar expansion adapters having an option ROM containing initialization code, disabling the option ROM of each of the identified similar expansion adapters, and initializing the plurality of expansion adapters installed in the computer system without executing the initialization code of the identified similar expansion adapters.

The invention concerns a method for assigning a value to at least one data item of a test case instance. The invention is characterized in that the method comprises steps of selecting an input data item from a test design library, the library comprising a plurality of input data items and information about semantics and / or data type of the input data items and assigning the selected input data item as a value of data item of the test case instance. Also an arrangement and a computer readable media comprising a computer executable program are disclosed.

System, methods, and apparatus for verifying microcircuit designs by interleaving between random and formal simulation techniques to identify input traces useful for driving designs under test into sequences of device states. In a method aspect the invention provides process for beginning random simulation of a sequence of states of a microcircuit design by inputting a sequence of random input vectors to a design under test model in order to obtain a sequence of random simulation states; monitoring a simulation coverage progress metric to determine a preference for switching from random simulation to formal methods of simulating states in the design under test; beginning formal simulation of states in the design under test and monitoring a formal coverage progress metric to determine a preference for resuming random simulation of states of said microcircuit design; and resuming random simulation. Preferably the process of interleaving simulation methods continues until an input vector suitable for driving the design under test model into each of a set of previously-identified goal states has been obtained.

There is a desire to provide a testing method and apparatus that can be successfully integrated into a PLL and PLL-like circuits (e.g. frequency synthesizers, delay lock loops, etc.). It is desirable that the PLL or PLL-like circuit integrated with testing apparatus does not suffer from performance degradations during nominal (mission mode) operation. Furthermore, it is desirable that the PLL and the testing apparatus share the same interface. In order to produce a PLL having integrated testing apparatus, without having the PLL suffer severe performance degradations during nominal operation nor having the combination of the PLL and testing apparatus be unnecessarily large, a modified PLL integrated with testing apparatus is provided.

A method and system for well test optimization provides test parameters and variation range therefor, independently from preliminarily reservoir and downhole fluid data; and repeatedly executes the test for each parameter to obtain real-time measured data, and interpreted data that is compared to the variation range for meeting a test objective. A method and system for well test design and interpretation, includes a testing manager having testing hardware / gauge metrology; a geological model; dynamic / static engineering data acquisition; and a reservoir model generator. A method and system for well test design and interpretation generates a test plan and an initial reservoir model and data from real / near-real-time, surface / downhole / manual data, aggregated data based on quality control / assurance, and optimization data based thereon and simulated downhole data; models / interprets the optimization data to meet test objectives for terminating / continuing the test plan; modifies the optimization; and / or generates reports from the modeling / interpretation when terminating the test plan.

The invention discloses an automatic testing system and method based on parallel ports. The method comprises the steps that a testing monitor end transmits a testing execution instruction carrying a testing task to a dispatch server; the dispatch server reads corresponding port use cage scripts from a use case database according to the port execution instruction, and transmits the port use cage scripts to a testing server; the testing server operates the received corresponding port use case scripts in test items designated by the testing task; the testing server generates a testing report according to the operation results of the port use case scripts. The test items are prestored, by means of modularization management on port testing use cases, all ports needing to be tested by the corresponding test items can be tested only by inputting the address of the testing server and the addresses of the ports into the testing task, the testing report is automatically generated on the basis of the testing results, the situation that the same use cases are designed for testing each time is avoided, and testing efficiency is improved.

The invention discloses a high-rigidity and light-weight design method considering uncertainty of a slide block mechanism of a press machine. The high-rigidity and light-weight design method comprises the steps of: establishing a high-rigidity and light-weight design model considering the uncertainty of the slide block mechanism of the press machine; adopting an optimized Latin hypercube sampling method for a test design, obtaining a target function response value corresponding to each sample point through collaborative simulation and building a Kriging agent model; converting an uncertain target function into a certain target function based on an order relation of interval numbers; and calculating a target function interval by utilizing an internal structure analysis way, finding a Pareto optimal solution collection of a converted certain optimal problem by utilizing a multi-target genetic algorithm, if the precision requirement is not satisfied, performing important sampling at the place where the extreme value of the target function interval locates, and updating the target function sample collection and the agent model to perform iterative optimization. The high-rigidity and light-weight design method considering uncertainty of the slide block mechanism of the press machine, disclosed by the invention, has the advantages of establishing the uncertain optimization model of the slide block mechanism according with the practical project for solving and really realizing the light-weight and high-rigidity design of the slide block mechanism.

A method for automatically generating test cases from a domain specific description language specification makes use of the properties of the language to derive domain specific axioms and language specific predicates. These properties are embedded into an extended finite state machine which is in turn supplied to the input of a test case generator. The enhanced extended finite state machine, referred herein as an extended finite state machine accounting for axioms and predicates (EFSMAP) contains states and transitions associated with information on implied behavior of the specified system within a particular problem domain. The implicit behavior, defined by the axiomatic properties of the operators of the domain specific language, provide test capability of the associated system that was not explicitly set forth in the formal specification, but nevertheless should be tested to increase confidence in the reliability of the finished product.

The design of programmable logic devices, such as FPGAs, may be automated to allow scripts, setup files, and other tool files to be created directly from hollowed and filled netlist, and data-path and design constraint files without extensive human intervention. This allows an FPGA design to be created directly from a logic file to accelerate the FPGA design process. Once hollowed and filled netlists, and data-path and design constraint files have been generated from a design in a standard fashion, the implementation of that design onto an FPGA in an optimized fashion is automated by providing a computer program that is capable of implementing the design, testing the design, evaluating the test results, and altering the design to arrive at a more optimal design. The process may include several steps, such as initial placement of logic groups, sizing of logic groups and FPGA selection, timing analysis, and filled netlist complete design review. The steps may be iterative.

A feature automation process defines step-by-step instructions for involving automation engineers, defining, implementing and reviewing software test automation during the development of a feature or product. This process seamlessly integrates the roles of automation engineers and other resources into the software development life cycle (SDLC). An enterprise first creates a dedicated automation team. The feature automation team preferably works with a product / feature team to enable the latter team to better understand the roles of the automation engineers and to further facilitate transparency into the product / feature requirements, design and implementation activities. The feature automation process enables a quality assurance (QA) team to offload (to the feature automation team) the responsibility of writing test scripts, and for creating an automation framework, test designs, and for implementing and maintaining test code. The process ensures that all stakeholders are involved in the reviewing the automation framework and test design prior to test implementation to enhance the reusability of the framework and the stability of the test runs.

The present invention relates a test example generating method based on relationship, comprising the following steps of: selecting the test point of each control of a graphical user interface to be tested, according to types; taking the value of each control according to a principle that all levels of each factor are taken and assembling the related controls completely, and then combining; generating a test example according to the reference relation of the function to be tested and the example template; combining the test examples to generate all test examples of the function to be tested. With boundary value testing and equivalence testing, the method carries out strict, normative and comprehensive test point design according to the common controls in an interface test. The test designing points of each type of controls are solidified into a group of test example generating criterion for citing and expanding. The example is designed with a control relation graph and a function relation graph according to the analysis of control relativity and function relativity, so that the selection of the input value of the test example has more pertinences, thereby being capable of greatly improving the efficiency and the quality of GUI test designing.

The invention discloses a data driven-based test case design test method and an automatic test platform; the method includes: based on the requirement analysis, the test logic and the test data are designed respectively; based on the test logic and the test data, the automatic test platform automatically generates the positive sequence test case and the reverse test case which certainly has the positive sequence test case corresponding to the reverse test case; based on the reverse test case, the automatic test platform acquires the positive sequence test case, the positive sequence test case and the reverse test case which are in pairs are stored in a database and undergo the automatic test. The data driven-based test case design test method and the automatic test platform of the invention effectively utilize the data driven theory to design test cases and automatically test the test cases, thereby the invention has the advantages of providing a systematic resolving proposal for test designers, offering a shortcut for switching between the system test and the automatic test, improving test efficiency and lowering test cost.

The invention discloses a bridge finite element model modifying method, which comprises the following steps that: 1, an entity finite element model of a whole bridge is built by universal finite element calculation software ANSYS; and 2, the entity finite element model of the whole bridge is subjected to primary modification by a uniform design method. The bridge finite element model modifying method has the following advantages that the uniform design method is used as a test optimization design method with obvious superiority, and the application of the uniform design method to the bridge structure finite element model modification is feasible; on the basis of the uniform design method, a more correct result can be found in a very short time by the uniform design method in the efficiency aspect, and the bridge large-scale finite element model modification efficiency is improved; a response surface method is used as a test design and mathematical statistics combined mathematical analysis method, and the application of the response surface method to the finite element model modification of a large-scale complicated bridge structure is feasible; and higher modification efficiency and higher modification precision can be ensured at the same time.

Methods and apparatus are described for making a placement sensitive engineering change to meet design for test requirements. One of the methods includes placing a set of new flops in an already placed chip design to meet functional requirements of an engineering change. The already placed chip design is pruned to create a set of valid flops and valid scan chains based on a set of pruning rules. A unified flop database is generated containing physical location and connection information for the new flops and the set of valid flops. A change file for the new flops, selected valid flops, and valid scan chains associated with the selected valid flops is generated meeting allocation and placement sensitive signal connection rules. The new flops are connected to the selected valid flops allowing design for test requirements to be met

The invention discloses an automatic testing device. The automatic testing device comprises an acquisition module for obtaining an item to be tested corresponding to a test request sent by a terminal and the test authority of the item to be tested when the test request is received, a first transmission module for transmitting a test design interface corresponding to the item to be tested to the terminal based on the test authority, a running module for running the item to be tested and a test script corresponding to the test authority based on test information sent by the terminal when the test information is received, and a second transmission module for transmitting a running result of the test script to the terminal when the running of the test script is completed. The invention also discloses an automatic testing method. The automatic testing device realizes the automatic testing of the item to be tested according to the test request, and therefore, a tester can realize the automatic testing of the item to be tested by just simply designing a testing example without coding the test script, the requirements on the ability of the tester are reduced, and the cost of learning is reduced.

The invention proposes a novel prediction method for service life migration of a lithium ion battery. The method comprises: a capacity degradation database of batteries with the same temperature, thesame multiplying power, and different formulas is established; after determination of a target battery, a battery similar to a capacity degradation rule of the target battery is selected based on a similarity measure; and then on the basis of the deep learning method, cross-formula battery service life migration prediction is carried out to realize prediction of the residual cycle life of the target battery. Meanwhile, with consideration of the economic target and irreversibility of battery life degradation, the design of the battery cycle life test is optimized and the battery test design issaved. With the method, the accurate residual life prediction of the lithium ion battery is realized; the test time and the test load of the service life testing at the research and development stageare reduced substantially; the research and development cycle of new products is shortened; the research and development costs are lowered; and the reliability and safety of the system are improved.

The invention discloses an automatic test method and an automatic test system on the basis of WEB interfaces. The automatic test method includes extracting test use case data from databases by the aid of a server according to received test execution requests initiated by users and generating test tasks; invoking a test executor and executing tests; analyzing test results and then generating test reports. The test use case data conform to conditions. The automatic test method and the automatic test system in an embodiment of the invention have the advantage that test personnel can carry out automatic test design, execution and management on the WEB interface of various projects without mastering coding technologies.

One of the examples is to define and use the concept of “Logs / Traces Profile” and “System Logs / Traces Profile” (including a role and the log and trace file locations), and incorporate them within the test design document. Each test design document can be associated to each test case to highlight which logs and traces need to be collected during its execution. In this way, the testers will know which logs and traces to provide to the code developers, when addressing an issue. In this way, developer can investigate the bug, understand them, and be able to fix the problem, especially due to timing, synchronization, and concurrency.

A system and method for generating test frames in specification-based testing by using a path-coverage criterion is provided. The method includes receiving a test design as an input, and constructing a context-free grammar graph, based on the test design. The method further includes analyzing the context-free grammar graph to generate a first set of paths, and emitting a set of test frames as an output, based on the first set of paths.

The invention discloses an optimizing method for shift power consumption in a scanning test. On the basis of basic test flow, the method comprises three steps of power consumption information extraction, power consumption sensitive unit selection and inserting test logic. The method disclosed by the invention can be used for greatly reducing the shift power consumption in the test process, and meanwhile, the test time is not increased, the test coverage rate is not influenced, the test design flow is not required to be changed, and moreover, the method is more easily realized.

In scan test circuit design, a plurality of flipflop circuits (102a, 102b or 102c) driven with each of final-stage elements 101f of a clock tree T are connected in series, to form a sub-scan chain. Also, sub-scan chains smallest in the relative difference in the number of stages of delay elements existing from the clock supply point S of the clock tree T (i.e., sub-scan chains different by one stage) are connected to each other. Further, sub-scan chains are connected so that data shift be made from a flipflop circuit larger in clock delay to a flipflop circuit smaller in clock delay. This reduces the number of delay elements inserted in data lines of a shift register for hold time guarantee in shift operation of the scan shift register, and suppresses power consumption.

Techniques for programmatically coordinating, and synchronizing execution of, automated testing in event-driven systems. One or more user-provided test system event listeners listen for generated events and updates test system status accordingly. A user-provided test suite definition invokes a test framework interface, thereby defining the structure of a test suite. This test suite is executed, referring to the test system status to determine when to move to a next stage (e.g., to a next test case or next test module). Test system status may also be updated directly from a test case or test module (e.g., when the test designer determines that the tested code will not generate events that can be leveraged for test status information).

The invention provides a model-based gasoline engine calibration method, belongs to the technical field of gasoline engines, and designs and develops a statistical model based gasoline engine calibration method mainly for a dynamic property optimized calibration process of a gasoline engine. The model-based gasoline engine calibration method comprises the following steps: (1), design of test operating points, (2) establishment of a mathematical statistics model and (3), optimization of calibrating procedure design, wherein firstly, relatively fewer test points can be selected in a test design phase so as to reduce workload; then an engine statistical model is established with a mathematical statistics method after related data are acquired; and finally, optimized calibration is performed on the basis of the statistical model. Under the premise that the performance of the gasoline engine is improved without loss of calibration accuracy, the model-based gasoline engine calibration method has the advantages as follows: time is saved, the cost is reduced, the output torque is increased, and the problems that the traditional manual calibration method is time-consuming, labor-consuming and low in efficiency and the conventional automatic optimized calibration equipment is complicated in technology and expensive are solved.

Methods, articles of manufacture and apparatus for testing design layouts. Design layout software may be configured to display a layout diagram in a first area of a graphical user interface (GUI) screen. Parameters for testing the layout may be entered in a second area of the GUI screen. Upon receiving one or more test parameters, the layout software may be configured to identify portions of the layout that do not conform to design rules based on the test parameters.

The invention relates to a bamboo forest carbon sequestration capacity measuring and carbon sequestration capacity improving fertilizer preparation method, which comprises the following six steps: 1, test design: selecting a bamboo forest sample plot, setting and processing a test area, then sampling, determining and computing; measurement and computation of annual respiration carbon emission amount of bamboo forest: measuring soil respiration rate, computing greenhouse gas CO2 emission flux and CO2 emission amount in soil annular accumulated respiration and determining no-root respiration soil CO2 emission amount; 3, measurement and estimation of bamboo forest vegetation carbon storage; 4, measurement and computation of soil carbon storage; 5, computation of bamboo forest annual net carbon fixation amount; and 6, optimum fertilizer preparation for improving bamboo forest carbon sequestration capacity. Through fertilizer application according to the optimum fertilizer preparation scheme obtained in the method disclosed by the invention, the carbon sequestration capacity of the bamboo forest can be obviously improved, and the invention provides an effective and feasible novel scheme for solving the greenhouse effect caused by the increase of atmospheric CO2 concentration.

The invention relates to a test case design efficiency promotion method and system. The test case design efficiency promotion method comprises the following steps: classifying a business system into a plurality of business categories according to the business type, respectively classifying each business category into a plurality of business subclasses, wherein each business subclass comprises a plurality of business modules; acquiring a plurality of test cases designed by each business module, wherein each test case respectively comprises a plurality of test attributes; establishing a public case library in a catalogue form by utilizing a case management tool according to the business category and the business subclass corresponding to each test case; selecting a test case to test the to-be-tested test module according to a test condition; updating the public case library when any test case is modified. The test case in the public test case library corresponding to the module involved by the demand needs to be called for the specific test demand task, the test case does not need to be repeatedly designed, and the test work efficiency can be greatly improved.

The invention discloses an optimization method of capturing power consumption in a scan test. The optimization method of capturing power consumption in the scan test comprises the following steps: generating a netlist with a scan chain; grouping gating control clock units; designing a power constrain unit; combining with the generated netlist with the scan chain, conducting chip layout design which comprises a floorpan, a layout, a clock tree sythesis and wiring; reading a gate-level netlist with a scan structure, a process library, a timing sequence constrain file and a test protocol into an automatic test vector generating tool after the chip layout design is completed, conducting testability design rule checking, and generating a test vector; and conducting gate-level simulation to the test vector generated. By means of the optimization method of capturing the power consumption in the scan test, the capturing power consumption in a test process can be reduced significantly, the reduction of coverage or the sharp increase of the quantity of test vectors is not generated, changing of a test design process is needless, and realization is easy.

The test design cost of a circuit capable of accessing an external memory is reduced. There is included a built-in self-test circuit for use in testing an external memory separately from a memory controller for performing memory control in response to an access request to the external memory capable of being coupled to a memory interface, and a TAP controller is used to control the built-in self-test circuit and referring to a test result. There is adopted a multiplexer for switchably selecting the memory controller or the built-in self-test circuit as a circuit for coupling to the memory interface in accordance with control information externally inputted through the TAP controller. The built-in self-test circuit programmably generates and outputs a pattern for a memory test in accordance with an instruction inputted through the TAP controller, and compares data read from the external memory with an expected value.