Automatic Generation Technology Of Reliability Test Case Based On Markov Chain

Software reliability testing is an important means to ensure the quality of software,reliability testing based on Markov chain usage model is one of the most important methods,which contains the two most crucial processes: The first is the construction of software Markov chain model;The second is the automatic generation of reliability test cases based on Markov chain usage model.At present,the model building part has been more innovation and optimization,but automatic generation of test cases is still no breakthrough,is already the performance bottleneck throughout the reliability testing process.In order to solve the problems of high randomness,generation of uncontrollable,"early maturing" and insufficient sufficiency in traditional reliability test case generation methods,based on the exhaustive research on automatic generation of reliability test cases based on Markov chain,aiming at reverse thinking,an improved automatic reliability test case generation strategy is proposed.By collecting all the basic test path sets of software Markov chain,and according to the existing indexes,a suitable number of test cases satisfying full test is calculated.Finally,the set of reliability test cases is derived from the rule distribution based on the basic test path sets and the number of test cases,and through more mature test adequacy criteria assurance the adequacy of the test.This method overcomes the drawbacks of traditional test case generation methods.In addition,the existing reliability test case generation technology will lead to a "test case explosion" due to the more complicated Markov chain usage model of the tested software.Too many test cases will result in the test execution becoming very slow,greatly reducing the reliability test efficiency,therefore,this paper proposes a test case reduction technique based on piecewise compression method.By classifying the basic test paths into separate segments and generating test cases for each compression segment separately,the test case set scale can be greatly reduced and the reliability test efficiency can be improved.Finally,based on the previous research and the innovative theoretical methods proposed in this paper,a reliability test case automation generation platform was designed and implemented.The practicality and effectiveness of the method were verified by examples.