Software testing method based on combination of control flow graph traversal and slice forward traversal

Abstract

The invention provides a software testing method based on the combination of control flow graph traversal and slice forward traversal. The method improves the traversal strategy of the selective regression testing method based on control flow graph traversal, changes the definitions of variables in codes and introduces the slice forward traversal algorithm; and in the method, all the definition-use pairs vdefine-vuse which are affected directly or indirectly is identified, only the test case of the variable definition-use pairs are selected to traverse, thus avoiding the consumption of test time and effect caused by selecting all the test cases through one node. As the improvement of strategy and the introduction of algorithm only aim at the modification of variable definition and the deletion of code is not considered, the method disclosed by the invention can not influence the safety and increase the selection accuracy of test cases in a certain scope.

Description

technical field [0001] The invention relates to a software testing method. In particular, the invention relates to a selective regression testing method based on the combination of control flow graph traversal and slice forward traversal algorithms in the technical field of regression testing. Background technique [0002] Software testing is accompanied by the production of software. In the early software development process, the meaning of testing was relatively narrow, and testing was equated with "debugging". It was not until 1957 that software testing began to be distinguished from debugging as an activity of finding software defects. At present, the research hotspots of software testing at home and abroad are: software testing process model, unit testing adequacy standard, regression testing, embedded software testing, object-oriented software testing, software quality and complexity measurement, automated test data generation, etc. Among them, regression testing is ...

AI Technical Summary

Problems solved by technology

[0026] 1) Only select and execute the test cases that are newly added, modified or deleted variable definitions use pairs, so the data flow selective regression testing technology typically ignores the test cases that are not modified and traversed;

[0027] 2) The data flow testing technology chooses to traverse the newly added, modified or deleted definition using the right test case, the data flow technology may ignore some test cases, the test case reaches a modified variable definition, but does not reach The use of this variable, these test cases are modified traversal, but non-modified exposed

[0028] 3) Data flow techniques may ignore test cases where modifications reveal, for example, when code deletions do not involve variable definition usage

[0031] 1) When the program P contains a modified assertion statement, the dynamic slicing technology may ignore some test cases exposed by the modification, so this technology is not safe; when the code modification does not change the control flow graph of the program P or add new Variable definitions for other slicing techniques are safe

[0032] 2) Adding an assertion statement or an assignment statement in the program P will have an adverse effect on the security of the slicing technique, for example, adding a new assignment statement s in P, because the slice obtained by the program slicing technique is only included before the program is modified Statements appearing in program P, any test case slice will not contain statement s

But when the program P' contains structural changes, the technique may select test cases for non-modification traversal

Images