Abstract | ||
---|---|---|
This paper introduces a method to correctly order events in model-based testing for concurrent systems, in particular multi-threaded programs, whose events are only partially ordered. For a sequential, centralized tester, we need to merge (local) traces of each component into a (global) trace of a system in such a way that the ordering constraints are observed. To this end, we instrument a multi-threaded program under test so that the order of lock events is visible. This additional information helps a so-called multiplexer to reconstruct a fully serial trace consistent with the partial order. We describe programs and the multiplexer as labeled transition systems and give pseudo-code of the algorithm implementing the latter. The implementation of the algorithm presented is used in an industrial context. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/11430230_8 | TestCom |
Keywords | Field | DocType |
so-called multiplexer,serial trace,concurrent system,additional information,industrial context,multi-threaded program,lock event,partial order,centralized tester,particular multi-threaded program,model based testing,software development | Transition system,Concurrency,Lock (computer science),Computer science,Algorithm,Multiplexer,Multiplexing,Shared resource,Reactive system,Partially ordered set | Conference |
Volume | ISSN | ISBN |
3502 | 0302-9743 | 3-540-26054-4 |
Citations | PageRank | References |
4 | 0.52 | 12 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Colin Campbell | 1 | 201 | 10.32 |
Margus Veanes | 2 | 999 | 61.26 |
Jiale Huo | 3 | 44 | 2.57 |
A. Petrenko | 4 | 565 | 31.37 |