Generating Real-Time Software Test Cases by Time Petri Nets

• Published in: International journal of computers & applications Vol. 22; no. 3; pp. 151 - 158
• Main Authors: Lin, J.C., Ho, I.
• Format: Journal Article
• Language: English
• Published: Anaheim, CA Taylor & Francis 01.01.2000; Calgary, AB Acta Press; Zürich
• Subjects: Applied sciences; Basic segment; Computer science; control theory; systems; Computer systems and distributed systems. User interface; Distributed computer systems; Electronics; Exact sciences and technology; graph matrix; graph segment; Hardware; independent segment group; Petri nets decomposition; Software; test cases generation; Program execution; Decomposition method; Time domain analysis; Distributed system; Algorithm; Modeling; Real time system; Time variation; Case study; Experimental result; Algorithm performance; Test method; Software; Graph method; Non deterministic system; Petri net; Execution time
• ISSN: 1206-212X; 1925-7074
• DOI: 10.1080/1206212X.2000.11441618

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.