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 relates to a system and method for facilitating programmable coverage domains for test case generation, feedback, and measurement. The system comprises a domain definition input file; user-defined coverage domain data entered into the domain definition input file; and a parser operable for translating the user-defined coverage domain data into machine-readable computer program code. The system further includes an internal coverage domain comprising: a union of enabled coverage domains extracted from the user-defined coverage domain data; a session component comprising a session update count for each domain element; and a history component comprising a history update count for each domain element. The system further comprises a testcase generator including an internal coverage feedback and measurement system. The testcase generator comprises an instruction generator operable for generating instructions for use in a testcase and an instruction simulator operable for simulating execution of the instructions. The testcase generator accesses information in the internal coverage domain via the internal coverage feedback and measurement system, generates testcases for a current generation session, and updates the internal coverage domain according to the results of the testcase execution. The invention also comprises a method and storage medium.

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 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 creating multiple test case scenarios from one test case by shuffling the test case instruction order while maintaining relative sub test case instruction order intact is presented. A test case generator generates and provides a test case that includes multiple sub test cases to a test case executor. In turn, the test case executor recursively schedules and dispatches the test case with different shuffled instruction orders to a processor in order to efficiently test the processor. In one embodiment, the test case generator provides multiple test cases to the test case executor. In another embodiment, the test case generator provides test cases to multiple test case executors that, in turn, shuffle the test cases and provide the shuffled test cases to their respective processor.

The invention discloses an automatic generating device for a module-level UVM (unified voltage modulation) verification platform based on an AMBA bus. The automatic generating device comprises an option analyzer, a UVM register module generator, an interface verification component generator, a module verification component, a UVM test case generator, a UVM verification platform generator and a UVM test script generator. By inputting a module name, an AMBA bus type, other interface bus names and module register lists, the device can automatically generate the module-level UVM verification platform. The automatic generating device reduces requirements of the complex UVM verification method to a user, shortens a required period for establishing the module-level UVM verification platform and greatly improves the module verification quality and efficiency.

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 re-executing a test case and modifying the test case's effective addresses, effective segment identifiers (ESIDs), and virtual segment identifiers (VSIDs) in order to fully test a processor's SLB and TLB cells is presented. A test case generator generates a test case that includes an initial set of test case effective addresses, an initial set of ESIDs, and an initial set of VSIDs. The test case executor uses an effective address arithmetic function and a virtual address arithmetic function to modify the test case effective addresses, the ESIDs, and the VSIDs on each re-execution that, in turn, sets / unsets each bit within each SLB and TLB entry. In one embodiment, the invention described herein sequentially shifts segment lookaside buffer entries, whose ESIDs are in single bit increments, in order to fully test each ESID bit location within each SLB entry.

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.

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.

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.

The invention is applicable in the technical field of memory controllers, and provides a memory controller verification system, a memory controller verification method and a scoreboard. The memory controller verification method comprises the following steps of: detecting bus operations by the scoreboard according to monitoring affairs generated by monitoring a memory controller and control affairs generated by a test case generator; when a write operation is in the bus operations, writing an address in the write operation and a data corresponding to the address into a structural body of a preset type; storing the generated structural body into a queue; and when a read operation is in the bus operations and the data in the structural body stored in the queue or read from a memory is the same as the data read by the read operation, verifying that the memory controller works normally. The verification method provided by the invention can verify whether the memory controller accurately controls the memory under various bus time sequence conditions.

An apparatus for generating a test case includes a constrained description generator configured to define a plurality of constrained verification spaces in a total verification space, and generate a constrained description for each of the plurality of constrained verification spaces; and a test case generator configured to generate a test case using the constrained description.

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.

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.

Embodiments presented herein provide techniques for generating test cases for transformation modules that are part of a larger data-integration workflow for an extract, transfer, and load (ETL) project. A test case generated according to the present disclosure can be executed independently of the application that generated it and independently of data sources and destinations referenced in the data-integration workflow. To achieve this independence, the test case can include code that simulates data sources and destinations that interact with the transformation module in the data-integration workflow. Furthermore, the test case can be a unit test based on a unit testing framework and can be compatible with a selected software framework.

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.

An apparatus and method for testing web service interoperability. The apparatus includes a state model generator generating a state model of a composition system expressing an operation of exchanging a message when web services interoperate with each other as a state machine on the basis of content of a simple object access protocol (SOAP) service description language (SSDL) web service specification, a test structure generator generating a web service test structure by including information about an operating environment in which a web service test is carried out in a composition system structure that includes structured information about web services performing a message exchange operation, a test case generator generating a test case including definitions of execution functions for testing whether or not the web services interoperate with each other according to a message exchange operation sequence defined in the SSDL specification, from the state model of the composition system and information about the web service test structure, and a test case executor inputting a value to the test case to cause test target web services to execute the test case and testing whether the web services interoperate with each other according to the message exchange operation sequence defined in the SSDL specification.

A method for monitoring a test case generator system by detecting non-reproducible pseudo-random test cases, comprising: building a first pseudo-random test case having a first sequence of seeds comprising a first starting seed and a first ending seed through the test case generator system; reproducing the first sequence of seeds of the first pseudo-random test case by building a second pseudo-random test case having a second sequence of seeds comprising a second starting seed and a second ending seed through the test case generator system when the test case generator system is operating in a reproduction mode, the first starting seed being used as the second starting seed of the second sequence of seeds; and comparing the first ending seed in the first sequence of seeds to the second ending seed in the second sequence of seeds.