The path-wise approach to data flow testing with pointer variables

Delia I.S. Marx, Phyllis G. Frankl

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    This paper describes a new approach to performing data flow testing on programs that use pointer variables and a tool based on this approach. Our technique is based on the observation that, under certain reasonable assumptions, we can determine which dereferenced pointers are aliased whenever control reaches a given program point via a particular path. Furthermore, we can group together paths which behave similarly 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)
    Title of host publicationProceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996
    EditorsWill Tracz, Steve J. Zeil
    PublisherAssociation for Computing Machinery, Inc
    Pages135-146
    Number of pages12
    ISBN (Electronic)0897917871, 9780897917872
    DOIs
    StatePublished - May 1 1996
    Event1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996 - San Diego, United States
    Duration: Jan 8 1996Jan 10 1996

    Publication series

    NameProceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996

    Other

    Other1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996
    CountryUnited States
    CitySan Diego
    Period1/8/961/10/96

    ASJC Scopus subject areas

    • Software

    Fingerprint Dive into the research topics of 'The path-wise approach to data flow testing with pointer variables'. Together they form a unique fingerprint.

    Cite this