Author
Ersoy, E., Sözer, Hasan
Publication Date
2016
Publication Place
-
Springer International Publishing
Type
Periodical
Language
English
Digital
Yes
Manuscript
No
Library
Özyeğin University
Library Asset ID
1865-0929
Record ID
3e09db48-6724-4a8e-a1c0-51a0848bfb63
Library Location
Computer Science
Date
2016
Notes
TÜBİTAK
Sample Text
Static analysis tools cannot detect violations of application-specific rules. They can be extended with specialized checkers that implement the verification of these rules. However, such rules are usually not documented explicitly. Moreover, the implementation of specialized checkers is a manual process that requires expertise. In this work, application-specific programming rules are automatically extracted from execution traces collected at runtime. These traces are analyzed offline to identify programming rules. Then, specialized checkers for these rules are introduced as extensions to a static analysis tool so that their violations can be checked throughout the source code. We implemented our approach for Java programs, considering 3 types of faults. We performed an evaluation with an industrial case study from the telecommunications domain. We were able to detect real faults with checkers that were generated based on the analysis of execution logs.
DOI
10.1007/978-3-319-47217-1_4
Cilt
659
