Code static analysis-based data race detecting method and system thereof

Abstract

The invention discloses a code static analysis-based data race detecting method and a system of the detecting method. The method comprises the following steps of: reading software to be detected, statically analyzing a source program of the software to be detected, and generating an abstract syntax tree, a control flow graph and a global function call graph of the software to be detected; on thatbasis, computing alias information in each function, outlet alias information among functions, lock assembly information, an access link of an access escapable variable quantity in each function and a thread building relational graph; computing a plurality of initialized sentence pair sets of a plurality of access nodes in every two threads; and gradually eliminating the sets according to the alias information, the lock assembly information and a concurrency relation to obtain a sentence pair which can finally have the data race. The detecting method and the detecting system can effectively detect the data race of a multi-thread program compiled by C / C++, thereby having the characteristics of high test precision and high automaticity, and being applied to detecting the data race caused bytwo threads or multiple threads.

Description

technical field [0001] The invention relates to a software testing technology, in particular to a data competition detection method and system based on code static analysis. Background technique [0002] After software development, it needs to be tested before it is put into operation. The final review of software requirements analysis, design specifications and coding implementation is a key step in software quality assurance. Software testing is the process of executing programs in order to find errors. The fundamental purpose of analyzing or executing programs in a controlled software testing environment is to discover and correct potential faults and defects in the software with as little time and manpower as possible. , Improve the quality of the software. [0003] From the perspective of whether the software under test needs to be run during the test process, software testing methods can be divided into two categories: dynamic testing methods and static testing method...

AI Technical Summary

Problems solved by technology

Both dynamic testing and static testing have their own advantages and disadvantages: the advantage of dynamic testing is that the software errors found are very intuitive, and the disadvantage is that the design requirements for test cases are high, and the ability to find errors in different test case sets varies greatly. The fact that the test method needs to actually run the program under test is also a limitation

The disadvantage of dynamic testing is precisely the advantage of static testing. Static testing does not need to actually run the program under test, does not need to design related test cases, and is easy to automate. The disadvantage of static testing is that the problems found are often not completely automatically determined as real errors. , requires manual confirmation, so static testing is also called static analysis

Once a data race occurs in a multi-threaded program, it will be difficult to detect

It only violates the invariant of the data structure, and will not cause the program to crash immediately, it will only cause some errors during the long-term running of the program, so it is difficult to trace the root of the data race

Images