Title :
A method of test cases generation for real-time systems
Author :
Ho, Ian ; Lin, Jin-Cherng
Author_Institution :
Dept. of Comput. Sci. & Eng., Tatung Inst. of Technol., Taipei, Taiwan
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. During the execution of real time software, a sequence of events due to time take place between the concurrent processes. Because of the unpredictable progress 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 software testing. The paper is concerned with test case generation for real time systems. It includes: (1) a guideline on how to handle the nondeterministic properties of real time systems; and (2) the way test cases are generated using a dual language based model and path like testing strategy
Keywords :
parallel programming; program testing; real-time systems; temporal logic; concurrent processes; dual language based model; functional correctness requirements; multiple executions; nondeterministic execution behavior; nondeterministic properties; path like testing strategy; real time software; real time systems; software testing; test case generation; timeliness requirements; unpredictable progress; Computer aided software engineering; Computer science; Concurrent computing; Logic testing; Petri nets; Programming; Real time systems; Software testing; System testing; Timing;
Conference_Titel :
Object-Oriented Real-time Distributed Computing, 1998. (ISORC 98) Proceedings. 1998 First International Symposium on
Conference_Location :
Kyoto
Print_ISBN :
0-8186-8430-5
DOI :
10.1109/ISORC.1998.666795
