Software Safety Dynamic Extensible Test Cases Generation Algorithm Based on Software Criticality

In order to improve the efficiency of software safety test, on the basis of studying the existing software safety test cases generation method. the dynamic test cases model is presented, then a method of software safety test based on the criticality is proposed, which can generate dynamic extensible test cases. According to the method, the total number of the test cases is sharply reduced, at the same time, the input probability of a subset of the safety criticality operation of high criticality and low frequency is increased, together with real-time dynamic extensible test cases are less generated. Experiments show that, it requires less test cases to achieve the same confidence level by using the method provided in this paper.