66 results about "Test case generator" patented technology

There is provided a method for the automated testing of software, which has a graphic user interface. With at least one graphic editor, at least the dynamic and the semantic behavior of the user interface of the software is specified. Test cases are generated by a test case generator software using the thus specified behavior of the user interface, which are then executed by a software for automatic running test running either immediately or in a later step.

A test case generator including a test model generator for generating test models. A test case instance generator uses a permutation engine to generate test matrices from the tests models and generates XML documents from the test matrices. The documents are applied to an XML-based application interface to test the interface.

A method and system for information processing and test case generation. The system includes: a pattern storage module for storing at least one resource identifier patterns, where the resource identifier patterns are extracted from a server code of a web application by analyzing the server code; a client code analyzer module for analyzing a client code generated from the server code and finding at least one event sequences matching with the resource identifier patterns; and a test case generator module for fetching a client state established from the client code, executing the event sequences on the client state, and generating a test case, where the test case includes a second resource identifier generated as an execution result of the event sequence.

The invention provides a method for using a virtual machine to improve the performance in software-testing based on fault injection. Based on the EAI (environment-application interaction) model put forward by WENLIANG DU, Syracuse University (US), the fault injection is carried out on the interaction point of the application program and the environment thereof in the invention to disturb the environment and further test the software vulnerability, thus reducing the semantic difference between the injected fault and the actual fault, reducing the number of test cases and respectively achieving the two functional parts of the test tool at the host and guest of the virtual machine; and based on the shared files between the virtual machine and the guest, and the backup and recovery mechanism of the virtual machine, the invention can improve the robustness and flexibility of the test tool. The tool generated by the method comprises an application program configuration file (10), a fault test case generator (5), a security analysis module (6), a graphical user interface (7), an environment recovery module (9), a fault injector (11) and a data collector (12), wherein the tool further comprises software (13) to be tested and shared memory auxiliary modules (14), (15) and (16) of the virtual machine for sharing the data related to the tests. The method of the invention is capable of effectively detecting and simulating the security breaches in the software and improving the security of the software.

An automatic test-case generation system generates test-cases for validating a test specification for timing constraints, fault tolerances, distributed deadlocks, and synchronization at a system integration level of a distributed system. The automatic test-case generation system includes a model transformer for integrating functional model and platform specification. The functional model relates to an abstract model of at least one controller and the platform specification relates to details of platform components. A test specification transformer integrates platform specification, real-time requirements, and structural coverage criteria for generating an enhanced test specification for testing the distributed system. A requirements transformer integrates real-time requirements and functional requirements for the distributed system. An automatic test-case generator generates a set of test-cases that validate the test specifications of the distributed system as a function of the outputs of the model transformer, test specification transformer, and requirements transformer.

The invention discloses an automated testing system for a railway signal computer interlocking system. The automated testing system comprises a testing case executor and a testing case generator. The testing case executor at least comprises a script executor, an upper computer simulator and an input and output plate simulator. The script executor is used for reading in, analyzing and executing a testing case script, the upper computer simulator is used for achieving simulation of the communication function of an interlocking upper computer, and the input and output plate simulator is used for achieving simulation of the communication function of input and output plates. The testing case generator receives a testing scene script and actual station yard data and generates the testing case script. The automated testing system for the railway signal computer interlocking system can save testing labor and time, and improve testing efficiency and accuracy.

Provided is a system and method for black-box testing of software using positive and negative test cases with N-way combinations of parameter values. An original model comprising valid and invalid values is modified in a first phase, by generating exclusions (constraints) for pairs of invalid values. A first suite of test cases is generated from the modified model, and positive test cases eliminated, creating a first test suite with only negative tests. In a second phase, the original model is modified by eliminating invalid values, from which a second test suite having only positive test cases for all valid N-way combinations is generated. Merging the two test suites provides a suite of positive and negative test cases that test software with N-way combinations of values, in which each negative test case has only one invalid value.

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.

A system and method for using a single test case to test each sector within multiple congruence classes is presented. A test case generator builds a test case for accessing each sector within a congruence class. Since a congruence class spans multiple congruence pages, the test case generator builds the test case over multiple congruence pages in order for the test case to test the entire congruence class. During design verification and validation, a test case executor modifies a congruence class identifier (e.g., patches a base register), which forces the test case to test a specific congruence class. By incrementing the congruence class identifier after each execution of the test case, the test case executor is able to test each congruence class in the cache using a single test case.

