• DocumentCode
    2088017
  • Title

    Weighted System Dependence Graph

  • Author

    Deng, Fang ; Jones, James A.

  • Author_Institution
    Dept. of Inf., Univ. of California, Irvine, Irvine, CA, USA
  • fYear
    2012
  • fDate
    17-21 April 2012
  • Firstpage
    380
  • Lastpage
    389
  • Abstract
    In this paper, we present a weighted, hybrid program-dependence model that represents the relevance of highly related, dependent code to assist developer comprehension of the program for multiple software-engineering tasks. Programmers often need to understand the dependencies among program elements, which may exist across multiple modules. Although such dependencies can be gathered from traditional models, such as slices, the scalability of these approaches is often prohibitive for direct, practical use. To address this scalability issue, as well as to assist developer comprehension, we introduce a program model that includes static dependencies as well as information about any number of executions, which inform the weight and relevance of the dependencies. Additionally, classes of executions can be differentiated in such a way as to support multiple software-engineering tasks. We evaluate this weighted, hybrid model for a task that involves exploring the structural context while debugging. The results demonstrate that the new model more effectively reveals relevant failure-correlated code than the static-only model, thus enabling a more scalable exploration or post hoc analysis.
  • Keywords
    graph theory; program debugging; program diagnostics; software fault tolerance; failure-correlated code; hybrid program-dependence model; post hoc analysis; program elements; scalable exploration; software debugging; software developer comprehension; software-engineering tasks; static dependencies; static-only model; weighted system dependence graph; Analytical models; Context; Correlation; Data models; Debugging; Instruments; Runtime; debugging; dynamic analysis; fault-localization; hybrid analysis; program models; static analysis;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on
  • Conference_Location
    Montreal, QC
  • Print_ISBN
    978-1-4577-1906-6
  • Type

    conf

  • DOI
    10.1109/ICST.2012.118
  • Filename
    6200130