.png){kind=icon}
返回
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}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
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.
Keyword:
dynamic data flow analysis
instrumentation
concurrency
software testing
synchronization anomaly
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.3
论文数:
3.8K
被引数:
7.7K
机构
暂无机构信息
引用论文
.png){kind=icon}
没有更多内容
没有更多内容