Patents
Literature
Hiro is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
Hiro

572 results about "Program testing" patented technology

Program test. [′prō·grəm ‚test] (computer science) A system of checking before running any problem in which a sample problem of the same type with a known answer is run.

Automated software testing and validation system

An automated software testing system allows automated test script generation, execution, and result correlation in a recreatable and adaptable manner. A software Application Under Test (AUT) is identified and includes a process having a sequence of Graphical User Interface (GUI) windows. A test thread tree is generated corresponding to the windows in the process. A grid is generated to enumerate test cases indicative of the windows and data objects in the thread. Also generated is a script indicative of each of the test cases. The script is executed to apply each of the test cases to the AUT and receive a response for each test case from the AUT. A report of expected responses is generated, and compared to the actual responses to provide a test result indicative of the status for each test case in question.
Owner:SMARTESOFT

Test program control stream path set creation method based on base path

The invention pertains to a path testing in a program testing. The concept of a program control flow base path is defined through bringing in the concept of base in mathematics, a data structure showing a program structure of a source program slice is obtained by using a compiler module first; then through traversing the data structure, a control flow path generating algorithm is utilized to generate a subset compiler module of a program control flow path which is based on a base path to interpret the semanteme on a tested source program, an abstract syntax tree structure showing the structural information of the tested program control flow is output. An adjacency matrix of a control flow graph generates a module ergodicity abstract syntax tree structure, and generates the adjacency matrix representation of a program flow chart. A control flow path subset generating module acquires the control flow information of the tested program through traversing the adjacency matrix, traverses the adjacency matrix by adopting a depth-first multiple backtracking method, and processes sentence nodes, thus a program control flow path subset based on the base path is generated. The method has the outstanding advantages in generating results and flows, and can be widely used in the engineering practice of a path cover testing in a software structure testing.
Owner:SICHUAN UNIV

Application program testing method and device

The invention provides an application program testing method. The method mainly comprises the following steps of: checking a source code which is stored in a code server by using a program building script, and acquiring the source code of the latest version from the code server; according to the source code of the latest version, generating an application program and a test case of the latest version by using the program building script; and executing the test case of the latest version on the application program of the latest version, and acquiring a test result of the application program of the latest version according to an execution result. The invention also provides an application program testing device which corresponds to the application program testing method. By adoption of the method and the device, the source code, the application program and the test case of the latest version can be automatically acquired, the test case of the latest version is executed on the application program of the latest version, and the test result of the application program is quickly acquired, so the aim of efficiently testing the application program after the source code is updated is fulfilled.
Owner:TENCENT TECH (SHENZHEN) CO LTD

Method and system for automatically generating unit test case of reproduced operation problem

The method comprises: modifying the computer program according to running problem capable of happening in the one or more target program units concerned by the computer program; testing and executing the modified program; according to the running problem occurring in the execution of the target program unit, automatically generating a unit test case. Said modification step comprises: adding a capture code and problem code into the program; the capture code is used for recording the execution path and the execution context of the target problem unit; said problem code is used for detecting the running problem in the process of executing said target program unit. The invention also provides a method and a system which uses said method and system to make debugging and regression testing.
Owner:INT BUSINESS MASCH CORP

Generation and evaluation of test cases for software validation and proofs

A “property checker” uses light-weight symbolic execution to prove that software programs satisfy safety properties by simultaneously performing program testing and program abstraction. A simple example of safety properties includes conditions that must be satisfied for proper program execution, such as whether an application properly interfaces with API methods or functions. Program tests are an “under-approximation” of program behavior, and abstractions are an “over-approximation” of the program. This simultaneous testing either finds a test-case that reaches an error state, or finds an abstraction showing that no path in the state space of the program can reach any error state. If a test-case reaches an error state, the property checker has discovered a violation of the safety property. Conversely, if no path in the state space can reach any error state, the property checker has proved that the program satisfies the desired safety property.
Owner:MICROSOFT TECH LICENSING LLC

Test scenario generation program, test scenario generation apparatus, and test scenario generation method

The present invention has been made to provide a test scenario generation program, a test scenario generation apparatus, and a test scenario generation method that generate a test scenario that not only covers all paths in the screen transition diagram, but also have various viewpoints. A test scenario generation program makes a computer execute a test scenario generation method that generates a test scenario for use in verification of an application involving screen change. The test scenario generation program makes the computer execute: a design information acquisition step S11 that acquires design information of the application; a test scenario template information generation step S12 that generates test scenario template information having a part of information of the test scenario based on the design information and a previously set generation rule; and a test scenario setting step S31 that sets the result of the setting that has been made for the test scenario template information based on the design information as the test scenario.
Owner:FUJITSU LTD

Program Test System

An improved automated software testing system provides the ability to generate and reuse test cases over multiple platforms. Keywords and natural language are used in test case creation, simplifying the process for non-technical business users. Business users can write test cases without scripts. Test cases can be generated even before the application to be tested is available. Data substitution provides ability for test cases to adapt to changing data. Abstraction allows use of all third-party and custom software test tools to be incorporated. Persistent data handling allows capture of data generated during test execution for later use. Testing can be performed entirely automatically or can incorporate some manual interaction. Test results, screen captures of the system tested, along with environment and machine variables are saved in results logs for later review.
Owner:SYSTWARE
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products