Abstract
Although real-time software must satisfy not only functional correctness requirements but also timeliness requirements, much recent real-time research has focused on analysis rather than testing. During the execution of real-time software, a sequence of events due to time take place between the concurrent processes. Because concurrent processes are unpredictable, multiple executions of a given real-time software with the same test cases may produce different results. This nondeterministic execution behaviour always creates problems in real-time software testing. This paper explores real-time software testing, combining decomposition of Petri nets model with expansion of its time criterion. It provides guidelines for handling the nondeterministic properties of real-time systems using time Petri nets model, rules for decomposing the Petri nets model into independent segment groups, and a description of the way test cases are generated using independent segment group and time variation method.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call