Exercising Java Exceptions Using Java Pathfinder and Program Instrumentation

2014 ◽  
pp. 671-682 ◽  
Author(s):  
Alexandre Locci Martins ◽  
Simone Hanazumi ◽  
Ana C. V. de Melo
Keyword(s):  
Program Instrumentation

scholarly journals A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters

2018 ◽  
Vol 6 (1) ◽  
Author(s):  
Adenilso S. Simao ◽  
Auri M. R. Vincenzi ◽  
Antonio C. L. Santana ◽  
Jose C. Maldonado
Keyword(s):  
Automatic Generation ◽  
Product Structure ◽  
C Language ◽  
Program Instrumentation ◽  
Language L ◽  
Transformational Programming ◽  
Software Product ◽  
Target Languages ◽  
Context Free ◽  
Testing Criteria

Instrumentation is a technique frequently used in software engineering for several different purposes, e.g. program and/or specification execution trace, testing criteria coverage analy- sis, and reverse engineering. Instrumenting a software product can be divided into two main tasks: (i) deriving the software product structure and (ii) inserting statements for collecting runtime/simulation information. Most instrumentation approaches are specific to a given domain or language. Thus, it is very difficult to reuse the effort expended in developing an instrumenter, even if the target languages are quite similar. To tackle this problem, in this paper, we propose an instrumentation-oriented meta-language, named IDeL, designed to support the description of both main tasks of instru- mentation process, namely: (i) the product structure derivation and (ii) the insertion of the instrumentation statements. In order to apply IDeL to a specific language L, it should be in- stantiated with a context-free grammar of L. To promote IDeL’s practical use, we also developed a supporting tool, named idelgen, that can be thought of as an application generator, based on the transformational programming paradigm and tailored to the instrumentation process. We illustrate the main concepts of our proposal with examples describing the instrumentation required in some traditional data flow testing criteria for C language.

scholarly journals Program Instrumentation and Run-Time Analysis of Scoped Memory in Java

2005 ◽  
Vol 113 ◽  
pp. 105-121 ◽  
Author(s):  
D. Garbervetsky ◽  
C. Nakhli ◽  
S. Yovine ◽  
H. Zorgati
Keyword(s):  
Time Analysis ◽  
Program Instrumentation ◽  
Run Time Analysis ◽  
Run Time

Reversible debugging using program instrumentation

2001 ◽  
Vol 27 (8) ◽  
pp. 715-727 ◽  
Author(s):  
Shyh-Kwei Chen ◽  
W.K. Fuchs ◽  
Jen-Yao Chung
Keyword(s):  
Program Instrumentation

Program Instrumentation and Software Testing

Computer ◽  
1978 ◽  
Vol 11 (4) ◽  
pp. 25-32 ◽  
Author(s):  
J.C. Huang
Keyword(s):  
Software Testing ◽  
Program Instrumentation

scholarly journals The CSI Framework for Compiler-Inserted Program Instrumentation

2019 ◽  
Vol 46 (1) ◽  
pp. 100-102
Author(s):  
Tao B. Schardl ◽  
Tyler Denniston ◽  
Damon Doucet ◽  
Bradley C. Kuszmaul ◽  
I-Ting Angelina Lee ◽  
...  
Keyword(s):  
Program Instrumentation
Sign in / Sign up

Export Citation Format

Share Document