Unlock instant, AI-driven research and patent intelligence for your innovation.

Program correctness verification method based on syntax tree

A syntax tree and program technology, applied in the field of program design correctness verification, can solve problems such as insufficient efficiency and accuracy, and achieve the effect of easy verification

Pending Publication Date: 2008-09-10
HANGZHOU DIANZI UNIV
View PDF0 Cites 17 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Scholars at home and abroad focus on the second scheme, which is the automatic generation of typical test data, and put forward some practical methods, such as symbolic execution method, iterative relaxation method, etc., but the efficiency of these methods and the verification is not accurate enough

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
  • Program correctness verification method based on syntax tree
  • Program correctness verification method based on syntax tree
  • Program correctness verification method based on syntax tree

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0020] 1 method involves relevant definitions and descriptions:

[0021] Definition 1 (mapping) Let T1=(V, E, root(T1)), T2=(W, F, root(T2)) be two label trees, and a mapping M from T1 to T2 is defined as M ⊆ V × W , And for all (v1, w1), (v2, w2) ∈ M satisfy the following conditions:

[0022] 1) v 1 = v 2 ⇔ w 1 = w 2 , Indicates that the nodes participating in the mapping in the two trees are in one-to-one correspondence;

[0023] 2) v 1 = ancestor ( v 2 ) ⇔ w 1 = ancestor ( w 2 ) , The representation map maintains the ancestor-descendant relatio...

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 relates to a verification method of the correctness of the design of a procedure. The current verification method of the correctness of a procedure has low efficiency and insufficient accuracy of the verification. The method of the invention specifically comprises: adopting XML format to covert an original procedure to a procedure syntax tree; carrying out the optimization of the procedure syntax tree; using XPath statements to carrying out the expression of the procedure syntax tree after the optimization, each XPath statement is corresponding to a weight; utilizing the matching method of XPath path to verify the overall correctness of the original procedure; carrying out the verification of the single path in a verification tree; and carrying out the verification of the full path in the verification tree. The method of the invention can accurately verify the correctness of an original procedure; compared with the existing method, the efficiency is simultaneously greatly improved.

Description

technical field [0001] The invention belongs to the field of computer application technology, in particular to a method for verifying the correctness of program design. Background technique [0002] Program correctness verification is an important part of IT skill assessment automation, and it is also one of the theoretical and technical difficulties. The correctness of a program means that for all inputs in a given field, the program can give correct output, and the program can give correct output. However, as Dijkstra pointed out: "We can test to find bugs in a program, but we cannot prove that there are no bugs." In general, even a very simple program may have an infinite number of possible inputs. [0003] At present, there are usually two schemes for program correctness verification: the first one is to completely abandon the method of checking input-output, and judge the correctness of the program through formal language understanding; the second scheme is to maintain...

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 Applications(China)
IPC IPC(8): G06F11/36
Inventor 吴卿胡维华谢红标周必水
Owner HANGZHOU DIANZI UNIV