In: Proc. 2nd Int. Conf. in Parallel Processing Systems, 16-20 August 1999, Ensenada, Mexico, pages 118-125. 1999.
Abstract: Real-time software must satisfy not only functional correctness requirements but also timeliness requirements. A lot of real-time research has focused on analysis rather than testing recently. During the execution of real-time software, a sequence of events due to time takes place between the concurrent processes. 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 a Petri net model with expansion of its time criterion. It includes (i) a guideline to handle the nondeterministic properties of real-time systems using the timed Petri net model, (ii) the rules to decompose the Petri net model into independent segment groups, and (iii) the way test cases are generated using the independent segment group and time variation method.
Keywords: net decomposition, real-time systems, time Petri nets.