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

A Hierarchical Expression Method of Software Structure

An expression method and software structure technology, applied in software testing/debugging, instrumentation, error detection/correction, etc., can solve problems such as multiplication of expression effects with half the effort, and achieve the effect of simplified expression and clear program analysis process

Active Publication Date: 2021-04-20
DALIAN UNIV OF TECH
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] In addition, in the graphical description of the program structure, if the description tool has the same structure as the description object, then its expression effect will be twice the result with half the effort

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
  • A Hierarchical Expression Method of Software Structure
  • A Hierarchical Expression Method of Software Structure
  • A Hierarchical Expression Method of Software Structure

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0044] The specific embodiments of the present invention will be described in detail below in conjunction with the technical solutions and accompanying drawings.

[0045] The construction process of HDG graph is as follows: figure 2 Shown:

[0046] Given the following source code P, construct the corresponding HDG graph.

[0047]

[0048]

[0049] (1) Find all the minimum functional unit sets Fs in P, get Fs={Add}.

[0050] (2) Establish a process dependency graph for the Add function in Fs, such as image 3 (b) shown.

[0051] (3) Find out the parent function of the Add function, and get PF=main.

[0052] (4) Establish the process dependency graph of the main function, such as image 3 As shown in (a); the main function is placed at the highest level, and the Add function is placed at the lowest level to form a complete HGD diagram of the program, as shown in image 3 shown.

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 a hierarchical expression method of software structure, which belongs to the field of software engineering. The present invention uses a layered structure to describe the overall logic of the program, and its description method is directly adapted to the layered characteristics formed in the calling process of the program, which greatly simplifies the expression of the program logic structure; since the sub-function is regarded as A black box weakens the specific implementation process of the function, highlights the function and its position in the overall structure of the program, and makes the program analysis process clearer.

Description

technical field [0001] The invention relates to a hierarchical expression method of a program structure based on the function encapsulation characteristic of a computer program, which belongs to the field of software engineering. This method utilizes the feature of function encapsulation, which greatly simplifies the hierarchical expression process of the program, improves the readability of the program structure, and is suitable for the visual expression of structured programs. Background technique [0002] With the increasing complexity of software itself and its operating environment, software credibility has attracted more and more attention. Many computer scientists believe that formal methods are an important means of modeling and verifying software. The graphical expression of software structure can promote the formal verification of software. In the analysis of program structure, graphics can clearly describe the relationship between program modules, and the hierar...

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
CPCG06F11/3608
Inventor 宋明秋李旭
Owner DALIAN UNIV OF TECH