Path-sensitive alias analysis for data flow testing

Delia I.S. Marx, Phyllis G. Frankl

    Research output: Contribution to journalArticlepeer-review

    Abstract

    This paper describes a new approach to performing data flow testing in the presence of aliasing, and a tool based on this method. The technique is based on the observation that, under certain reasonable assumptions, one can statically determine which variables are aliased whenever control reaches a given program point via a particular path. Furthermore, one can group together paths that behave similarly with respect to aliasing and represent them by regular expressions. The resulting test requirements demand that the test data execute representatives of particular sets of paths between variable definitions and uses.

    Original languageEnglish (US)
    Pages (from-to)51-73
    Number of pages23
    JournalSoftware Testing Verification and Reliability
    Volume9
    Issue number1
    DOIs
    StatePublished - Mar 1999

    ASJC Scopus subject areas

    • Software
    • Safety, Risk, Reliability and Quality

    Fingerprint Dive into the research topics of 'Path-sensitive alias analysis for data flow testing'. Together they form a unique fingerprint.

    Cite this