Relevant inputs analysis and its applications

In this paper we develop a dynamic analysis, named relevant input analysis, that characterizes the role and strength of inputs in the computation of different values during a program execution. The role indicates whether a computed value is derived from an input value or its computation is simply in...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Proceedings - International Symposium on Software Reliability Engineering S. 268 - 277
Hauptverfasser: Yan Wang, Gupta, Rajiv, Neamtiu, Iulian
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 01.11.2013
Schlagworte:
address dependence
Algorithm design and analysis
Computer crashes
Debugging
delta debugging
Indexes
Performance analysis
Power capacitors
role of inputs
Security
strength of inputs
testing
value dependence
ISSN:1071-9458
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In this paper we develop a dynamic analysis, named relevant input analysis, that characterizes the role and strength of inputs in the computation of different values during a program execution. The role indicates whether a computed value is derived from an input value or its computation is simply influenced by an input value. The strength indicates if role (derived or influenced) relied upon the precise value of the input or it is among one of many values that can play a similar role. While it is clear that the results of our analysis can be very useful for the programmer in understanding relationships between inputs and program behavior, we also demonstrate the usefulness of the analysis by developing an efficient delta debugging algorithm. Other applications of relevant input analysis include assisting in generating test inputs and detection of security holes.
ISSN:1071-9458
DOI:10.1109/ISSRE.2013.6698926