Condition slicing method based on golden section search and software execution trace

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: ...

AI Technical Summary

Problems solved by technology

This approach can improve the efficient code snippets of the resulting slices of conditional s

Images