Research And Application Of The Trusted Software Concurrent Verification Testing Technology

With the rapid development of computer applications, various industries have been penetrated in by software, the software credible properties includes that correctness, reliability, security, integrity, availability etc are being paid high attention by people. However, the emergence of concurrent programs make correctness testing more difficult, errors are difficult to be detected because of the uncertainty of the running concurrent program and even the errors had been discovered, which is hard to reproduce. Many concurrent errors has been found in the user using phase, and fixing them cost a lot. Although it can be solved through the existing tools, which can be only used in specific conditions and play a minor role for concurrent validity testing of the whole software. Concurrent validity test is the most important part of the trusted software testing process, how to detect the concurrent error and take effective measures to ensure trusted software concurrent validity is urgently needed, which become the research hot spots for experts and scholars in the field.First, Concolic testing method do specific test on concurrent programs according to a certain input conditions in concurrent programs, then reorder projects in the program to produce a new thread scheduling on the basis of the symbolic value and competitive conditions of each branch point in concurrent programs, i.e., a new partial order synchronous serial generated the corresponding input conditions according to the new thread scheduling, finally testing concurrent programs under the new condition, and so forth until all the concurrent programs paths were covered. Concolic testing solves the problem of lack of effective test case set in a certain extent, a large number of test sequence set that can’t find defects will be generated and executed due to a lack of considering target defects as the guidance, which waste time and cost a lot.This paper presents a goal-oriented Concolic test method, which delimits the relevant rules and algorithms combined with the static analysis methods and Concolic testing methods, collects program path that contains concurrency errors with the static analysis results, guide Concolic test with the results. Compared with the original experiment, the method can reduce the number of test paths to the maximum and the cost of concurrent test, which improve the efficiency of the Concolic test method.The following several aspects are mainly represented by innovation of the research work in this paper:(1) A defect detection method has been proposed in combination with static analysis and Concolic test, using the potential defect location and type information of the static analysis report to guide the Concolic test to reduce test costs.(2) To described the target-oriented Concolic testing technology, need to structured modeling of concurrent programs.(3) By constructing the concurrent control flow graph, then judge the reachability branch statements to the defects statement in the concurrent program and record the related path; then based on concurrent program was inserted to support concolic testing.(4) A Concolic test system (DDTS) for the detection of the goal orientation of concurrency defects has been achieved based on this method, and case studies are proceeding to assess the effectiveness of this method on the basis of a set of java concurrent programs.