Name
Abstract | ||
|---|---|---|
With the advent of multicore processors, there is a trend towards multithreading to take advantage of parallel computing resources. Due to greatly increased complexity, programmers need effective testing methodology that can thoroughly test multithreaded programs. There has been significant progress based on symbolic execution that attempts to exhaustively explore all the intra-thread paths and inter-thread interleavings. However, such testing approach faces two insuperable challenges. Firstly, exploring an astronomically large number of paths and interleavings limits its scalability. Secondly, a path itself does not directly help programmers understand program behavior. In this paper, we propose an alternate testing methodology that focuses on definition-use data flow instead of paths/interleavings. Such approach not only leads to orders of magnitude reduction in testing complexity, but also gives programmers direct help on examining the shared variable usage in a multithreaded program. |
Year | DOI | Venue |
|---|---|---|
2017 | 10.1109/ICST.2017.23 | 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) |
Keywords | Field | DocType |
Multithreaded Program,Symbolic Analysis,Guided Execution,Definition-Use | Multithreading,Computer science,Software bug,Real-time computing,Symbolic data analysis,Symbolic execution,Concurrent computing,Multi-core processor,Data flow diagram,Scalability | Conference |
ISSN | ISBN | Citations |
2381-2834 | 978-1-5090-6032-0 | 0 |
PageRank | References | Authors |
0.34 | 30 | 7 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Xiaodong Zhang | 1 | 12 | 1.88 |
| Zijiang Yang | 2 | 355 | 34.71 |
| Qinghua Zheng | 3 | 1261 | 160.88 |
| Pei Liu | 4 | 4 | 4.47 |
| Jialiang Chang | 5 | 5 | 0.74 |
| Yu Hao | 6 | 8 | 4.24 |
| Ting Liu | 7 | 150 | 22.53 |