Condition slicing method based on golden section search and software execution trace
A golden section, execution trajectory technology, applied in software maintenance/management, reverse engineering, program control devices, etc., can solve problems such as inability to handle inter-process, object-oriented and concurrent programs, and achieve convenient acquisition and use of trajectory information. , the effect of a wide range of applications
Active Publication Date: 2017-11-24
SOUTHEAST UNIV
View PDF5 Cites 4 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
This approach can improve the efficient code snippets of the resulting slices of conditional s
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 moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Login to View More
PUM
Login to View More
Abstract
The invention discloses a condition slicing method based on golden section search and software execution trace. Based on a given first-order predicate logic set, in an interval matching conditions, a variable value is selected as input of dynamic program operation based on a golden section search method, a corresponding statement coverage set is obtained by calculation through an execution trace set of program multi-time operation, and on the basis, combined with static slicing of a program, condition slicing of the program is obtained by calculation. According to the method, global analysis of the program is not needed, thus the efficiency is improved, and the space complexity is low; besides, it is convenient to acquire the execution trace of the program, and acquisition of the execution trace of the program is not influenced by program types, so that the method is applicable to interprocess and concurrent programs and is object-oriented.
Description
technical field [0001] The invention belongs to the field of program slicing in software maintenance, and relates to a conditional slicing method based on golden section search and software execution track. Background technique [0002] Program slicing is a collection of new codes obtained by extracting codes directly or indirectly related to variables or statements that users are interested in in the source program. Since the scale of the program is greatly reduced, it is easy to understand the program and has high application value. Since the technology was proposed by Weiser in 1979, it has been widely used in many aspects such as software analysis, understanding, debugging, testing, measurement, software quality assurance, and reverse engineering. Therefore, a series of program slicing types have emerged, and conditional slicing is a more practical program slicing based on static slicing and dynamic slicing. [0003] Currently, the main conditional slicing methods are: ...
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
Login to View More
IPC IPC(8): G06F9/44
CPCG06F8/75
Inventor 李必信张欢王璐璐
Owner SOUTHEAST UNIV
Who we serve
- R&D Engineer
- R&D Manager
- IP Professional
Why Patsnap Eureka
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com