Research And Application For Concurrent Systems Oriented Test Reduction Technology

Concurrent systems are widely used in modern control system,the state space of the system is exponentially explosive with the number and complexity of concurrent systems,at the same time because the problem of synchronous / asynchronous between concurrent behaviors,and the dependency problem between concurrent behaviors exacerbated the difficulty of testing and verification system.Especially the application system and the business environment facing the changing needs,need to constant regression testing requires iterative repair,change,and reuse of the system,complete this kind of concurrent system potential defects problems in regression testing is economically and technically insurmountable.It is a common method to reduce the test cost by minimizing the test cases,selecting and prioritizing the test cases.Regression test for black box or function,or use the test cases which were divided into coarse granularity according to the system structure of regression tests need,or selected the test cases by analyzing the module or function which was influenced with testing input data,because it can not accurately locate the relationship between the repair content and the original test cases,complete regression testing is difficult to guarantee;for white box testing can accurately fix the repair information,we can get the structural relationship between the test case and the repair content,can achieve precise cutting of original test cases in regression test.However,there is a complex matching relationship between the repaired structure and the original structure.In this paper,various methods of regression testing are applied to analyze the systems.Analyzing path matching relationship between defect repair structure and original structure for system structure oriented.This paper proposes a structure oriented concurrent system test reduction and generation technology based on Slicing Technology.On the basis of not considering the specific software repair structure,consider only the affected modules,use the slicing technology in different tasks and different levels of accuracy to select the test cases,so then under the premise of ensuring the quality of software evolution,the execution cost of regression test is reduced.The main contributions of this paper are:(1)Based on the graph theory,this paper proposes a new regression reduction technique for the structure with different costs,use the slicing techniques to analyze the effects of modification or error;(2)Study the structure matching relation between the original graph and repaired graph,propose a multi-pattern path sequence matching rule,thus obtained the set of regression test paths for different cost and repair structure effects;(3)Proposed a test data generation method based on slicing path,oriented graph structure to compose the constraint condition of test path,integrated Z3 constraint solver,generate the test data corresponding regression test execution path,in order to achieve the regression test reduction and automated test case generation.Through some examples show that this regression test reduction technology can quickly generate test cases for specific structural features and constraints,on the one hand,can effectively reduce the test path,at the same time,it can precisely match or generate the corresponding test cases,in order to realize that not only use a few test cases to repair the regression test,but also to meet the requirements of the complete repair structure.