View : 164 Download: 0

Dynamic Analysis Method for Concurrency Bugs in Multi-process/Multi-thread Environments

Title
Dynamic Analysis Method for Concurrency Bugs in Multi-process/Multi-thread Environments
Authors
Park, JihyunChoi, ByoungjuJang, Seungyeun
Ewha Authors
최병주
SCOPUS Author ID
최병주scopus
Issue Date
2020
Journal Title
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING
ISSN
0885-7458JCR Link

1573-7640JCR Link
Citation
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING vol. 48, no. 6, pp. 1032 - 1060
Keywords
Concurrency bugDefect detectionMulti-processMulti-thread
Publisher
SPRINGER/PLENUM PUBLISHERS
Indexed
SCIE; SCOPUS WOS scopus
Document Type
Article
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.
Show the fulltext
DOI
10.1007/s10766-020-00661-3
Appears in Collections:
엘텍공과대학 > 컴퓨터공학과 > Journal papers
Files in This Item:
There are no files associated with this item.
Export
RIS (EndNote)
XLS (Excel)
XML


qrcode

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

BROWSE