Name
Abstract | ||
|---|---|---|
During the execution of real-time software, a sequence of events due to time takes place between the concurrent processes. Because of the un-predictability of concurrent processes, multiple executions of real-time software with the same test cases may produce different results. This non-deterministic execution behavior always creates problems in real-time software testing. This paper explores real-time software testing, which combines decomposition of Petri nets model with expansion of its time criterion. It includes (1) guideline of how to handle the non-deterministic properties of real-time systems using time Petri nets model, (2) the rules of how to decompose the Petri nets model into independent segment groups, and (3) the way test cases are generated using independent segment group and time variation method. |
Year | DOI | Venue |
|---|---|---|
1999 | 10.1109/ATS.1999.810766 | Test Symposium, 1999. |
Keywords | Field | DocType |
Petri nets,multiprocessing programs,program testing,real-time systems,concurrent process,decomposition,independent segment groups,multiple executions,nondeterministic execution behavior,real-time software,test cases,time Petri nets model,time variation methods | Programming language,Petri net,Nondeterministic algorithm,Computer science,Real-time computing,Stochastic Petri net,Process architecture,Software,Test case,Program testing,Software testing | Conference |
ISSN | ISBN | Citations |
1081-7735 | 0-7695-0315-2 | 3 |
PageRank | References | Authors |
0.68 | 10 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ho, I. | 1 | 3 | 0.68 |
| Jin-Cherng Lin | 2 | 136 | 16.88 |