Impact Analysis via Reachability and Alias Analysis

Abstract : This work is concerned with localizing and analyzing the potential impact of changes to large-scale enterprise systems, and, in particular, how to incorporate reachability analysis and aliasing/pointer analysis to minimise false-positives and eliminate false-negatives. It is a continuation of our previous work, which included static analysis [1] and dynamic analysis [2] of changes to systems containing hundreds of thousands of classes and millions of methods. This current work adds: reachability analysis that examines the program to see “whether a given path in a program representation corresponds to a possible execution path”, such that infeasible paths of mis-matched calls and returns can be filtered out from the estimated impact set; and alias analysis to identify paths that are feasible but cannot be affected. Using our approach, organizations can focus on a much smaller, relevant subset of the test suite instead of performing their entire suite of tests without any idea as to whether any test is necessary. Also, in the future, we hope to be able to help testers to augment the test suite with new tests that cover the impacted methods/paths not already subjected to testing. We include a case study that illustrates the savings that can be attained.
Type de document :
Communication dans un congrès
Ulrich Frank; Pericles Loucopoulos; Óscar Pastor; Ilias Petrounias. 7th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2014, Manchester, United Kingdom. Springer, Lecture Notes in Business Information Processing, LNBIP-197, pp.261-270, 2014, The Practice of Enterprise Modeling. 〈10.1007/978-3-662-45501-2_19〉
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01282005
Contributeur : Hal Ifip <>
Soumis le : jeudi 3 mars 2016 - 10:35:30
Dernière modification le : lundi 9 mai 2016 - 18:08:01
Document(s) archivé(s) le : samedi 4 juin 2016 - 10:42:33

Fichier

978-3-662-45501-2_19_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Wen Chen, Alan Wassyng, Tom Maibaum. Impact Analysis via Reachability and Alias Analysis. Ulrich Frank; Pericles Loucopoulos; Óscar Pastor; Ilias Petrounias. 7th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2014, Manchester, United Kingdom. Springer, Lecture Notes in Business Information Processing, LNBIP-197, pp.261-270, 2014, The Practice of Enterprise Modeling. 〈10.1007/978-3-662-45501-2_19〉. 〈hal-01282005〉

Partager

Métriques

Consultations de la notice

77

Téléchargements de fichiers

36