Lightweight Method for On-the-fly Detection of Multivariable Atomicity Violations
- Authors
- Bae, C.-H.; Choi, E.; Jun, Y.-K.; Ha, O.-K.
- Issue Date
- Jan-2023
- Publisher
- Institute of Electrical and Electronics Engineers Inc.
- Keywords
- multi-threaded programs; multivariable atomicity violations; on-the-fly detection; Software reliability
- Citation
- Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023, pp 165 - 171
- Pages
- 7
- Indexed
- SCOPUS
- Journal Title
- Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023
- Start Page
- 165
- End Page
- 171
- URI
- https://scholarworks.gnu.ac.kr/handle/sw.gnu/68736
- DOI
- 10.1109/ICSTW58534.2023.00039
- ISSN
- 0000-0000
- Abstract
- Testing to detect on-the-fly concurrency errors, such as atomicity violations caused by multiple shared variables, in a multi-threaded program is challenging because of the need to consider various factors, including correlations between variables and access event interleaving. An improved method for detecting atomicity violations during program execution is presented in this study. This method applies a straightforward approach to recognize a substantial number of related variables that make up atomicity as a single group and as one variable. This enhanced method was implemented, similarly to a test tool, and experimental comparisons were performed using a set of synthetic programs that modeled the execution of the seven representative multivariable atomicity violations. The results showed that compared with the original run of the test programs and a state-of-the-art detection method, the execution time increased by 1.07 and 1.05, respectively. This result included the accuracy of detecting all the multivariable atomicity violations undetected by the prior method. © 2023 IEEE.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - 공과대학 > Department of Aerospace and Software Engineering > Journal Articles
![qrcode](https://api.qrserver.com/v1/create-qr-code/?size=55x55&data=https://scholarworks.gnu.ac.kr/handle/sw.gnu/68736)
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.