Name
Abstract | ||
|---|---|---|
We propose a categorization of action race conditions which occur in the specification of a concurrent system given as a collection of communicating labeled transition systems. We present several conditions to detect action races in the concurrent system operating in three different environments: a sequential-slow environment that allows execution of external actions only in stable states, a sequential-fast environment that supports the sequential execution of an action sequence before the next stable state is reached, and a concurrent environment that performs independent actions simultaneously. Race analysis facilitates the design of testers that can execute test actions without races at a highest possible speed. |
Year | DOI | Venue |
|---|---|---|
2000 | 10.1007/978-0-387-35516-0_17 | TestCom |
Keywords | Field | DocType |
concurrent systems,action races | Categorization,Programming language,Stable states,Computer science,Test execution | Conference |
Volume | ISSN | ISBN |
48 | 1571-5736 | 0-7923-7921-7 |
Citations | PageRank | References |
2 | 0.36 | 8 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Alexandre Petrenko | 1 | 176 | 15.90 |
| Andreas Ulrich | 2 | 76 | 9.98 |