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

Delia I.S. Marx, Phyllis 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
    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

    Other

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

    Fingerprint

    Testing

    ASJC Scopus subject areas

    • Software

    Cite this

    Marx, D. I. S., & Frankl, P. (1996). The path-wise approach to data flow testing with pointer variables. In Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996 (pp. 135-146). Association for Computing Machinery, Inc. https://doi.org/10.1145/229000.226311

    The path-wise approach to data flow testing with pointer variables. / Marx, Delia I.S.; Frankl, Phyllis.

    Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996. Association for Computing Machinery, Inc, 1996. p. 135-146.

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

    Marx, DIS & Frankl, P 1996, The path-wise approach to data flow testing with pointer variables. in Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996. Association for Computing Machinery, Inc, pp. 135-146, 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996, San Diego, United States, 1/8/96. https://doi.org/10.1145/229000.226311
    Marx DIS, Frankl P. The path-wise approach to data flow testing with pointer variables. In Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996. Association for Computing Machinery, Inc. 1996. p. 135-146 https://doi.org/10.1145/229000.226311
    Marx, Delia I.S. ; Frankl, Phyllis. / The path-wise approach to data flow testing with pointer variables. Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996. Association for Computing Machinery, Inc, 1996. pp. 135-146
    @inproceedings{5b4a18e6041047ccaf79418c2d2a1c7b,
    title = "The path-wise approach to data flow testing with pointer variables",
    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.",
    author = "Marx, {Delia I.S.} and Phyllis Frankl",
    year = "1996",
    month = "5",
    day = "1",
    doi = "10.1145/229000.226311",
    language = "English (US)",
    pages = "135--146",
    booktitle = "Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996",
    publisher = "Association for Computing Machinery, Inc",

    }

    TY - GEN

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

    AU - Marx, Delia I.S.

    AU - Frankl, Phyllis

    PY - 1996/5/1

    Y1 - 1996/5/1

    N2 - 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.

    AB - 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.

    UR - http://www.scopus.com/inward/record.url?scp=0348018579&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=0348018579&partnerID=8YFLogxK

    U2 - 10.1145/229000.226311

    DO - 10.1145/229000.226311

    M3 - Conference contribution

    SP - 135

    EP - 146

    BT - Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996

    PB - Association for Computing Machinery, Inc

    ER -