A system and method for replicating a memory block throughout a main memory and modifying real addresses within an address translation buffer to reference the replicated memory blocks during test case set re-executions in order to fully test the main memory is presented. A test case generator generates a test case set (multiple test cases) along with an initial address translation buffer that includes real addresses that reference an initial memory block. A test case executor modifies the real addresses after each test case set re-execution in order for a processor to test each replicated memory block included in the main memory.

The invention is suitable for the field of verification, and provides a verification system and a verification method for a memory controller. The system comprises a test case generator, a bus driver, a monitoring unit and a scoreboard, wherein the test case generator is used for generating at least one test case; the bus driver is used for generating a control event according to the test case generated by the test case generator, converting the test case into the interface bus timing of the memory controller and sending the interface bus timing to the memory controller simultaneously; the monitoring unit is used for monitoring a monitoring event which is generated by the memory controller according to the received interface bus timing; and the scoreboard is used for judging whether the memory controller works normally or not according to the control event generated by the bus driver and the monitoring unit monitored by the monitoring unit. By establishing a module level-based verification system for the memory controller, a plurality of channels of the memory controller are parallelly and fully verified, so the system has high reusability and efficiency.

A test apparatus for characterizing a device under test includes a test case generator, a test unit, a data storage unit, and a data analysis unit. The test case generator is configured to randomly generate a plurality of test cases, which include values of one or more input variables of a set of input variables. The test unit is configured to perform the plurality of test cases on the device under test. The data storage unit may store sets of test data, which are associated to the test cases and include values of input variables of a respective test case and corresponding values of output variables of the device under test related to the respective test case. The data analysis unit may further analyze the test data and is further configured to determine dependencies within a subset of variables of the test data to characterize the device under test.

An evaluating and optimizing method for network service in an uncertain environment belongs to the application technology field of network service and is characterized in that a network service describing document is set at a server end and a generator of testing example produces a testing example collecting group according to the network service describing document while a candidate serving finder provides a candidate service group according to the network service describing document; according to the example collecting group and the candidate service group, a credibility testing module applies the credibility testing algorithm based on the traditional vague C means algorithm to produce a credibility testing matrix of the candidate service group and an outputting group of expected standard, on the basis that the credibility of the candidate service that can meet the needs of users can be obtained. The invention takes the uncertainty of outputting results of net service into fully consideration, and makes quantitative and qualitative analysis of the credibility of network service and evaluates and optimizes the ideal net service according to the credibility index.

A system and method for using resource pools and instruction pools for processor design verification and validation is presented. A test case generator organizes processor resources into resource pools using a resource pool mask. Next, the test case generator separates instructions into instruction pools based upon the resources that each instruction requires. The test case generator then creates a test case using one or more sub test cases by assigning a resource pool to each sub test case, identifying instruction pools that correspond the assigned test case, and building each sub test case using instructions included in the identified instruction pools.

A system and method for conversion of a business process to test-centric activity diagrams and to computationally generate automatic test suites for various quality attributes. It has been created to reduce the effort of a test engineer. The system consists of the processor, the parsing module, the analysis module and the test case generator. The method takes an activity diagram as the input, which can be generated using UML or any available standard business modelers and to be exported in the industry standard XMI format. The method is pro-agile as it achieves almost 100% functional coverage and has negligible dependence on conventional documentation. The method permits domain specialists and business analysts to add special, custom tags for specific validation conditions and functional checks.

The invention discloses a GPS system alert judgment based automated testing method and system. The GPS system alert judgment based automated testing method includes the steps of A, generating testing cases through a turn-table testing case generator; B, saving the testing cases through a testing scenario setter, grouping the testing cases so as to set testing scenarios, and editing a testing script according to the testing cases; C, setting number of simulation turn-tables, generating GPS alert data and total number of information sent to a GPS system to be tested from each simulation turn-table and sending frequency through a simulation control center according to testing requirements, and calling the testing scenarios and executing the testing script. The GPS system alert judgment based automated testing method and system is supportive of multiple protocols and can analyze the same, so that the automated testing is more flexible; besides, the system is formed and controlled through the testing scenarios which can be grouped freely, and the testing cases are easy to reuse and maintain; in addition, the system is supportive of simulation of multiple turn-tables logging in at the same time and adapts to GPS system performance testing.