.png){kind=icon}
Return
Anomaly detection in concurrent Java programs using dynamic data flow analysis
.png){kind=icon}
PRE
AI
DOI：10.1016/S0950-5849(01)00199-9.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Concurrency constructs are widely used when developing complex software such as real-time, networking and multithreaded client-server applications. Consequently, testing a program, which includes concurrency constructs is a very elaborate and complex process. In this work, we first identify the different classes of synchronization anomalies that may occur in concurrent Java programs. We then consider testing concurrent Java programs against synchronization anomalies using dynamic data flow analysis techniques. Moreover, we show how the data flow analysis technique can be extended to detect such anomalies. (C) 2001 Elsevier Science B.V. All rights reserved.
Keywords:
dynamic data flow analysis
instrumentation
concurrency
software testing
synchronization anomaly
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
4.3
Papers:
3.8K
Citations:
7.7K
Organization
No organization information available
Cited Papers
.png){kind=icon}
ShareSaveShareSaveShareSave
no more
no more