Calculation method of non-numerical data based on abstract memory model

A non-numerical data and memory model technology, applied in software testing/debugging directions, can solve problems such as complex program logic, inability to record program semantic information well, and difficulty in test cases.

Inactive Publication Date: 2016-06-29
BEIJING UNIV OF POSTS & TELECOMM
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

In actual software testing, the actual program logic can be very complex
The test case generation scheme based on static analysis can well support numerical programs. For non-numerical programs, this scheme cannot record the semantic information of the program well, which makes it difficult to automatically generate non-numeric test cases.

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Calculation method of non-numerical data based on abstract memory model
  • Calculation method of non-numerical data based on abstract memory model
  • Calculation method of non-numerical data based on abstract memory model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0050] The method of the present invention will be further described in detail below in conjunction with the accompanying drawings and embodiments of the present invention.

[0051] The basic idea of ​​the present invention is: first obtain a path from the control flow graph of the function under test as the path under test, then allocate abstract memory units for the input domain parameters of the function under test; then perform semantic simulation on the nodes on the path one by one, Map each instruction to the corresponding abstract memory operation, extract the semantic information and store it in the abstract memory, and store the numerical constraint relationship between symbols into the constraint set; after the path analysis is completed, extract the parameters of each input field from the abstract memory Structural information, extract the numerical constraints related to this parameter from the constraint set, and build test cases for this parameter according to the...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention provides an abstract memory model-based method for calculating non-numerical type data. The method comprises the following steps of: A, designing an abstract memory model, wherein the abstract memory model is used for simulating a memory structure of numerical type variants and non-numerical type variants, and storing semantic information and restraint relationship included in the variant operation; B, extracting the semantic information included in the type operation of the numerical type variants and the non-numerical type variants, and mapping the semantic information to an abstract memory model; C, extracting restraint among variants and restraint inside variants included in the type operation of the numerical type variants and the non-numerical type variants, and mapping the restraint relationship to the abstract memory model; and D, extracting the semantic information and the restraint relationship of the variants from the abstract memory model, and establishing a test case by using a test case establishing algorithm and a restraint solver of a third party. By utilizing the method, the defect that in the prior art the non-numerical type variant program semantic cannot be supported is overcome, and the purpose that a program including the non-numerical type automatically generates the test case is realized.

Description

technical field [0001] The invention relates to software testing technology, in particular to a calculation method for non-numerical data based on an abstract memory model, and belongs to the technical field of semantic simulation and constraint extraction for programs containing non-numerical data in unit testing. Background technique [0002] There are two types of software testing: dynamic testing and static testing. Dynamic testing is to detect the dynamic behavior of the software and the correctness of the running results by running the software; static testing is to collect and find the information of the program, and analyze the characteristics of the program under test. Its main advantage is that the program can be collected before the program runs. semantic information. In actual software testing, the actual program logic can be very complex. The test case generation scheme based on static analysis can well support numerical programs. For non-numerical programs, t...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Patents(China)
IPC IPC(8): G06F11/36
Inventor 王雅文宫云战金大海黄俊飞唐荣蔡敏
Owner BEIJING UNIV OF POSTS & TELECOMM
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

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap