Abstract
In this paper, we propose a method of analyzing the types and causes of concurrency bugs that can occur in multi-process/multi-thread environments by analyzing the information gathered in the execution environment. Our method reduces the false detection rate by employing a hooking technique that intercepts the software’s execution at runtime and reduces the overhead that can occur in the original software due to defect detection methods using optimized data collection. We implemented the proposed method as a tool and demonstrated its effectiveness by applying it to weapon system software that previously had concurrency bugs. In addition, the proposed method’s high performance was proven by applying it to software into which faults were injected and comparing the results with those obtained using other tools.
| Original language | English |
|---|---|
| Pages (from-to) | 1032-1060 |
| Number of pages | 29 |
| Journal | International Journal of Parallel Programming |
| Volume | 48 |
| Issue number | 6 |
| DOIs | |
| State | Published - 1 Dec 2020 |
Bibliographical note
Funding Information:This research was supported by the Hyundai-Kia Motor Company. This research was supported by the MSIT (Ministry of Science and ICT), Korea, under the ITRC (Information Technology Research Center) support program (IITP-2020-2017-0-01628) supervised by the IITP (Institute for Information & communications Technology Promotion).
Funding Information:
This research was supported by the Hyundai-Kia Motor Company. This research was supported by the MSIT (Ministry of Science and ICT), Korea, under the ITRC (Information Technology Research Center) support program (IITP-2020-2017-0-01628) supervised by the IITP (Institute for Information & communications Technology Promotion).
Publisher Copyright:
© 2020, Springer Science+Business Media, LLC, part of Springer Nature.
Keywords
- Concurrency bug
- Defect detection
- Multi-process
- Multi-thread