scholarly journals Rapid runtime system verification using automatic source code instrumentation

2011 ◽  
Author(s):  
Doron Drusinsky ◽  
James Bret Michael ◽  
Man-Tak Shing
Keyword(s):  
Source Code ◽  
Runtime System ◽  
System Verification ◽  
Code Instrumentation

Measuring and Assessing Tools

2009 ◽  
pp. 301-325
Author(s):  
Vincenzo De Florio
Keyword(s):  
Fault Injection ◽  
Source Code ◽  
Field Testing ◽  
Verification And Validation ◽  
Code Instrumentation

As mentioned in Chapter I, a service’s dependability must be justified in a quantitative way and proved through extensive on-field testing and fault injection, verification and validation techniques, simulation, source-code instrumentation, monitoring, and debugging. An exhaustive treatment of all these techniques falls outside the scope of this book, nevertheless the author feels important to include in this text an analysis of the effect on dependability of some of the methods that have been introduced in previous chapters.

scholarly journals Space profiling for parallel functional programs

2010 ◽  
Vol 20 (5-6) ◽  
pp. 417-461 ◽  
Author(s):  
DANIEL SPOONHOWER ◽  
GUY E. BLELLOCH ◽  
ROBERT HARPER ◽  
PHILLIP B. GIBBONS
Keyword(s):  
Resource Use ◽  
Source Code ◽  
Semantic Space ◽  
Runtime System ◽  
Scheduling Policies ◽  
Use Patterns ◽  
Scheduling Policy ◽  
Standard Ml ◽  
Cost Semantics ◽  
The Impact

AbstractWe present a semantic space profiler for parallel functional programs. Building on previous work in sequential profiling, our tools help programmers to relate runtime resource use back to program source code. Unlike many profiling tools, our profiler is based on a cost semantics. This provides a means to reason about performance without requiring a detailed understanding of the compiler or runtime system. It also provides a specification for language implementers. This is critical in that it enables us to separate cleanly the performance of the application from that of the language implementation. Some aspects of the implementation can have significant effects on performance. Our cost semantics enables programmers to understand the impact of different scheduling policies while hiding many of the details of their implementations. We show applications where the choice of scheduling policy has asymptotic effects on space use. We explain these use patterns through a demonstration of our tools. We also validate our methodology by observing similar performance in our implementation of a parallel extension of Standard ML.

scholarly journals A Generic and Configurable Source-Code Instrumentation Component

2009 ◽  
pp. 696-705 ◽  
Author(s):  
Markus Geimer ◽  
Sameer S. Shende ◽  
Allen D. Malony ◽  
Felix Wolf
Keyword(s):  
Source Code ◽  
Code Instrumentation

scholarly journals Code coverage differences of Java bytecode and source code instrumentation tools

2017 ◽  
Vol 27 (1) ◽  
pp. 79-123 ◽  
Author(s):  
Ferenc Horváth ◽  
Tamás Gergely ◽  
Árpád Beszédes ◽  
Dávid Tengeri ◽  
Gergő Balogh ◽  
...  
Keyword(s):  
Source Code ◽  
Code Coverage ◽  
Java Bytecode ◽  
Code Instrumentation
Sign in / Sign up

Export Citation Format

Share Document