The Research Of Online Testing Method Based On Time Petri Nets For Real-time Software

With the development of computer technology,software has been applied to many areas of people's daily life,the demand for software reliability is becoming higher and higher.In this context,model-based software testing techniques have been proposed,which are designed to automatically generate testing cases by using a model that can guarantee the quality of testing.While testing the real-time system which is added time domains,we need to focus on how to represent time domains when formalized modeling the real-time system.And besides,when the real-time system is large,it is easy to cause the problem of state place explosion.In order to solve the problem of real-time software testing,this paper presents an online testing method based on time Petri nets.Firstly,a reachability graph generation algorithm based on state classes is designed.And the generated reachability graph is used to evaluate and refine the model in order to ensure reliability of the model in describing the actual system.Secondly,the synchronization product algorithm combining the time Petri nets model is designed to generate the synchronous product reachability graph for achieving the purpose of reducing the state space of the system.Finally,a test case generation strategy combining with the actual response is designed.In order to verify the online test method,an online test system based on time Petri net was designed,and the carpool platform system was tested as the measured system.The results show that the online test method can effectively alleviate the state space explosion and improve the test efficiency.