The Community for Technology Leaders
2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) (2013)
Pasadena, CA, USA USA
Nov. 4, 2013 to Nov. 7, 2013
pp: 268-277
Yan Wang , Department of Computer Science and Engineering University of California, Riverside, CA, USA
Rajiv Gupta , Department of Computer Science and Engineering University of California, Riverside, CA, USA
Iulian Neamtiu , Department of Computer Science and Engineering University of California, Riverside, CA, USA
ABSTRACT
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 includeassisting in generating test inputs and detection of security holes.
INDEX TERMS
testing, value dependence, address dependence, role of inputs, strength of inputs, delta debugging
CITATION
Yan Wang, Rajiv Gupta, Iulian Neamtiu, "Relevant inputs analysis and its applications", 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE), vol. 00, no. , pp. 268-277, 2013, doi:10.1109/ISSRE.2013.6698926
82 ms
(Ver 3.3 (11022016))