Towards a framework for source code instrumentation measurement validation

Author(s):  
Haleh Najafzadeh ◽  
Seth Chaiken
Author(s):  
Vincenzo De Florio

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.


Author(s):  
Markus Geimer ◽  
Sameer S. Shende ◽  
Allen D. Malony ◽  
Felix Wolf

2017 ◽  
Vol 27 (1) ◽  
pp. 79-123 ◽  
Author(s):  
Ferenc Horváth ◽  
Tamás Gergely ◽  
Árpád Beszédes ◽  
Dávid Tengeri ◽  
Gergő Balogh ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document