Combining static and dynamic impact analysis for large-scale enterprise systems

被引:1
作者
Chen, Wen [1 ]
Wassyng, Alan [1 ]
Maibaum, Tom [1 ]
机构
[1] McMaster Centre for Software Certification, McMaster University, Hamilton, ON
来源
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2014年 / 8892卷
关键词
Aspect-oriented programming; AspectJ; Dependency graph; Dynamic analysis; Impact analysis; Instrumentation; Large-scale enterprise systems; Regression Testing; Static analysis;
D O I
10.1007/978-3-319-13835-0_16
中图分类号
学科分类号
摘要
Software changes and their impact on large-scale enterprise systems are critical, hard to identify and calculate. A typical enterprise system may consist of hundreds of thousands of classes and methods. Thus it is extremely costly and difficult to apply conventional testing techniques to such a system. In our previous work [1], a conservative static analysis with the capability of dealing with inheritance was conducted on an enterprise system and associated changes to obtain all the potential impacts. However, since static analysis takes into account all the possible system behaviours, the analysis often results in a good number of false-positives and thus over-estimation of the impact on other methods in the system. This work focuses on extending our previous static approach by an aspect-based dynamic analysis, to instrument the system and collect a set of dynamic impacts at run-time. The new approach is still safe, but more precise than the static analysis. Safety is preserved since the static analysis serves as the input source to the dynamic analysis, and we are careful not to discard impacts unless we can show that they are definitely not impacted by the change. It is more precise since dynamic analysis examines behaviours that do definitely occur at run-time and hence is able to reflect the real impacts. Additionally, our analysis is able to handle the scalability issue. The targeted system is orders of magnitude larger than the system other existing approaches can deal with. A case study was conducted to illustrate that specific objectives can be attained. © Springer International Publishing Switzerland 2014.
引用
收藏
页码:224 / 238
页数:14
相关论文
共 50 条
[41]   Functionally Equivalent C Code Clone Refactoring by Combining Static Analysis with Dynamic Testing [J].
Su, Xiaohong ;
Zhang, Fanlong ;
Li, Xia ;
Ma, Peijun ;
Wang, Tiantian .
PROCEEDINGS OF INTERNATIONAL CONFERENCE ON SOFT COMPUTING TECHNIQUES AND ENGINEERING APPLICATION, ICSCTEA 2013, 2014, 250 :247-256
[42]   Krylov subspace-based model order reduction for Campbell diagram analysis of large-scale rotordynamic systems [J].
Han, Jeong Sam .
STRUCTURAL ENGINEERING AND MECHANICS, 2014, 50 (01) :19-36
[43]   A Study of the Impact of Callbacks in Staged Static plus Dynamic Partial Analysis [J].
Anand, Aditya .
COMPANION PROCEEDINGS OF THE 2022 ACM SIGPLAN INTERNATIONAL CONFERENCE ON SYSTEMS, PROGRAMMING, LANGUAGES, AND APPLICATIONS: SOFTWARE FOR HUMANITY, SPLASH COMPANION 2022, 2022, :72-74
[44]   Large-Scale Analysis of Framework-Specific Exceptions in Android Apps [J].
Fan, Lingling ;
Su, Ting ;
Chen, Sen ;
Meng, Guozhu ;
Liu, Yang ;
Xu, Lihua ;
Pu, Geguang ;
Su, Zhendong .
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2018, :408-419
[45]   Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis [J].
Octeau, Damien ;
Jha, Somesh ;
Dering, Matthew ;
McDaniel, Patrick ;
Bartel, Alexandre ;
Li, Li ;
Klein, Jacques ;
Le Traon, Yves .
ACM SIGPLAN NOTICES, 2016, 51 (01) :469-484
[46]   Combining static analysis with probabilistic models to enable market-scale android inter-component analysis [J].
Octeau D. ;
Jha S. ;
Dering M. ;
McDaniel P. ;
Bartel A. ;
Li L. ;
Klein J. ;
Le Traon Y. .
ACM SIGPLAN Notices, 2016, 51 (01) :469-484
[47]   Delta-oriented model-based integration testing of large-scale systems [J].
Lochau, Malte ;
Lity, Sascha ;
Lachmann, Remo ;
Schaefer, Ina ;
Goltz, Ursula .
JOURNAL OF SYSTEMS AND SOFTWARE, 2014, 91 :63-84
[48]   Sourcerer: An infrastructure for large-scale collection and analysis of open-source code [J].
Bajracharya, Sushi ;
Ossher, Joel ;
Lopes, Cristina .
SCIENCE OF COMPUTER PROGRAMMING, 2014, 79 :241-259
[49]   Insights gained from constructing a large scale dynamic analysis platform [J].
Miller, Cody ;
Glendowne, Dae ;
Cook, Henry ;
Thomas, DeMarcus ;
Lanclos, Chris ;
Pape, Patrick .
DIGITAL INVESTIGATION, 2017, 22 :S48-S56
[50]   The dynamic analysis of mechanical systems and structures with Large parameter variations [J].
Whalley, R ;
Ebrahimi, M .
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART G-JOURNAL OF AEROSPACE ENGINEERING, 1997, 211 (G3) :169-181