Generating test cases for real-time software by time Petri nets model

During the execution of real-time software, a sequence of events due to time takes place between the concurrent process. Because of the unpredictability of concurrent processes, multiple executions of real-time software with the same test cases may produce different results. This nondeterministic execution behavior always creates problems in real-time software testing. This paper explores real-time software testing, which combines decomposition of Petri net model with expansion of its time criterion. It includes (1) guideline of how to handle the nondeterministic properties of real-time systems using time Petri nets model, (2) the rules of how to decompose the Petri net model into independent segment groups, and (3) the way test cases are generated using independent segment group and time variation methods.